{"entities":{"Q2892740":{"pageid":2903465,"ns":120,"title":"Item:Q2892740","lastrevid":84887888,"modified":"2026-06-03T05:02:29Z","type":"item","id":"Q2892740","labels":{"en":{"language":"en","value":"Fictional separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049274"}},"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":"Q2892740$31D0A32D-3C30-4D59-A3D0-7320A3C2EE21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e1e525f2c7658c607927b885e813550e9418b4e","datavalue":{"value":{"text":"Fictional Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892740$03986472-490F-4744-9CC5-25001C149A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a50e7e0c91cd2ff8ea2213a1fcc5e0e637b18084","datavalue":{"value":"1352.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892740$E904849D-8375-4682-BA0F-4B2607BDDCEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5c44897830ba77bde7f893ada5eabcbc018f49e","datavalue":{"value":"10.1007/978-3-642-28869-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892740$E16502E7-1784-4FAB-98A8-9A95DB95032D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b996a5e652df381c469ff3488aa7743356a2f83","datavalue":{"value":{"entity-type":"item","numeric-id":2892739,"id":"Q2892739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892740$99151E31-360A-42E9-806E-5467DB382898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892740$3AB1EE1E-CC28-485A-8ACD-EA54A18F28FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892740$2B813E04-A772-43CC-B948-32BB129F80BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892740$2865811A-2E0F-4951-9F33-56DFF24605B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892740$09ADC9C9-DBD2-4FB9-9404-72FA41A2C59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892740$249B3491-E96E-4E91-8865-4DCBF58818ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8462ed68fed7af964c62cca2bba63b2ab658ae2","datavalue":{"value":"6049274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892740$5703BE7C-8B9E-4302-9CA0-2A2336711075","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892740$5D68F02A-4527-4102-AF3C-6EB640538090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220be66d53432dc869c25d91d86959700bdb130c","datavalue":{"value":"local reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892740$7B6E2215-7278-41C9-A53B-0DD88AB84A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892740$392AF72F-F4BF-4C82-B02C-DDD5660E8CBC","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":"Q2892740$47380B24-D0BE-4C75-832A-A88C70DFFDFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d765e9160c984416c63767e16f477fde0cc8f17","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892740$A7F0C4F4-004D-47A8-AF5F-9505C0258E9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcaa1298961bf1e11fc0cf56c6163c3d1665e22a","datavalue":{"value":"W2154768716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892740$8951F3C4-F77D-4E74-BC70-82C1AA035DC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf3c6288ae2b877d62f9026039c2314c5c15691","datavalue":{"value":{"entity-type":"item","numeric-id":5504642,"id":"Q5504642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01ff5dd0d8aa50d5be3ec9b719377ab35f0efa0","datavalue":{"value":{"amount":"+0.8022141456604004","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":"Q2892740$3F79DF7B-B9CA-4DC4-96E0-FE48D277F897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302effae99d5b630a1a547d06432f2bd4b8bfd35","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be51a12b43f8245f95afa0914c0eccd95b35f9f","datavalue":{"value":{"amount":"+0.8019523024559021","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":"Q2892740$8A2E9CD8-B38E-45BF-BAB4-AFA25CA028CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9eb6265b84afbb19a5cb37144d3de84a13ee98a","datavalue":{"value":{"entity-type":"item","numeric-id":549676,"id":"Q549676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1a1c25a7a7a5fa31377613ec930b543deee59f","datavalue":{"value":{"amount":"+0.8001267910003662","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":"Q2892740$AFFED616-75BC-46E4-92ED-DA7B53CCF264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468513feefd785de071c1818650e56bd77ad0d44","datavalue":{"value":{"amount":"+0.7896701097488403","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":"Q2892740$EF8C34E9-B91C-43F4-BD19-E46F95B48064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e494b8ba3180a56bbba4cac54a6e75bdaf5b8f78","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1ff8f94941693a8b3f3c263c2c281c9e52c8b3","datavalue":{"value":{"amount":"+0.7829803824424744","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":"Q2892740$0B7D2C96-0C69-48E2-9F7C-8C766F3A0D56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fictional separation logic","badges":[]}}}}}