Talk:Q22237685

Learn more about this page

Autodescription — Separation Logic: A Logic for Shared Mutable Data Structures (Q22237685)

description: scientific article

Useful links:

Pretty display of data  (with Wikidata:Reasonator)
Pretty display of data (with Wikidata:Sqid)
View it! – Images depicting the item on Commons
Scholia
Report on constraint conformation of “Separation Logic: A Logic for Shared Mutable Data Structures” claims and statements. Constraints report for items data
Number of statements about Separation Logic: A Logic for Shared Mutable Data Structures by property (query)
All claims about Separation Logic: A Logic for Shared Mutable Data Structures (query)
List of items with same label (query)
List of lexemes with sense Separation Logic: A Logic for Shared Mutable Data Structures (query)

See also

This documentation is generated using {{Item documentation}}.

This property is being used by:

This object describes the reliable source, used by ruwiki articles. Basing on information from this object special LUA module transforms Wikidata properties into standard reference wikitext. For this object formatted reference text looks like the following^[1]:

Reynolds J. C. Separation Logic: A Logic for Shared Mutable Data Structures // LICS '02: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science — Washington, DC, USA: IEEE Computer Society, 2002. — P. 55–74. — ISBN 978-0-7695-1483-3 — doi:10.1109/LICS.2002.1029817

You can check actual usage of this entity at ruwiki here.

↑ Reference format is defined by ГОСТ 7.80—2000, ГОСТ 7.1—2003 and ГОСТ Р 7.0.5—2008.

Please notify projects that use this property before big changes (renaming, deletion, merge with another property, etc.)

Add topic

[1] Reference format is defined by ГОСТ 7.80—2000, ГОСТ 7.1—2003 and ГОСТ Р 7.0.5—2008.

[1]