{"entities":{"Q2937786":{"pageid":2948506,"ns":120,"title":"Item:Q2937786","lastrevid":58069158,"modified":"2026-04-03T16:37:56Z","type":"item","id":"Q2937786","labels":{"en":{"language":"en","value":"Separation logic modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385644"}},"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":"Q2937786$C11B86E0-BA7F-4797-A803-0B37CD790327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46d09916f27e15b86166430c4c9a4ef9914dda22","datavalue":{"value":{"text":"Separation Logic Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937786$707BEE50-E106-4088-AA36-89EFD6D3AD90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95625e75817574a22ce440bdd464864b20a889b2","datavalue":{"value":"1426.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937786$96D977AF-29F8-432C-954D-EDEFAA70FF16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01f7cf464246b0a22ac30b31124423d12e7f2eb1","datavalue":{"value":"10.1007/978-3-319-03542-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937786$A9153122-5B70-4020-972F-5ECAFDF9C6EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937786$2430A42C-93EE-4A27-AE2A-90743DCABFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe449f468b85b46403017c91eeb30e6fc473c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1779310,"id":"Q1779310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937786$D8F3EE5F-FE23-4D7C-AACB-A19211DC685C","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":"Q2937786$2ADEDB14-7821-41B5-A6F7-62A5D91D11D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2937786$B2E211EA-69EF-47A1-B033-CE9846A5D032","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eac809cf6ffe0ba1902d5bebd4665fb1e6da3f4","datavalue":{"value":"https://arxiv.org/abs/1303.2489","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937786$F245AF43-0980-4D84-B6E2-CE5D47FF644B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937786$255491A3-E581-402C-A05F-0C31ABCC4143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937786$AA4EF485-65AA-4C22-A161-0C07D77B627F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3d846a89f17074c225d8dba115ad0575990e086","datavalue":{"value":"6385644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937786$6481AF7C-7127-4CC8-B04F-98970C85582E","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":"Q2937786$F9D1BEED-1323-4B4B-BDC6-FEBC2CC680A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5167a461e27950eb2b24d5a9cb592ce6856c286d","datavalue":{"value":"W1841862047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937786$6624C614-A711-4471-940B-EBC5026B575C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b18d0d6f57afa45ef05e17c991e015792179f27","datavalue":{"value":{"amount":"+0.8165732026100159","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":"Q2937786$B4EE5BD1-4CBB-4230-9366-0103F7624729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba51166c471e9289a0ecc3d71d73a5b4685b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4a9c9120c2f6d25da1a14f3c16f06a03614c95","datavalue":{"value":{"amount":"+0.8026721477508545","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":"Q2937786$803A03A9-A3B9-4B53-A926-BCF90D5A5776","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":"0a459e4bd44552397cb5a836eeb4532f4165c882","datavalue":{"value":{"amount":"+0.8010416030883789","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":"Q2937786$F840CC18-429D-4991-915D-EE0250BB4838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1337f6f778fe290fe3a403311747133f44a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d1aeb399e61b849b71631bee64d97223f21857","datavalue":{"value":{"amount":"+0.8000061511993408","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":"Q2937786$A601A344-2EA6-4D35-8A8F-BEA9BC931687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2c519bfb7b469521bd7dea2594c66d0679b70c","datavalue":{"value":{"amount":"+0.7826439142227173","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":"Q2937786$06BA421D-5F81-47A0-A1DC-1344780A62FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937786"}}}}}