{"entities":{"Q3541685":{"pageid":5571589,"ns":120,"title":"Item:Q3541685","lastrevid":50510489,"modified":"2026-01-14T06:10:00Z","type":"item","id":"Q3541685","labels":{"en":{"language":"en","value":"Quantitative Separation Logic and Programs with Lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374229"}},"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":"Q3541685$A0512CDD-8A53-4AA2-8A39-92AEB3E5769F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dcf99bd1a00356ec6e439b08660f98dbf9617f8","datavalue":{"value":{"text":"Quantitative Separation Logic and Programs with Lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541685$FA7F8F98-02CA-4C54-9448-6D7809036E3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6538d65d245d5355b5b3a252abaf2747560e71ec","datavalue":{"value":"1165.03329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$76B13E40-EF67-40A9-8A28-359680343E34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fa02da6c0975240bb84b1496b722cc7271335b9","datavalue":{"value":"10.1007/978-3-540-71070-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$9A75F85E-0539-43B1-B467-ECC7DFFB1C65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541685$9CCA1FF4-5C91-4B16-A4DB-7B507B26A362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541685$8B91BD41-B24E-45CC-9593-CA97AC3481D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c43112df2a06a4f3b39f7eebcad25eb5a17a745","datavalue":{"value":{"entity-type":"item","numeric-id":707739,"id":"Q707739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541685$E4A30099-AB72-4FA8-8629-5149D0DC4E58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541685$C7FDD873-FDAC-4FDB-B3BD-659CEF0594E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541685$CFD8D8F8-0451-4740-9190-84B585EB0DB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4360239120da150a0781231073252ee3e3cdc2f0","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5311","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541685$B8372A20-D449-4709-98F4-CDD2ACDB089B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$986B34CE-4983-4CE5-9253-39C44E9FE068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$182C87C5-272C-498B-8C6C-83551AB5DC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$0787561E-C678-479D-AD6F-221CA319DBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$0D6800A9-0E02-481F-88EE-EE76EB040AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32fbfda064971c68c962887af7ce80386df404dd","datavalue":{"value":"5374229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$4BE9707A-13D5-4B07-8120-478E29B2AC9F","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":"Q3541685$A1F5FB46-80E0-466F-8677-6656FB4152DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec91646686c13d30d11de1d0560c8ed55fb9666c","datavalue":{"value":"W1583548027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541685$876E01EF-62DB-413E-8D17-9DEAC79FAA93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737feae85a13a7eb557031c009339849005f070f","datavalue":{"value":{"entity-type":"item","numeric-id":707740,"id":"Q707740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbbdcf44129d4cff052609afcea7c2b3cc11841","datavalue":{"value":{"amount":"+0.9976547360420228","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":"Q3541685$EC236106-F63D-4B13-82C4-92E5A7BA3DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd011d5ab8186458ecbb19d10bc8c04ea58be618","datavalue":{"value":{"entity-type":"item","numeric-id":2961583,"id":"Q2961583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee0d3763bb82389ce7c1203ee8d211f365d6d25","datavalue":{"value":{"amount":"+0.9907617568969728","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":"Q3541685$D5BC5E94-EDDB-4174-8567-BD634D9145D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abeb783a77820bd713ee0ee015169a8cfb67e53c","datavalue":{"value":{"amount":"+0.8582172393798828","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":"Q3541685$6FE1FCC7-E051-41BA-ABC9-7D627962BE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52602e26599bc1b45617c5551d70aa6cdbfffb90","datavalue":{"value":{"entity-type":"item","numeric-id":3617745,"id":"Q3617745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d42e7a672787ca2ab279508314e36eeb8aa4fed","datavalue":{"value":{"amount":"+0.7950002551078796","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":"Q3541685$A0B0A038-168F-4413-B0BA-54F6F531DEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99028e52e84438dcd63941e20ddc069a71aa9ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4981154,"id":"Q4981154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80059b218d666c8fa0a450d3c8b2622b64c7663a","datavalue":{"value":{"amount":"+0.7910535335540771","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":"Q3541685$880C59ED-AF38-4A9B-8B20-74DEC8862CD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3541685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3541685"}}}}}