{"entities":{"Q4673540":{"pageid":6703121,"ns":120,"title":"Item:Q4673540","lastrevid":89937986,"modified":"2026-06-04T18:39:54Z","type":"item","id":"Q4673540","labels":{"en":{"language":"en","value":"Inferring termination conditions for logic programs using backwards analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2163132"}},"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":"Q4673540$936A01BB-30D2-4B3C-B5F3-2F5093CA2998","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0f0d1949688d5feb2525025e17ae8784a7cf17d","datavalue":{"value":{"text":"Inferring termination conditions for logic programs using backwards analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4673540$04A71AB2-9789-4E10-A5A0-1B14E8719619","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43e51954a77e59bc2fdb7769a12dce95439f38b9","datavalue":{"value":"1093.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673540$47C04B6D-29CE-4F24-8454-B8473E6E95BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"337e517438beb78832f85f0abaffe8c72446949c","datavalue":{"value":"10.1017/S1471068404002236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673540$16D3BC58-CD1A-4A7F-84B0-A22DAD702F08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673540$028A98A9-8315-4257-9C75-016030196B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673540$F9F2084D-4F13-4ADD-9BEA-C8EFAE544987","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673540$B420D9DA-FFDE-4AED-8600-3C544E94CD46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4673540$2DE051E8-CD3E-4955-BF56-DAB78205B6B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673540$7FF6EB7A-0D0B-4AA7-9A2B-8BE3278B6892","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e46c9aeb4d9318f4154ac04d283e66fdf9be5a25","datavalue":{"value":"2163132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673540$CF3DA199-862B-4F49-9DFF-4489A0675DD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673540$D76C5BD5-DCD0-40F6-BB83-9FB9D797163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673540$08FAD608-F682-4DD9-B86E-C751D44C9B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673540$CC0E647D-2CCA-4072-8F82-F8BCEE46BEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f505d9246ea16037cce39ff93e765a10be691869","datavalue":{"value":"backwards analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673540$CD65AA57-D0C0-4676-A661-32F6627C8D47","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":"Q4673540$BEABC831-C823-449F-B28E-4CF43ADC88FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb3cb902ae8fa37804429935c18db6d3cea7306c","datavalue":{"value":"https://doi.org/10.1017/s1471068404002236","type":"string"},"datatype":"url"},"type":"statement","id":"Q4673540$F30315FD-B0FE-40F2-A26A-6F99CDD68888","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38e83785c08d1b1b8ccea9094b42f287dffd9f54","datavalue":{"value":"W2148363954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673540$889FC9F7-E32D-4724-8C5D-4E5193586651","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6c37bab9832d9dca238a682b7ad73aa261fdf6","datavalue":{"value":{"entity-type":"item","numeric-id":2996201,"id":"Q2996201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd1334a97be860fb5ad9ffb3c1b38f6fb70637b","datavalue":{"value":{"amount":"+0.961134135723114","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":"Q4673540$F0B21B58-3EA4-42D3-ABC6-841784A8C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dfec6cc7c1b55c7aff1f98e8cfbff05da12d49","datavalue":{"value":{"entity-type":"item","numeric-id":4779112,"id":"Q4779112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6344c4996bfd1ceb2f5d2b6ed35bab1d1ba57f26","datavalue":{"value":{"amount":"+0.8309341073036194","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":"Q4673540$5DD04FC3-47E0-4692-98E2-7C8DA4663472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2ba2994fd898d0503228ae266ad48276f24e1d","datavalue":{"value":{"entity-type":"item","numeric-id":5897427,"id":"Q5897427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934b65bd976fc85d04f5cf350251511e3cf05eaf","datavalue":{"value":{"amount":"+0.7971388697624207","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":"Q4673540$9782B907-4130-4F50-A844-DB355D6BCC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b2ffc3c5b8257fc8afbffc8bbfc0238732712a","datavalue":{"value":{"entity-type":"item","numeric-id":4669655,"id":"Q4669655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a553f4ebe2b343772595d4a10d2ede470c0aed0a","datavalue":{"value":{"amount":"+0.7876899838447571","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":"Q4673540$6363993F-887D-48B0-9D40-69D8A838DDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ac474efdaff1b0a7b8c011a45419400e14a68d","datavalue":{"value":{"entity-type":"item","numeric-id":4411982,"id":"Q4411982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ac9e613c0ff42bb1d60d063e4f9394ac29d708","datavalue":{"value":{"amount":"+0.784669816493988","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":"Q4673540$4A4E378E-6ACC-4D64-857A-4559724D028E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inferring termination conditions for logic programs using backwards analysis (scientific article; zbMATH DE number 2163132)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inferring_termination_conditions_for_logic_programs_using_backwards_analysis_(scientific_article;_zbMATH_DE_number_2163132)"}}}}}