{"entities":{"Q2411038":{"pageid":2421781,"ns":120,"title":"Item:Q2411038","lastrevid":52932782,"modified":"2026-01-23T20:32:37Z","type":"item","id":"Q2411038","labels":{"en":{"language":"en","value":"Separation logic with one quantified variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794002"}},"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":"Q2411038$8F69A833-A98C-4A6D-BE68-E5B8F157A5A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95a3c63b15b55ba1f7c443a60f45e6be2bc0f394","datavalue":{"value":{"text":"Separation logic with one quantified variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2411038$A466F905-504A-4F02-B9BD-DB3382107DE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f02970c55d65c499e301a2156f4987c1e2fe9ccb","datavalue":{"value":"1435.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$008B8923-178A-4920-B80D-72BE6F8C16DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$DAFFA247-6DF9-44B7-9FFE-15823A79F5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$6B425264-53A6-463B-84AE-0551A7CACB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72e69b77b54b2c4c78170e707f79612e9034369","datavalue":{"value":{"entity-type":"item","numeric-id":2180512,"id":"Q2180512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$69744926-5ABD-4113-A510-8BEDC2EF9496","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":"Q2411038$3F7977C0-3038-4D54-9D7E-63CE10AC4A22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$6025D745-018A-47C6-ACA9-676E6D627BFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2411038$E8E98977-AE88-4CBA-881E-1A6A85BD6E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$65DD4A85-E00C-4FA9-8ABF-CFC6B800CE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$67146FE0-F309-4C24-8541-7247352E03F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$3CE9A37A-E979-4549-A29F-0AD54815A632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$5CE0C87C-8D3D-435F-9123-945818F6CB70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4a58db1b768b6cb663e52f0c3977593b6b777b2","datavalue":{"value":"6794002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$B2CDF44A-79BD-4411-B472-3A13CBC39A7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411038$32DFCF8F-E37C-41DE-B10F-04FA0D6AF625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411038$BCA58A04-B8A4-45AE-8C40-5BBBDDAFF4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411038$99B5E757-9FBB-4BF0-A743-CFD87A2BCB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411038$80FB229B-12AF-41D1-A1F0-798BECA8F0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411038$6E3DC0FA-29EF-4465-B5E9-F4972B269ECA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$50471CB9-132D-46EC-B4D8-3E5D7C1E146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"777c857adf4d00dab25c091db7377a74eeba130d","datavalue":{"value":{"entity-type":"item","numeric-id":5973049,"id":"Q5973049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$391D9CF0-0310-4D26-8148-1E6FF3BE7DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86e863a5050d80bfffa55dffe8141581cefb24d3","datavalue":{"value":{"entity-type":"item","numeric-id":40256,"id":"Q40256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$FCECB6B4-7906-4F7E-A2BC-58C73DAED75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c38d7d9c9f3af17c25a5c6cf3800ef2ed92e522a","datavalue":{"value":{"entity-type":"item","numeric-id":35077,"id":"Q35077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$19B876D9-780F-46E3-8399-6813C4991A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$DF36E848-6DD0-453B-B340-A9F7BF832AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$5131E810-7A11-400E-99AF-FE49CE440285","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":"Q2411038$4DE0D21E-DB7A-410B-AC35-1CF6DBB80619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"278542c1a2c270c24e66e55246f7df9b6ac25f4f","datavalue":{"value":"https://doi.org/10.1007/s00224-016-9713-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2411038$E849E849-EE44-4EA1-80D9-66A48D75C2B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e92dafeb73ecf130c9a7aca61b2ec79bcf38d2ae","datavalue":{"value":"W2613137572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$ABBF8E55-5831-4491-B4B7-B488CA9BC692","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$D4EFCA0E-2AB0-4148-B3FE-84E60744F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d147c7656be905f6aa02053ac3f0750db3cda17","datavalue":{"value":{"entity-type":"item","numeric-id":1702888,"id":"Q1702888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$922B381C-A165-42B4-A241-8A9F80C84BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd27bf6d67a6d069ce32d785da5d98dbf4acf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3406689,"id":"Q3406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$C7C0AAD4-6CE9-4301-AEFF-91FFCB388001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3706f355b7be1279f6153af52c17e52e3c7851cb","datavalue":{"value":{"entity-type":"item","numeric-id":636268,"id":"Q636268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$C3812958-73F5-4661-9F45-8AC0A19AC7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$8101B058-8692-4C93-8F08-DC753F2F7886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$D85B29F9-80E2-472E-B255-F29DA8735FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5d0cf6f9353507581f003548ffc44ca59b72a7","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$B60B2E77-E8C5-4127-AE19-8E41612A86C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$B41C018A-4E98-415C-8933-592FEBDD1ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$80176F7D-E0B8-4F35-992E-7D1F5AC09D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862061599e2cf610e0a9811f43493efd6b3954e5","datavalue":{"value":{"entity-type":"item","numeric-id":870359,"id":"Q870359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$0675CCB8-9857-4830-9AFF-97C65BEF188D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$9E4F24A7-74B5-45E7-A6A9-58795B9F8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8064ed87b6bf2c0288fd4e820086f5ad48a43fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4981154,"id":"Q4981154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$F763085F-3DF8-4738-B009-79BCA323E09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$55571FAE-0A89-4ABA-803A-9FA41C126F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$3A43452B-C186-4EF9-A8C1-91B2891D44B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483fd55ab9cbf6d3d40252e6e5fe64a391c1cc4b","datavalue":{"value":{"entity-type":"item","numeric-id":2946690,"id":"Q2946690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$F2777067-39E0-4225-B7BF-621E82947A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c96d0fcc5c65f85a20940d30ff7a51cf4715870","datavalue":{"value":{"entity-type":"item","numeric-id":2937786,"id":"Q2937786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411038$F2912738-98BB-42BF-99C6-3BF2D64682AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb491d575cd0b7e85b41edccb186b2aa64b4695c","datavalue":{"value":"10.1007/S00224-016-9713-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411038$56BCD73A-43B6-408F-83AF-615CB5DF84E5","rank":"normal"}],"P1643":[{"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":"d943305ba31bfc527d43bc3cbefb32c4029e4b82","datavalue":{"value":{"amount":"+0.9976484179496764","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":"Q2411038$B7D9948E-A83F-4ACF-8D21-A8389FC98E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c08caaa631ed27608e3c323c5ec4eeeba8b95","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1785aa3f7f4c24b2dac37ca38410031cdefda072","datavalue":{"value":{"amount":"+0.8524402379989624","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":"Q2411038$71BF5782-7EF5-41B1-B4D5-F69709D911D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4320d3b387fd45b20468b4b571742ed56e6c79cf","datavalue":{"value":{"entity-type":"item","numeric-id":3540188,"id":"Q3540188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02281ce2215a8f4b83a7608965b5d72c6c968d01","datavalue":{"value":{"amount":"+0.8365659713745117","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":"Q2411038$FF60E0DE-5B86-437C-9FBB-12AAC941D1D6","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":"40374880c50d4576275217c85c4c7e4ffad190a0","datavalue":{"value":{"amount":"+0.8341169357299805","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":"Q2411038$90A7C4CD-F58D-4075-A2A4-A3192846C796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06665609ac8f7e7305531f05c95fe46d9c9b7031","datavalue":{"value":{"entity-type":"item","numeric-id":4635622,"id":"Q4635622"},"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":"Q2411038$38225BCB-FDF2-467B-9CAC-D4A419E416FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2411038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2411038"}}}}}