Talk:Q22244930

Learn more about this page

Autodescription — Separation Logic and Abstraction (Q22244930)

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 and Abstraction” claims and statements. Constraints report for items data
Number of statements about Separation Logic and Abstraction by property (query)
All claims about Separation Logic and Abstraction (query)
List of items with same label (query)
List of lexemes with sense Separation Logic and Abstraction (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]:

Parkinson M., Bierman G. Separation Logic and Abstraction // POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages Long Beach, CA, USA January 12-14, 2005 — New York, NY, USA: ACM, 2005. — P. 247–258. — ISBN 978-1-58113-830-6 — doi:10.1145/1040305.1040326

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]