{"entities":{"Q2887058":{"pageid":2897783,"ns":120,"title":"Item:Q2887058","lastrevid":83990651,"modified":"2026-05-07T15:30:00Z","type":"item","id":"Q2887058","labels":{"en":{"language":"en","value":"Barriers in concurrent separation logic: now with tool support!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035667"}},"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":"Q2887058$0997A0DC-F57C-4584-A9F4-2E9A6B3EC35D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f28cddc95470f3e4bb53e7b5a05778cda500cfb","datavalue":{"value":"1237.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$77E9CDA5-CC2D-4897-B4FE-BBCB2BCC0E2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6aead7c7945d7336fee5fa18a50f0b76ca1f273","datavalue":{"value":"10.2168/LMCS-8(2:2)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$C0043F47-86C4-421F-86CD-66EA8ACA317A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9394590d5c791476eee96a2fc2c66d87e6d79c43","datavalue":{"value":{"entity-type":"item","numeric-id":832309,"id":"Q832309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887058$2BCB2477-8B6F-437C-A6CA-46DF15D9233F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe56e76bedaff83b66aab910147cd9fba75aa3f","datavalue":{"value":{"entity-type":"item","numeric-id":2887057,"id":"Q2887057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887058$950225A3-C3D4-41B4-A55E-B81C8DCA581B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887058$8DFE1CA6-BFF6-4EA0-A296-017A74FCE8C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2887058$78049282-7E07-4ED5-A2D5-93D23EA73B0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$DF083C43-AF0A-4490-86D3-A2B491461140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$8E3CF777-0E9F-4D43-98DD-75B982AD663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$3DB0901F-6773-487F-AB5C-A72AD79B75E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$A2691D56-DDEE-4DA2-8AE2-F2FE529CF2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$727221EC-FE5F-4C34-8798-D485F4CDC9A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25d28d72b422c5cf394ecaf0199595a53856489a","datavalue":{"value":"6035667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887058$964FBC13-10ED-49F6-85DB-AEACEA58BBB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887058$F24E2331-FB94-4F89-85DA-D1191973FF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db372644550235ff04c8764c60b2329a9ac7e607","datavalue":{"value":"concurrent separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887058$05079743-3114-4803-B2D9-29F079484704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f91056c7d1db794c614d225cbe58b629d13418b","datavalue":{"value":"verification tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887058$3387E038-38D0-44EB-9C33-1E444F341C08","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887058$583D36AA-327D-4C96-BE95-38B63C891150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24ca62f46c2e4a4782ae714af37661320baead7e","datavalue":{"value":{"entity-type":"item","numeric-id":22001,"id":"Q22001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887058$877345F2-BBF6-4660-AA78-9A9301E2ACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b93e794458fe807287b8d56ea3fded04a6238ff","datavalue":{"value":{"entity-type":"item","numeric-id":21767,"id":"Q21767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887058$1CB043B6-A455-4932-923E-30D95C3F4013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"905dba29cec289c5c032a4190504b03c00014309","datavalue":{"value":{"entity-type":"item","numeric-id":25040,"id":"Q25040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887058$1FFC342E-74F6-4FD4-9381-E8B713647A2A","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":"Q2887058$79525F92-4198-46B5-8D6C-59AA5DEB290E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b04491cbdcac8dbbfcb88cb7d5f68f52071e8751","datavalue":{"value":{"text":"Barriers in concurrent separation logic: now with tool support!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887058$5BB8C206-BFE3-4601-8AEB-5F1108DE9BD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef0991b71712d7a5cc5aa1a32001ce0d64152b3","datavalue":{"value":{"entity-type":"item","numeric-id":3000585,"id":"Q3000585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c85d81de1a8bfa1546ffecbaf6629f0ddb63e4c","datavalue":{"value":{"amount":"+0.977469265460968","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":"Q2887058$9D5748C7-8148-49AB-BE1B-E8969586A3C0","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":"b50f952c9862a4a3a67ecb369abc28bcfe0e8932","datavalue":{"value":{"amount":"+0.7852579951286316","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":"Q2887058$24844B6C-5C6A-4CB9-AA64-88F1D24A7FE8","rank":"normal"},{"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":"7cfb929d2b27cfdb1c4ac46bc6974392e3620070","datavalue":{"value":{"amount":"+0.7843815088272095","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":"Q2887058$0FA3C113-8C27-45A4-9F33-FD77C6484A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a79341a0cf952380289b3d1b5d38fa1220faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2397039,"id":"Q2397039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8728407423e38bbcea8beb67a329f184d01992","datavalue":{"value":{"amount":"+0.7812402844429016","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":"Q2887058$9A9214C9-29EA-4778-A971-2CEB20961F31","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":"aadb90c442a084205366b5542d4213365d6fe0fb","datavalue":{"value":{"amount":"+0.7743381261825562","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":"Q2887058$2FA2A083-F9FD-4344-89F1-1D18FE6CD764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Barriers in concurrent separation logic: now with tool support!","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Barriers_in_concurrent_separation_logic:_now_with_tool_support!"}}}}}