{"entities":{"Q3523161":{"pageid":5553065,"ns":120,"title":"Item:Q3523161","lastrevid":58206654,"modified":"2026-04-04T05:50:41Z","type":"item","id":"Q3523161","labels":{"en":{"language":"en","value":"Separation Logic for Small-Step cminor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318932"}},"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":"Q3523161$834F3D12-24A1-4EBF-AAAB-CF6CD92322DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4f49455a69648f95011ef5bd0bc8fd132c587f2","datavalue":{"value":{"text":"Separation Logic for Small-Step cminor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523161$80F46FDF-4FCA-4C00-86F3-3A6B3D8BBDEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d49d6046fb92b31d98506b430502893b112d294","datavalue":{"value":"1144.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523161$5E757974-F36F-4897-B87E-FFE83EB55129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc95ad4c285b7e2aba6e232fb16a2a2d9dad765f","datavalue":{"value":"10.1007/978-3-540-74591-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523161$2EEED2FF-2084-4C49-84D8-1B5F9CC9D866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523161$5FBA82AE-B858-4B90-AA4E-651A1083DCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f71649d5cd536e6a70ddc24feda92d797a4529b","datavalue":{"value":{"entity-type":"item","numeric-id":287366,"id":"Q287366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523161$97B52CF8-9AA8-480A-B7A9-FC19EB27AB4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523161$19F8F072-1372-4526-B512-F1F1CF8DE6AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523161$0B633224-6829-4D4D-9786-88084DECC4DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cc4d5e44c85a590212fa51ffda7952de964543c","datavalue":{"value":"https://arxiv.org/abs/0707.4389","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523161$B465D287-C699-4FF1-8D44-1F604EB377D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523161$FA0E4732-1733-4007-810E-2A8DF487830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523161$B9E973AC-C053-480B-A326-62F5BC981E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523161$B709F669-682A-4999-9661-992F7CC72D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5c10957ba29aff4c0f91208dd7ac9151c1038d0","datavalue":{"value":"5318932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523161$0FCF2BB3-D284-4195-9E82-98C83E585752","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":"Q3523161$E76CB821-0CC1-46A5-8B05-F5F3FD52F791","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":"Q3523161$6A0DBCB0-7424-491A-983C-8833F1B51D24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f12f79efe24747db0f51a6850baffaf1fe83352","datavalue":{"value":"W1545100927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523161$1602D591-EDC5-4881-95E9-0D66C2DC6B6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e96b3a97a3cf47b6b4ceec62a53dbb6553d0e56","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce2216304d457544e63a047bdf1a570ce60116b","datavalue":{"value":{"amount":"+0.8287068009376526","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":"Q3523161$60C0C03D-559D-4AE9-84BC-B260E0AF82F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5594c5bf46853afd45fe569c6973438c14d73eb","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c244c618a0c6f72e2a25e1fb9393999fec3056","datavalue":{"value":{"amount":"+0.8010819554328918","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":"Q3523161$8AE0675E-C9BF-40D8-9788-5EADBAE48F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b34f48b245ba8a93a327f6d277f2f076f97a19","datavalue":{"value":{"amount":"+0.7959582209587097","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":"Q3523161$019F2A34-ADE7-4E5C-80C7-E2FA9FB8C803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666d3c9e0a0602f2b92fda11efa4cd1f6313cc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3183539,"id":"Q3183539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87fe99425c36189b37151a5429fa31cd227fbc5","datavalue":{"value":{"amount":"+0.7815163135528564","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":"Q3523161$4F6D83FA-A215-4155-AAA9-30BBBBBF53D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ea7909e9397407fcbedc7c4f2e8d498454d7b4","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c34cd7a30c290683a6616fde90c1a715c75ff17c","datavalue":{"value":{"amount":"+0.7711445093154907","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":"Q3523161$9B227082-6D69-4C69-9D3A-14D31562DF0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523161"}}}}}