{"entities":{"Q3558227":{"pageid":5588131,"ns":120,"title":"Item:Q3558227","lastrevid":55971751,"modified":"2026-02-21T15:40:00Z","type":"item","id":"Q3558227","labels":{"en":{"language":"en","value":"Parameterized Memory Models and Concurrent Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703409"}},"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":"Q3558227$DF09B33D-C9D4-42C7-8B5C-01EA34DC3C24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"451242d0c1eacb34277242e8181db21c4e3d68d0","datavalue":{"value":{"text":"Parameterized Memory Models and Concurrent Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558227$CF4F7AED-4375-4DCF-8369-02158A7A2D1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a4f14877db6cb3199b5f51726e31705c8cc3071","datavalue":{"value":"1260.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$988EE70C-B5B7-4B99-94EC-0DC8D3BB9026","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a6d87de8c18aa9c042c7cc7bb5dd49fc9784617","datavalue":{"value":"10.1007/978-3-642-11957-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$F4DC15E9-6BF0-4B79-BBEB-716922D34DFA","rank":"normal"}],"P16":[{"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":"Q3558227$45D9DD39-FF15-41DE-8FFF-697507847728","rank":"normal"},{"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":"Q3558227$AD0001C7-23C9-4A75-947F-2A1AD501D871","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":"Q3558227$634CE207-3AF2-4079-A922-58502AFE2E9D","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":"Q3558227$0737CFD6-5418-4E73-8E2D-B63A6FE0A23B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558227$FEA73156-FAD5-40F2-8F5E-CC4845E16FF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$F583A857-A1D6-4C81-8065-5EE83A8339C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$EF54C9D3-F5EB-4254-8028-905C29FF492E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$1B906671-12C2-4646-96A2-8CD5EB024736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$83940C77-3F07-4790-A942-C7FBE0B1F424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a12d77a6efca6072d0c24ddba30a1027ad864697","datavalue":{"value":"5703409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$778636FC-D130-4959-83FA-8FBD8D3C186F","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":"Q3558227$1EC4B951-B67B-4439-9F6E-98CE03E8F7DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3dc1b7604c86a8f5948a6ac1531ad58b9162af3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558227$A2FF9DAE-147E-4B0E-AC0B-2ECF14A89870","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f20b394c0e7cd4e1725e723dfbb8fcaf0295e24","datavalue":{"value":"W2157178219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558227$037F69BB-EFF0-42F4-9488-20A5D076D505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8007bd03f5258771d208caf356f6f182433501f1","datavalue":{"value":{"entity-type":"item","numeric-id":1694027,"id":"Q1694027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7565376fd9866740440d66cc7d7330fef664b40","datavalue":{"value":{"amount":"+0.9157398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$964AC0B4-F622-4455-8B70-A3703E362BDD","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":"c49795232391cbb338f48295e1632bf319c33724","datavalue":{"value":{"amount":"+0.8927364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$BC09D8AC-F653-4CED-BFBF-0CE97D414998","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":"1f8c6b1ff5dfef87c929b4efac6f877b5642cb4c","datavalue":{"value":{"amount":"+0.8918998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$C756613E-33B6-4048-97CA-C25CECE02E55","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":"1f8c6b1ff5dfef87c929b4efac6f877b5642cb4c","datavalue":{"value":{"amount":"+0.8918998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$89B3DC0F-F434-4553-975C-F6F58545E399","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":"50a3c063982cf375e31a122b876a8d5776b3dfd0","datavalue":{"value":{"amount":"+0.8910953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$E8534B86-1BD0-41DA-84FC-392AC59FC974","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":"4ab0d547d85a5b61c438422f1605fe2b1a8feacc","datavalue":{"value":{"amount":"+0.8860894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$F8219F62-F83E-486D-A26A-0E60FE255235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3fd1dec21feb09955bb3289ad5041e6de3501","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3dc9a7948d606560016ce369a491c4b0603990f","datavalue":{"value":{"amount":"+0.88329464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$1D62499C-C27F-40B7-B278-B8E10CE094B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513fb70b2c7da06b197d77aa2c4a7c4452060d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3347276,"id":"Q3347276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f760284c83dfeaf029eb839423e07afc3bd2f14e","datavalue":{"value":{"amount":"+0.88278395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3558227$3D412958-8E8B-4579-A8A7-B62CC1220D1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558227"}}}}}