Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q3257964)
Watch
English
separation logic
No description defined
In more languages
default for all languages
No label defined
No description defined
edit
Statements
based on
Hoare logic
0 references
defining formula
s
,
h
⊨
P
∗
(
P
−
∗
Q
)
s
,
h
⊨
Q
{\displaystyle {\frac {s,h\models P\ast (P-\!\!\ast \,Q)}{s,h\models Q}}}
1 reference
imported from Wikimedia project
English Wikipedia
maintained by WikiProject
WikiProject Mathematics
0 references
Identifiers
Freebase ID
/m/0bth77
0 references
Microsoft Academic ID
173856430
0 references
nLab ID
separation logic
0 references
OpenAlex ID
C173856430
1 reference
stated in
OpenAlex
retrieved
26 January 2022
reference URL
https://docs.openalex.org/download-snapshot/snapshot-data-format
Quora topic ID
Separation-Logic
1 reference
stated in
Quora
Sitelinks
Wikipedia
(4 entries)
edit
enwiki
Separation logic
fawiki
منطق جدایی
frwiki
Logique de séparation
ruwiki
Логика разделения
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit