{"entities":{"Q3000631":{"pageid":3011355,"ns":120,"title":"Item:Q3000631","lastrevid":51249302,"modified":"2026-01-17T10:56:09Z","type":"item","id":"Q3000631","labels":{"en":{"language":"en","value":"Transition invariants and transition predicate abstraction for program termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897391"}},"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":"Q3000631$A802F60A-927F-4244-8DFA-05C818132D3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95b5e0dc92b1dc714516969a3ea79d689533c820","datavalue":{"value":{"text":"Transition Invariants and Transition Predicate Abstraction for Program Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000631$A64D6EC5-8080-4F8A-8157-88AC2F4556A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2360f61eb0c06d6cb37a87736860da884839881d","datavalue":{"value":"1315.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000631$2977CE5F-171F-4476-9F26-7E67D912F44E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efc67341013ef80753bb988807fae8d05c999ca","datavalue":{"value":"10.1007/978-3-642-19835-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000631$FF69B950-6A07-4AC4-A0B1-50BF2DFB8864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000631$95A56222-E7BA-4AD3-9044-B69811B66A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000631$96E09F40-F755-4113-895A-C14887A88B60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000631$9100D606-1A8B-41CC-B473-78FCCC57636B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000631$8550382B-7995-4C2F-9B00-D9A587759AAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000631$E48C6C18-6902-453F-B046-906B7D217E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000631$4B22C703-1995-41D4-994D-BD691A0045C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94feb5a84e1f579de9b06fa528ac3d7ca725f219","datavalue":{"value":"5897391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000631$DC9D5DEE-43F7-471E-9F73-5A686FE48BB8","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":"Q3000631$F923B822-6C68-4460-AABB-F6D87F4B45AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f3daa8c56771fb43df418c81604c082683b2d6d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000631$52390421-736B-439B-9A7E-0845A77ACC79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"938fbef180da397cb74f2886707aca00b23ecde9","datavalue":{"value":"W1496222849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000631$4961E93C-EE2E-43A4-9067-ED964CD0A620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000631$79463C5B-B6F1-434F-B86A-0BDC96214196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000631$9F613D52-3D4A-4974-B8CA-32CE617EB4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000631$69A321EA-18D5-4067-B9AE-90D801B3C020","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1766de9d21f0d1b1171413629f966b7677d02e1","datavalue":{"value":{"entity-type":"item","numeric-id":6045024,"id":"Q6045024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31485643c8207906d44887d24acf78462ffa39c4","datavalue":{"value":{"amount":"+0.7977770566940308","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":"Q3000631$6468FC25-6469-4521-9D16-BA13DDFB8D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d44e48da27254af8d51d23ebf630e133474bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea5cca0481508d6bf26d2cb92f81fe2583b849e","datavalue":{"value":{"amount":"+0.7865776419639587","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":"Q3000631$310AB45D-AB33-4586-B445-4374F77567F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6038ad9686f1e02074438b3f6def574bb4342285","datavalue":{"value":{"entity-type":"item","numeric-id":4930716,"id":"Q4930716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d0bb4d2b316ca1d5f8c8a1797709ac6b0b048a","datavalue":{"value":{"amount":"+0.7793266177177429","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":"Q3000631$4D976D4E-4205-4A6F-B428-F903E6E45850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32bbbbe8757a46a9be72a7524da160c8a79a7b6","datavalue":{"value":{"amount":"+0.7526140809059143","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":"Q3000631$2441DAB3-0771-44D4-918B-1D16726093A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3203e0aca31a66fbee939bf41f88a322886ea8f","datavalue":{"value":{"entity-type":"item","numeric-id":2248058,"id":"Q2248058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314c81dc7bbf61a9a9aa0f8584cdf4d1c03f2fb1","datavalue":{"value":{"amount":"+0.7415787577629089","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":"Q3000631$1CB29341-16EB-4CF6-BBB1-0D852AE12D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000631"}}}}}