{"entities":{"Q5756496":{"pageid":7786047,"ns":120,"title":"Item:Q5756496","lastrevid":50157557,"modified":"2026-01-13T07:23:13Z","type":"item","id":"Q5756496","labels":{"en":{"language":"en","value":"On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187154"}},"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":"Q5756496$3AA01C1C-23A6-4FB1-A91B-20F071D67346","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e2a1a7955ef12adc49258cd93a3b96e8ec78819","datavalue":{"value":{"text":"On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756496$A7459977-9B22-4566-BEEB-B8DB59C4DC7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"173249482f593f3f3b6edb5fb9e034947ede3bdd","datavalue":{"value":"1187.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756496$F973B16D-F699-4941-B99C-3FA0EE438157","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08a27e32ef6df7503bf00bfb97394a5b6d35147c","datavalue":{"value":"10.1007/978-3-540-71316-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756496$16C77D86-9C2F-4AE6-B4A7-C850BA12413A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756496$C8DC0586-3414-45CA-94AD-43B64A2EDF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"623626f838dc38616a9691bbe522f38cce0d9b9a","datavalue":{"value":{"entity-type":"item","numeric-id":3558226,"id":"Q3558226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756496$28025E1B-9321-43A4-AA61-1DFE96904AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756496$746D9EBC-564F-4D8B-81A8-0EF8759936E6","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":"Q5756496$835DD9C3-C23C-45F3-B30A-39BE4DFE7E28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756496$9B94F913-1C7C-473B-9129-C21EDDFE9A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756496$917DC219-6C28-47F9-8AA3-F30E4BE4600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756496$425A5466-77BA-4B27-805B-1F86503225F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d33688ee198b5863067629b3703d4f1c02cec37f","datavalue":{"value":"5187154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756496$BEE66B78-EB44-4B91-8DFA-D81AA8C8553B","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":"Q5756496$59932CAF-1E96-492B-BE5C-C60DB2D79F36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79ff861b369a0117f192f95c65f63b7b7c3adb12","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756496$B3A0FBA4-2EFB-449F-9F0B-FDAA31080681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3af4f033fa779c2d95692f87cca29841d8ef805e","datavalue":{"value":"W1607674807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756496$352CA31F-4275-476D-81F4-F09A5923F197","rank":"normal"}],"P1643":[{"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":"190739bb51c15afc00e359fc831e59c67c08fbf6","datavalue":{"value":{"amount":"+0.8056815266609192","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":"Q5756496$4A980FAA-6DB5-492C-923F-243A7760C80C","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":"e065b6410dac0c4d87ee530bb73aa533645fbb42","datavalue":{"value":{"amount":"+0.8018071055412292","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":"Q5756496$9AA37608-001F-4537-A020-0C75F53B5693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250b38a1e29c3e3ff15bf7a62e33bddf5f1884ce","datavalue":{"value":{"entity-type":"item","numeric-id":3178275,"id":"Q3178275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ac72aa357745a6778f883f7aff6f81dc753235","datavalue":{"value":{"amount":"+0.7936633825302124","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":"Q5756496$81B49E72-73F9-4F32-86B6-F8C1C4A93290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6919f41c1538f89e39e5539f4efe993c7896ffe1","datavalue":{"value":{"entity-type":"item","numeric-id":2347904,"id":"Q2347904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d2fec011be1a1f19788c1a7eb19ce15f3011b5","datavalue":{"value":{"amount":"+0.7920080423355103","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":"Q5756496$E47723B1-E76B-4C27-A08B-28AC2FA2DA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbb5217be31cea26107b273295ee6f9ebbc1e4a","datavalue":{"value":{"entity-type":"item","numeric-id":5145346,"id":"Q5145346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d1254bd6c4cc2373b08bc03ba3d44dc6de903a","datavalue":{"value":{"amount":"+0.7829669713973999","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":"Q5756496$B56B77A3-7552-4D3F-8932-C659EA620226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756496"}}}}}