{"entities":{"Q5458816":{"pageid":7488375,"ns":120,"title":"Item:Q5458816","lastrevid":50342504,"modified":"2026-01-13T20:52:00Z","type":"item","id":"Q5458816","labels":{"en":{"language":"en","value":"Non-termination Checking for Imperative Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267204"}},"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":"Q5458816$D564D7DD-1B24-4023-9004-314F4400C32E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"735c367ad2d90acce324f439594e8024e5822834","datavalue":{"value":{"text":"Non-termination Checking for Imperative Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458816$A79527E6-3BC3-4123-AF16-0D779C706491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"510e23b7804eb4d6ffd9951a36c8693230e6fea9","datavalue":{"value":"1138.68460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458816$94211DB4-0FE9-4B0B-862D-F39E1A5523DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f571400fe46c353223fbbf3c1d59249e4c65a823","datavalue":{"value":"10.1007/978-3-540-79124-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458816$8B397FF5-C656-4178-875E-894AE7EE9969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"803988d3d4aa6b4523ccd9fb48c68b5d63470d4e","datavalue":{"value":{"entity-type":"item","numeric-id":5458815,"id":"Q5458815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458816$8941FC39-DC5C-42A8-89B7-D8FC2EEA1EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458816$6C7E2EE8-CDA6-41B7-9EB1-A67E5449AE13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458816$14DB39D6-7EF1-453A-B1F4-72BB75880770","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458816$F8EAC8FD-4BEA-4965-B9E6-E7D33FF81533","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458816$3B15DF97-AF92-4615-9729-341BDCE23EEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b84b708fd374309697470d923203241b6a7efa2","datavalue":{"value":"5267204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458816$DC5998E2-4144-4E71-B81B-71DED9EA9A07","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":"Q5458816$1F18B3D8-EBF2-476E-937A-4121AA157434","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ed8f977450b3b9d1da1904db97ea2972e37fc0b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79124-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458816$0A068E42-4405-4650-A64D-16A96B9E51AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a73db87f74ebd4661eb2fdc3c5bb86fdf0c1d17","datavalue":{"value":"W1503406871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458816$FADE3606-B963-4E18-AA13-888FE7A7DE1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8786a472651488e17505bc6c5cbe01bc1b59590","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7826616eb81a4cfc110d63d08fb421031f328dfd","datavalue":{"value":{"amount":"+0.7533324360847473","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":"Q5458816$2CC4CCAA-1B73-457D-A961-16D382F0E070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe49159c046efa21dd3b33c0a71aaf59869bd61","datavalue":{"value":{"entity-type":"item","numeric-id":1702897,"id":"Q1702897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978b4dd84906beef3bafe322e16470cc2cf6ebe0","datavalue":{"value":{"amount":"+0.7222198247909546","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":"Q5458816$9245A8DD-7C18-4032-8917-EF00F3D338A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1473c83c7ae853c2664cf24c1f9260ea9c9e67b","datavalue":{"value":{"entity-type":"item","numeric-id":5398306,"id":"Q5398306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75990d1583de46836e1e25055f93cbca150c01ee","datavalue":{"value":{"amount":"+0.7209281325340271","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":"Q5458816$92151694-91C1-47E2-A357-EE8537C08A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c658cf8c43026c035d383efeeecf87d13fd52fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3003491,"id":"Q3003491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b850f6a750548aa212ad7cd128cf40f110a869","datavalue":{"value":{"amount":"+0.7205665111541748","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":"Q5458816$7278B9C2-7D06-4275-AFE6-43DD1DEFE2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7747ca8e41530b344da3677684696950de8040a6","datavalue":{"value":{"entity-type":"item","numeric-id":6045001,"id":"Q6045001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45906f6074b25ca3e4a541619e14dbab9391312c","datavalue":{"value":{"amount":"+0.7089911699295044","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":"Q5458816$11D77A34-F072-4668-8153-FF727BAFFAA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458816"}}}}}