{"entities":{"Q1653010":{"pageid":1663751,"ns":120,"title":"Item:Q1653010","lastrevid":57443976,"modified":"2026-03-30T23:17:49Z","type":"item","id":"Q1653010","labels":{"en":{"language":"en","value":"The effects of adding reachability predicates in propositional separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904552"}},"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":"Q1653010$D8598F47-5C89-4437-B09D-7FBF93FF5075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86bda716aee31fc8bfca7a395cb41b6df7d10bab","datavalue":{"value":{"text":"The effects of adding reachability predicates in propositional separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653010$C2F68E75-5497-4411-BA42-DD07DC9350A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0539ea7a91a7be8e47908c3fb85455576a80630","datavalue":{"value":"1504.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653010$F5078AC1-30B8-4B72-9A00-F16134B0A48F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"134556629e20a977c041d77c5b0a334915b66f22","datavalue":{"value":"10.1007/978-3-319-89366-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653010$2733CCE9-13E4-43D3-994F-07AF297317DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653010$8A700ACF-5F42-4F8B-84B2-D023DE752005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653010$30C1C570-42A6-4168-BDDA-A9F640E78065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653010$ADEFE14B-3010-4AEE-A24A-446F61F7A95A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653010$806EFE7B-CD23-4FA1-A23A-144FD05E2632","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"602dd77aa117376ecfab6016b86225dd5ece1041","datavalue":{"value":"https://arxiv.org/abs/1810.05410","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653010$8A550D31-21F3-48D3-8522-982D1E0C3D29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653010$564C125D-4E2D-4E7A-B0B7-0A3C4A812555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653010$674B3734-38D9-48AA-A8B8-6F8922B79334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653010$E4326877-4BDB-4553-AE87-6739D27F2066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c0dad75468966edb55fc054c361f95d143b4073","datavalue":{"value":"6904552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653010$6C3B1326-1EF2-4837-99FE-71C86B29361A","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":"Q1653010$EFEED578-500F-4C75-9E26-E57B0BC40DD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"485b4abc859edac1d8bc48fefcbce898bc43a6d1","datavalue":{"value":"W2796684949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653010$E40331A8-FD58-4D82-BBAA-B28FD0621F7D","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":"1cdce1b4e9ecb22f8232d2fc24b97f88985e2781","datavalue":{"value":{"amount":"+0.796701967716217","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":"Q1653010$FD2759E6-3600-4337-874E-75EDC8EF56E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57f01136fa404c3d1d192cadc19e2edb928b724","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bea7bfb4fc2ce09165caa1e1c40700b4c4a2b63","datavalue":{"value":{"amount":"+0.7926921248435974","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":"Q1653010$331D35EB-E539-467E-8FAE-06246F0B22BA","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":"85518ddcd19e6c19207d3a617e22ddbc91a8c083","datavalue":{"value":{"amount":"+0.7888686656951904","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":"Q1653010$7CFA718E-11E0-4869-BA9B-305FDB5D17D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edba1fbe0d58190327dad32a688aad194871ddad","datavalue":{"value":{"entity-type":"item","numeric-id":3541685,"id":"Q3541685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15ac3f33fb132b4849367faa7835b96d2986d3a","datavalue":{"value":{"amount":"+0.7886902689933777","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":"Q1653010$FB538055-2473-4520-AF5A-0B8F9140193F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85485cb6787313ee550b6a1db69031acc11a9b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5111651,"id":"Q5111651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa67bcb3d3443cb6f81a6c368cf6ed3e07c54bd","datavalue":{"value":{"amount":"+0.786805272102356","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":"Q1653010$810B4152-31D3-4C7E-AD07-6F6B7394947D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653010$988E2D7D-A906-4358-8507-98057F4B5277","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1653010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1653010"}}}}}