Talk:Q22244855

Autodescription — An Overview of Separation Logic (Q22244855)

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 “An Overview of Separation Logic” claims and statements. Constraints report for items data
Number of statements about An Overview of Separation Logic by property (query)
All claims about An Overview of Separation Logic (query)
List of items with same label (query)
List of lexemes with sense An Overview of Separation Logic (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. An Overview of Separation Logic // Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions — Berlin: Springer Berlin Heidelberg, 2008. — P. 460–469. — (Lecture Notes in Computer Science; Vol. 4171) — ISBN 978-3-540-69147-1 — ISSN 0302-9743; 1611-3349 — doi:10.1007/978-3-540-69149-5_49

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.)

Start a discussion about Q22244855

Talk pages are where people discuss how to make content on Wikidata the best that it can be. You can use this page to start a discussion with others about how to improve Q22244855.

Start a discussion

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

[1]

Talk:Q22244855

Autodescription — An Overview of Separation Logic (Q22244855)

Start a discussion about Q22244855

Navigation menu

Search