{"entities":{"Q3557673":{"pageid":5587577,"ns":120,"title":"Item:Q3557673","lastrevid":87430646,"modified":"2026-06-04T11:39:46Z","type":"item","id":"Q3557673","labels":{"en":{"language":"en","value":"Separation logic and concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5700678"}},"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":"Q3557673$38D89066-2F59-40D8-893B-1278E86A796E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ef0c538d1524ba5c0a392972a6991e4c04213dd","datavalue":{"value":{"text":"Separation Logic and Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557673$72A2F492-4FC8-4E7E-98FD-044D48F2050F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acfd2db399829219116b1fbea1b5bd1ef14b972e","datavalue":{"value":"1200.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557673$7369FBD0-43DE-4B34-9575-E09B1B94215F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7760bcdf48a0f6bf1ab8ebdec3630640ebe84daf","datavalue":{"value":"10.1007/978-1-84882-736-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557673$6C4C78E2-FB73-478E-8EE1-4655CA96D85E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3396d8d6c2ec88284e647e78461450d99ea90ad","datavalue":{"value":{"entity-type":"item","numeric-id":469350,"id":"Q469350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557673$468D9A50-1D3B-4737-8277-6CF247AF1587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5f4f054f6d24a4b22fc19db733734a6aeab151e","datavalue":{"value":{"entity-type":"item","numeric-id":3557666,"id":"Q3557666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557673$5D684052-9D49-4A21-9478-8D5D86F4B5ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61499de60b4472161f22a83fc07a7ebb72c37d7a","datavalue":{"value":{"time":"+2010-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557673$7DB8AE54-A009-4D8C-8FCD-F2E891F4C369","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557673$366B2382-62DB-4128-A899-F3CF80FB3D66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225d7b69d2c9c3b206d64247338769062c68617b","datavalue":{"value":"5700678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557673$B43CA791-C247-446D-9A3C-C4E6C5A56A47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3557673$53A61B99-73A7-4B7A-989C-D90E43DDD4E1","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":"Q3557673$51874E84-FB57-45EB-9DC7-3C66169233CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5daff109c9a96a3d3b0caebbd3eb728173fd919","datavalue":{"value":"https://doi.org/10.1007/978-1-84882-736-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557673$19B21F0C-C45F-40D5-AAD2-39D3530B808F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e4eb357bf73a331a253af45fd891b23770eb1da","datavalue":{"value":"W1597320794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557673$28EC5F33-DBA9-4AC2-9165-4D9D1B86052B","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":"118d4ce75d33f6e8dfc024edeef12ddc2f0f11ac","datavalue":{"value":{"amount":"+0.8432334661483765","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":"Q3557673$63FFF69D-C1F4-4393-866A-7826E172CC20","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":"aec76959ba42b702a61a60c69461161c2499de37","datavalue":{"value":{"amount":"+0.8407396674156189","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":"Q3557673$B07CBB7C-D36E-4DEA-B9E1-EC6A7E2D2373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df1785e636faf4aa05d203c2cd26321715f9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":763473,"id":"Q763473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7bc80cc9a8d6e1a34eacf3c1e8b012624583f49","datavalue":{"value":{"amount":"+0.8382996320724487","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":"Q3557673$6F7A2BA9-7855-474D-9CDA-DF7CA7D7F26A","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":"0f82d08af52ac605369f99fb5313ff8059fa5e29","datavalue":{"value":{"amount":"+0.8302619457244873","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":"Q3557673$EEA4D479-950E-4B77-B102-A7E5702840B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c075544acaf9d36d6375fe6660cc62bb7e7d4cb","datavalue":{"value":{"entity-type":"item","numeric-id":5739348,"id":"Q5739348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61334c3f919ef300113f608922883d4cd9cef271","datavalue":{"value":{"amount":"+0.8241093754768372","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":"Q3557673$5DFF1C1E-3F2F-4250-B779-7FABA55961D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation logic and concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separation_logic_and_concurrency"}}}}}