{"entities":{"Q5756731":{"pageid":7786282,"ns":120,"title":"Item:Q5756731","lastrevid":50157950,"modified":"2026-01-13T07:25:39Z","type":"item","id":"Q5756731","labels":{"en":{"language":"en","value":"Automatic Termination Proofs for Programs with Shape-Shifting Heaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187392"}},"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":"Q5756731$5F32B0D4-73DC-4C05-A669-150F61EB03D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b73f568bb89e9d81768980c8c80da1d826f8f9d5","datavalue":{"value":{"text":"Automatic Termination Proofs for Programs with Shape-Shifting Heaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756731$62FECB40-276A-495B-9B0F-3A317105F85F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92f88bd31a38581a81b1463b445dcfebd7f9e5a7","datavalue":{"value":"1188.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756731$4A77CC61-9E50-4F00-83CB-6CEAEC000104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9928aeeb19bc288cfc21f2e2a07ef5648b00bb62","datavalue":{"value":"10.1007/11817963_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756731$BC34B1FE-0382-4034-A1DB-D968054866C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4e56a36e4bde76c0ca7e5e91f617c37b6d9345f","datavalue":{"value":{"entity-type":"item","numeric-id":1870490,"id":"Q1870490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756731$980C6617-FCFF-4B49-ACEF-A4D7AFD5FF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756731$F7AEDDB0-4A09-4E3D-8D89-52110A846500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a934115107c80a08190abc99377349337d8bd7f","datavalue":{"value":{"entity-type":"item","numeric-id":2852077,"id":"Q2852077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756731$7C12B9CA-7C4A-4E7C-9C04-5D25428665E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756731$1233A09D-D7FB-4B42-AF3A-6349F23D412D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756731$C13A9E72-19E1-40D1-BF1F-B7D5A53C5AAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756731$3006DC54-4246-4E5E-9633-A8EF56E635C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756731$94AFAF93-2279-4FDA-B4E0-E1974306880A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01fed518b630130f24414aae484b25d72cf89add","datavalue":{"value":"5187392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756731$5BD4F2B6-6C81-41CB-B8AD-ABC140C7DB03","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":"Q5756731$A7E7DA57-4B71-4520-BF1D-CF2AA7A20BF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e5da3b297213f4f134a9800cb8c57aa6f9f8ca4","datavalue":{"value":"https://doi.org/10.1007/11817963_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756731$36665F5C-D7B7-4727-883F-0DCC162DB074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05bd8ed3018796b450831292bc06515d7340cb95","datavalue":{"value":"W2136242294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756731$A4D58B9B-B589-4524-B1C0-E9C2185F0970","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a0f23e12bedc8e44faf09f4a1537669d2c3e03","datavalue":{"value":{"entity-type":"item","numeric-id":4633546,"id":"Q4633546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb64fd5ec33b9b591f4929e9e1217d5b82202fd","datavalue":{"value":{"amount":"+0.8311875462532043","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":"Q5756731$EBF46239-4B94-4ECC-A9F8-814235D1F4C2","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":"b9d0687bb445ec962a62ad76478291b50f7912b7","datavalue":{"value":{"amount":"+0.803037166595459","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":"Q5756731$6518019A-1E4B-49F4-AF1A-4C651AE8A984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567b774f74dddd3685ae57b72b112a352a7f0eab","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b538c718f2016ffc7bee0e558b2e4ccc6197db01","datavalue":{"value":{"amount":"+0.7846887707710266","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":"Q5756731$C5B99756-0F54-4C6A-8743-B6ABB9402EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b735625f7aa1d611134af42f8cd255141a65716f","datavalue":{"value":{"entity-type":"item","numeric-id":3512501,"id":"Q3512501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a52327cc385133605e779c8c839f055e85c3f1","datavalue":{"value":{"amount":"+0.7752770185470581","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":"Q5756731$8C75379B-53C1-434D-ADAE-4BB941C2CD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e05efa9170e108798d7558aa17e244a8715aa","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd58521acbccd75b7d6bf8c4710f58ed4bae7e5","datavalue":{"value":{"amount":"+0.7742626667022705","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":"Q5756731$788FDE6A-450C-4984-A5DC-5F860E0DB39E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756731"}}}}}