{"entities":{"Q3406689":{"pageid":3417392,"ns":120,"title":"Item:Q3406689","lastrevid":50910341,"modified":"2026-01-15T17:21:53Z","type":"item","id":"Q3406689","labels":{"en":{"language":"en","value":"Tableaux and resource graphs for separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673421"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406689$EE65319D-F541-4AD6-B3B1-C58CAF74C2DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1996c36dcd762bfd8a9382d4e477ebff41905b44","datavalue":{"value":{"text":"Tableaux and Resource Graphs for Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406689$6ACDA2AD-C39E-42A2-90CE-8A1A73C2FE88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6d934488160d55581a52e6ef8cbb46af1374731","datavalue":{"value":"1193.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406689$ADA058B8-8443-4248-855E-1589C0E219BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406689$ADBF308F-A0AF-498D-A135-EE30DEB9FA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72e69b77b54b2c4c78170e707f79612e9034369","datavalue":{"value":{"entity-type":"item","numeric-id":2180512,"id":"Q2180512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406689$FCAD479C-D10C-4EF2-9CDE-54957F6C9034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406689$B73440E4-0454-4AA0-9F9A-8880F90CFB2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd0795aa937645036d7d239bbdc99b691f01ff85","datavalue":{"value":"https://semanticscholar.org/paper/c3211cd6e08dadd64a86447f7b549c21b0ad7809","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406689$B42B3422-3190-4D35-9724-6624B604D9FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406689$F3EE3D2F-A98A-4720-B397-189CD8170E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406689$D061137E-F55C-4EEA-9096-59FE928B25A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d4429baf7facae1ab53612dfc5881ac3afabcb7","datavalue":{"value":"5673421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406689$8E1F2704-1EBA-42D8-A7ED-C60D7BAEEC1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406689$5BA88F91-C4D3-4494-BD81-610916E78DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406689$93464183-C9F0-4520-8490-0C2F778999DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406689$0CB8AB6F-CB53-4714-8EE4-8F8A5F02CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c1feb0bdf7fd07f52336a31a45734b9e81192","datavalue":{"value":"countermodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406689$F8BBD422-0FF9-4454-AB40-38940A27128C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406689$9CFD81C7-EF5C-4194-B742-B81E65A68986","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406689$5E05D520-4D9B-4FC7-8027-318CCC85F00E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41f282ee87910a0891550d11bd9fa0fbc3597b3e","datavalue":{"value":"W2131238121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406689$FC1A539D-E9F2-40BC-8DC0-B4003A00BEC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"698814ad0f09a7f83fe29fae890ea6305e5660e5","datavalue":{"value":"10.1093/LOGCOM/EXN066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406689$32D3560D-44C6-420A-92BE-EA193DEFCF36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406689$60880806-B397-4045-8B17-35DE1DBE7741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec93335b03587be5114c91eec4355ce9f17b78a1","datavalue":{"value":{"entity-type":"item","numeric-id":1653006,"id":"Q1653006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b097c5ad03d101769bd342e7de30790230b64db","datavalue":{"value":{"amount":"+0.8059993386268616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406689$B540692A-80BE-4503-A9F4-05E2CBA44B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f1d65b56787812df13e5bf551b0526c10c79cc","datavalue":{"value":{"entity-type":"item","numeric-id":5191502,"id":"Q5191502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffc43d822558e4bfb9e5987946be516335d26a0","datavalue":{"value":{"amount":"+0.7824535369873047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406689$780B531E-03EE-44D4-BC52-D075FF175475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef990976fb10cd48c35cd3c557a4de02cd243fd","datavalue":{"value":{"entity-type":"item","numeric-id":5427253,"id":"Q5427253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6351d993b7ffafd70740ee6e3c7b702c5fe461ea","datavalue":{"value":{"amount":"+0.7734755277633667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406689$67F96E97-1AF6-47BB-B129-F57B1638E90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a621be19ccac2300d0e15d91c4480eefcb2127","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105cd37b734b217a8e347dfbefe7f771c58a75f7","datavalue":{"value":{"amount":"+0.7718179821968079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406689$DD86A57F-B7E9-4C07-A5A9-F41013446A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170fd69e9f13207e39d3b429d677d9952e45ad6b","datavalue":{"value":{"entity-type":"item","numeric-id":2915132,"id":"Q2915132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df69628100fec9845b8711804143e86e6f66e586","datavalue":{"value":{"amount":"+0.7688750624656677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406689$7CAC2087-8655-44B5-A721-2D366D2B9561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406689"}}}}}