{"entities":{"Q2323985":{"pageid":2334728,"ns":120,"title":"Item:Q2323985","lastrevid":71843397,"modified":"2026-04-14T00:54:35Z","type":"item","id":"Q2323985","labels":{"en":{"language":"en","value":"A separation logic for a promising semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104898"}},"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":"Q2323985$9402C37A-E84F-45B4-8F89-825D03622B1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"678e0d8a1d09866df8cde00bcdd46870b7f4ce1e","datavalue":{"value":{"text":"A separation logic for a promising semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323985$E1F93D6C-2261-4F33-A124-F10CE4839459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1513544aaa8293c5eadfa8e82ed9963317393e2","datavalue":{"value":"1422.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$1615B934-01AB-4805-A89F-7800E83D0E92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcdb4ac9a61fab7970e011261acd58477805f453","datavalue":{"value":"10.1007/978-3-319-89884-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$4C2B994F-1E26-46BF-9C48-B282604531F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a852dd13c129712c151cef4e3381588e180803","datavalue":{"value":{"entity-type":"item","numeric-id":2323982,"id":"Q2323982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323985$EFBB5DDA-AA6F-4B6D-930B-F4E28B28E3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff2d806e69bb4752e41e45b7891ce04dec431349","datavalue":{"value":{"entity-type":"item","numeric-id":2323983,"id":"Q2323983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323985$2CF93B51-A857-4482-83BF-DF3AEAACAA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c828fabfc5e100c2cbb4e46c246c1bee15a131f","datavalue":{"value":{"entity-type":"item","numeric-id":2323984,"id":"Q2323984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323985$BC04E3F6-06F4-40D5-BB19-8EF765FF56A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323985$80D225BF-9AAB-4513-B520-214EA5CE9619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323985$DF7F4725-D880-40A3-BB43-F73138AFBB82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2323985$564A3C4D-6A2A-427B-A63F-C02D1469FDAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$DEF914A1-814E-486F-8C57-C1E6696E3C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$70A05D25-CB52-470B-8C58-0AA07EEA6625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$6BF8481F-AA43-4030-9E3B-17B79F4F032A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$D3E70E9D-CD37-4EC4-946E-65C9024C000B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88fa0d395045a23c1e5e3bc576c235daafccb56b","datavalue":{"value":"7104898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$2B72246A-5A8C-4938-9164-1B8CB35087DF","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":"Q2323985$67DC0B1A-8D55-4C10-85D9-E65D1E5981D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62e616784a1ccb2a7ea4d767bad94148ae249b4e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89884-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323985$74258AFB-2B27-4789-AA00-CC5C3D153CF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a72a68df575b4a61296a14f3037a623b815e8bde","datavalue":{"value":"W2797152240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323985$C91DFEDF-9918-4E6E-A207-1BBCFCB9024D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b06f9bcae11078452173cb2fb6f6ff8e9809f1","datavalue":{"value":{"amount":"+0.8063966631889343","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":"Q2323985$B458D4B7-E3CA-4D24-B257-C766BFBCAABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe75909ca13347366e421b0fa3383b63bf2e6ef3","datavalue":{"value":{"amount":"+0.8015415668487549","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":"Q2323985$AB584843-80CA-4286-A585-83DA681B4BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e6c8c4ff42d25679af4f11d4fc74740f17a157","datavalue":{"value":{"amount":"+0.785891056060791","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":"Q2323985$2F6707E7-419A-482D-86CA-385ADB0CAD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5558b7bd2391c98b2bcfdc4d59551097defa0a","datavalue":{"value":{"entity-type":"item","numeric-id":2802463,"id":"Q2802463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e930bfa993993599e784ca323ac835b7877af13","datavalue":{"value":{"amount":"+0.7783642411231995","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":"Q2323985$118DE77E-6AEA-41C5-84AC-03238EC3BFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7997923f8ea3695262a5568baba6a54518ed42","datavalue":{"value":{"entity-type":"item","numeric-id":5739365,"id":"Q5739365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1fcc7b0336b10be59fd62085034f1799cffd0f","datavalue":{"value":{"amount":"+0.7780505418777466","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":"Q2323985$94BC5DEB-740F-4C60-839C-71166BDBCE06","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":"Q2323985$D0396756-7F4D-4AB0-9C57-A6F77F3DF8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A separation logic for a promising semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_separation_logic_for_a_promising_semantics"}}}}}