{"entities":{"Q4635622":{"pageid":6665203,"ns":120,"title":"Item:Q4635622","lastrevid":53070305,"modified":"2026-01-24T04:10:27Z","type":"item","id":"Q4635622","labels":{"en":{"language":"en","value":"Expressive completeness of separation logic with two variables and no separating conjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863095"}},"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":"Q4635622$65B29766-D1A4-41CC-8B12-AB505CC7A29E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8ef71ef30c30e4d9ba859851392660ccedfa1f","datavalue":{"value":{"text":"Expressive completeness of separation logic with two variables and no separating conjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635622$3C5ACC9E-58E2-4031-8C17-98B9C347BCA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc8e7440c16c8361fc75196e6b6f0ed037232dc8","datavalue":{"value":"1394.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635622$5DAC5B5B-BB08-4EBE-AE6E-60BF763842CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5960f709016c5767f32467fec112999cf403a8d2","datavalue":{"value":"10.1145/2603088.2603142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635622$2EA66585-4EA4-45A6-BAB8-B86CA7C3FCAB","rank":"normal"}],"P16":[{"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":"Q4635622$F56863C3-37ED-4D45-B542-C2672241C7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5374aaae6c4fa00723de88e8acb31ca46f3aaf1e","datavalue":{"value":{"entity-type":"item","numeric-id":518401,"id":"Q518401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635622$20CDFD36-5862-4B52-85EC-82B0CC1A2408","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635622$A628DD7B-4AB9-4B8C-AEA2-F976D8DFC927","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635622$5C9B8606-4712-43C1-8830-2CD9ED283650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635622$1A0B537C-EB5B-4BFA-A66F-1B7D25BFF61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635622$9A0ABFC5-DE65-4DA4-A857-F28A555E22E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e25a7383e23eabd942a00b5257a11aa8dd88db79","datavalue":{"value":"6863095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635622$5E5473B8-04B4-4A08-A665-6E3637E32B43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635622$C2254DD6-58FE-4080-A05A-82CEBE80A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635622$02E8547B-0705-4A72-B3CB-BE4B6B0FD857","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":"Q4635622$63132464-2E0D-4FB8-B56E-C3DB96D10531","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cbb27c837b93cb17c68ec4d25295703cb2df605","datavalue":{"value":"https://doi.org/10.1145/2603088.2603142","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635622$FB599320-4E58-439C-BFFD-3872E0EE3469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1909ed14b80160cd0264649f714ab221301b2be6","datavalue":{"value":"W2083905661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635622$30DAD638-A922-43F7-B90E-AF919C5B3570","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1a4ac08c04d68ac86b60f683003decaf245c1814","datavalue":{"value":"Q130855309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635622$188B6BF3-F5AE-4E9E-94F0-A198A19D0B78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45bc313aa76b16cbd2e41776b3eafe3b9544f590","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e851054b04c626871d09909ed70bd5e9d00d91","datavalue":{"value":{"amount":"+0.9619419574737548","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":"Q4635622$F93DF0A5-65E9-4D84-A513-7F0988285F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4b53db90caa189df4135eadb99e9c49b17016c","datavalue":{"value":{"entity-type":"item","numeric-id":2957697,"id":"Q2957697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7679d737e0d1e6b9a6c4608f0945d69e8afe64","datavalue":{"value":{"amount":"+0.8583953380584717","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":"Q4635622$232F661A-2AE1-40E7-B789-0D4B0A0C02C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcb306448bf4f18fea86c4469b9131f776babd3","datavalue":{"value":{"entity-type":"item","numeric-id":1660774,"id":"Q1660774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101f26ae59bbf2f8b19d619fa80a660f2a897087","datavalue":{"value":{"amount":"+0.8306843638420105","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":"Q4635622$D3D83A2A-CBA7-416C-ADA0-A862EB5AEEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfd6b7eb3ccae5d555f30bc668989bfd8038ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2411038,"id":"Q2411038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0747ab2582f1b9524b1bda06f1d7f0dc4ad7a10","datavalue":{"value":{"amount":"+0.8242349028587341","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":"Q4635622$31BDB9A1-5608-4250-8A71-521D9036D794","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":"80ca75ee72bba14cb00824ccbd2a1e24a9f96738","datavalue":{"value":{"amount":"+0.8218367695808411","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":"Q4635622$2347FB42-D809-45C9-BA21-94E214764121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635622"}}}}}