{"entities":{"Q2802460":{"pageid":2813198,"ns":120,"title":"Item:Q2802460","lastrevid":83603345,"modified":"2026-05-07T09:18:03Z","type":"item","id":"Q2802460","labels":{"en":{"language":"en","value":"Propositional reasoning about safety and termination of heap-manipulating programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573721"}},"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":"Q2802460$25127DD4-0FBA-4DEB-84FE-0F938549A43C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c3aff993dc4393bc03a0c0eb391c9b1aed71978","datavalue":{"value":{"text":"Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802460$CAA22DEB-9869-43D0-874D-EE5B2C97D42E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f5fe0e4f79f0c52cc4113787351b2b00d4f4254","datavalue":{"value":"1335.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802460$0497E9B6-3789-4F02-BC9D-48067956DCDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57c0115485fa4a9419700ff5dbf8168f7b38d914","datavalue":{"value":"10.1007/978-3-662-46669-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802460$59C0ED47-6381-4C4F-95FD-140649E08664","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802460$C01FF1CD-882A-41AE-BF60-E752FBEED8F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802460$BD8291E7-6904-4F56-9CAF-0D72124C8709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04bf674f86e44815762d56efd5ce968a11cb495c","datavalue":{"value":"https://arxiv.org/abs/1410.5088","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802460$060A71AC-88CF-4FCE-86E4-19AED796B463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802460$37B5A143-FA81-43EF-B9FA-A33D1674FA42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5d54c1c4c5c38b92b431349cde69b2c984d6586","datavalue":{"value":"6573721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802460$6AB6EFA8-6464-4C21-92E0-AF17A7BD3225","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3e71e20fbe4cf516e0d9a07fc090360b67b372","datavalue":{"value":"heap","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802460$743B3577-3CBF-4685-98E9-3855039C8002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802460$735A8599-8C48-4976-8786-9996D2D38E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802460$3A3D6EA4-BFF1-4402-A5FD-32B5CEBDF107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802460$27021008-B195-4C99-9A32-326C0B621356","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f7967210adc16826061ff291b00fd6c5f13684a5","datavalue":{"value":{"entity-type":"item","numeric-id":26973,"id":"Q26973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802460$37F31751-A0D0-4024-956A-E9FD81F7CAFE","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":"Q2802460$E7CB6795-D24E-46E3-BDA5-C0FC4056B3AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72884e81e009ea95d14832500f6d7cd5b3c59487","datavalue":{"value":"W1481101394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802460$91B8FB91-7E37-4F26-B068-5A465A6E87A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802460$A98338C1-E05D-4688-9264-2CF3EEFECC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802460$90E5888E-15D5-4E0E-BEDE-4A6D39E5614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00e442a62e05c062829e5d8e9aedccc1d8d3476","datavalue":{"value":{"entity-type":"item","numeric-id":453486,"id":"Q453486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802460$3568457A-7B42-4CA7-B692-80CA7152757A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6586d3c93cb4c27e573ea8a6ef201cb15a40f63b","datavalue":{"value":{"entity-type":"item","numeric-id":5452602,"id":"Q5452602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9ed69f9ed7fb37a670daf7b1a6c52a5c5a7a22","datavalue":{"value":{"amount":"+0.7827824354171753","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":"Q2802460$D24C192D-A891-4328-81E6-C6CAAFE02F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedf41f4ad814a262dc70d8faa9745816259d7c9","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62afaba7cea01c7e8ad20c4ad523af9636278f1c","datavalue":{"value":{"amount":"+0.7657679319381714","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":"Q2802460$7B7BBC70-92C0-4F22-991F-11C781F373E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f24451847ad4eb0ec48494a5ae1d33727204ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5408433,"id":"Q5408433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c712fedf4d8cc328c71062101613793446194b2","datavalue":{"value":{"amount":"+0.7571375966072083","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":"Q2802460$8E019B25-D6C4-401E-8212-FA7320B126DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad59caee798ab25ad911393394c35fdf9e3e197","datavalue":{"value":{"entity-type":"item","numeric-id":5348918,"id":"Q5348918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8133bd2bdf7fc6840704821396f708d517f793e4","datavalue":{"value":{"amount":"+0.7569888830184937","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":"Q2802460$5DB0DBD1-9728-4821-9524-7026EF4A8CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c2d65363eb91bb98ef74b0f835b99483297e283","datavalue":{"value":{"entity-type":"item","numeric-id":3644794,"id":"Q3644794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc64612cd03200eff6c053e39208a203dab99cc","datavalue":{"value":{"amount":"+0.7548398375511169","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":"Q2802460$DCAED5B1-4117-4B06-8221-88C273023AFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional reasoning about safety and termination of heap-manipulating programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_reasoning_about_safety_and_termination_of_heap-manipulating_programs"}}}}}