{"entities":{"Q2289076":{"pageid":2299819,"ns":120,"title":"Item:Q2289076","lastrevid":57343278,"modified":"2026-03-30T14:02:13Z","type":"item","id":"Q2289076","labels":{"en":{"language":"en","value":"The Bernays-Sch\u00f6nfinkel-Ramsey class of separation logic on arbitrary domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158701"}},"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":"Q2289076$DE739E19-DF5E-45DA-A527-22A93E02AE12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e6c378670b403c6dfdc9f6c3deaf916e33905b4","datavalue":{"value":{"text":"The Bernays-Sch\u00f6nfinkel-Ramsey class of separation logic on arbitrary domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289076$454BC489-FC99-4A09-8224-4D2D9FE9BF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce6d64b113c942018446d47aeddc3190bd7e9e6e","datavalue":{"value":"10.1007/978-3-030-17127-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289076$D43DB69F-43BA-4331-817A-388DA2527579","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289076$1CAA0F07-5E4E-49B3-BD77-705CA5C5D86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289076$E396E077-8C6A-492E-9CD2-84AE92BBA262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289076$E03DCB0A-E49A-42C5-A264-65D984E7C8A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289076$45067E03-3F9A-4BFA-88C0-BE82D266E6D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289076$D206D1BA-D522-4F1A-BAAC-252CF8DC78A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289076$13244CF3-1A76-4957-9B44-D188559C9213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"870e8282c001642acc4df08215748f28de947682","datavalue":{"value":"7158701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289076$DF59961A-A094-4833-9063-2D00078A6550","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":"Q2289076$B2014BFB-69E4-43A3-BA55-EC9C7989FC2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e06d3744c0095afa29098d286fbbf9008eb441e5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17127-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289076$C586EA34-17D6-4183-8A0F-619AD615A81A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86ab60b7c3a1c9cb1a0129aabdb1605573a1c1c4","datavalue":{"value":"W2934959668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289076$B011FF27-B97C-4EB1-92F2-A7FAD193193F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57f01136fa404c3d1d192cadc19e2edb928b724","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508d1a2294cf184828de11c8b27f64605d5b1378","datavalue":{"value":{"amount":"+0.940684974193573","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":"Q2289076$D1E93CE0-34CE-49A8-84BF-2C4E97B55ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd011d5ab8186458ecbb19d10bc8c04ea58be618","datavalue":{"value":{"entity-type":"item","numeric-id":2961583,"id":"Q2961583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcff2df6f33b06abc532d6691f364e996eafea2a","datavalue":{"value":{"amount":"+0.8507598638534546","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":"Q2289076$D3602E3F-10ED-4A59-8388-1E943C3F6218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88834527160bb165325fb8ed82dee5d1ead6a522","datavalue":{"value":{"entity-type":"item","numeric-id":2180532,"id":"Q2180532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44765f510b8349faf4d31ff5e227366ba642a432","datavalue":{"value":{"amount":"+0.8323310017585754","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":"Q2289076$32BA82E1-CECA-40AE-B8D5-6D683BB8A732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfd6b7eb3ccae5d555f30bc668989bfd8038ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2411038,"id":"Q2411038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3866bf23ef02bf8d96c34da8881607f57c2bbd","datavalue":{"value":{"amount":"+0.7721860408782959","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":"Q2289076$CB2BD358-BB3E-46C5-993F-91F6D2FC78F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4b53db90caa189df4135eadb99e9c49b17016c","datavalue":{"value":{"entity-type":"item","numeric-id":2957697,"id":"Q2957697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39074ec074a506dc44f0b5a46a8343d17ae1ab57","datavalue":{"value":{"amount":"+0.7719998359680176","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":"Q2289076$E1394DBC-A2E0-4FA0-BC8A-CED1918A504E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289076$29204BDC-7D8E-48AF-950C-C6BD5F2C4214","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2289076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2289076"}}}}}