{"entities":{"Q4305628":{"pageid":6335229,"ns":120,"title":"Item:Q4305628","lastrevid":41822005,"modified":"2025-05-08T17:58:32Z","type":"item","id":"Q4305628","labels":{"en":{"language":"en","value":"Termination of logic programs: the never-ending story"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 639135"}},"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":"Q4305628$9CC239C4-56FE-4E3F-8357-B818887279DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7f9558a0163d546df20fe22749988d8f192c37a","datavalue":{"value":{"text":"Termination of logic programs: the never-ending story","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4305628$F514ADED-D170-4509-B7B5-B0130631D009","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d02155f6d63dce7e6a60614f449dd3ee56d9e05a","datavalue":{"value":"0820.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305628$9B42EFC8-3711-458B-BA9C-E16124B3D868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46d2c4ed14c13fdbf1095c5133fae55928f1824c","datavalue":{"value":"10.1016/0743-1066(94)90027-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305628$36DD0A2B-8792-4C71-9DE6-9FE31E23A937","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305628$25A6F2D3-F3CB-4890-A8B2-5997F6DBB5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2ddd5a7b94dab71af0f094a963a1f53d064d1b2","datavalue":{"value":{"entity-type":"item","numeric-id":4305627,"id":"Q4305627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305628$DE0B0D4D-F412-4448-9A79-DBC057D6F98C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305628$2A42A8BE-841A-4BE4-848E-1B86710B66AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84681ccfddfaace3f47555c1fcea3a9191c156fd","datavalue":{"value":{"time":"+1994-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4305628$6282CA8A-5AD0-412A-908E-A7A2875709B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba359f4a635bf258b273554d8a62687fbf543e52","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/125412","type":"string"},"datatype":"url"},"type":"statement","id":"Q4305628$0BC3B3B6-97B6-446E-A488-1C5812BFCA00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305628$A76E8773-124B-450B-BBF1-BD57DEA392EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bacea4d00285c3c1c0db0c90a1d674ec7438a296","datavalue":{"value":"639135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305628$CA833948-9944-4EE1-AC0D-EA58AD603A05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305628$52CEC8E1-C779-4B57-885E-EFC6747D7492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d4f1fbcaa18e60ec087a1dccb521fcbfeff79f","datavalue":{"value":"termination analysis techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305628$BAA4D765-7807-44C4-91FE-43C797603414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4060111df9ba8e2f322d895bfe8edd807a6a65f4","datavalue":{"value":"LP languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305628$09B0043D-B6B2-4F91-8012-63F38C49D8B8","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":"Q4305628$0127EA30-2D66-4C59-995A-6B33014FD78C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c76bddfe42583d5a18aeb9da46d790b430053cc5","datavalue":{"value":"W2009286786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305628$F0D19144-4D4F-4CE6-9E29-A39109611492","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b220b2de56bbb1b4790a56915c0916dc3d1fe05b","datavalue":{"value":"Q126839029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305628$9A9AAB13-5765-4699-85DA-60C73D1653F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33be64dc7aceec6d965dd2e2c87099152555c074","datavalue":{"value":{"amount":"+0.88999647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$A1041D1C-BA5D-45E9-9593-8874186EABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4567b863fa1fa6f6d3f163f88f8159158a7e7d15","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189e6fc15bb099f668d247ab0efef1370c689a4e","datavalue":{"value":{"amount":"+0.8828752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$2059AA0D-9B12-404F-B5C4-7949C096847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52927b34c42b1912cc6a6ace664bfcb513a96ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5712539,"id":"Q5712539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94144099c8d973dfcac5d71ee4cc0564ac6bbd16","datavalue":{"value":{"amount":"+0.88124585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$DB068E15-2BE1-4927-9AB4-5B05D70ACC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81991e32bf8687bbed683e4a92ab08fd5d66b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c271ec9f029da02e7f0e548f3a5a8b67909994ac","datavalue":{"value":{"amount":"+0.8803759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$5F7746AB-958D-4576-84AA-512B66B9E1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f9fdb6628b31cdebcf6dfd038416572cf48bb5","datavalue":{"value":{"amount":"+0.87926954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$07041F7B-DFCA-4062-B34F-3E9D81F5CE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcce8ece0bc881a6adb213fe2643a1bfe9ee3bec","datavalue":{"value":{"entity-type":"item","numeric-id":4306397,"id":"Q4306397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65486b8feb3133e2b30907f52bf315236ed71129","datavalue":{"value":{"amount":"+0.87879443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$66FAC5D4-CB99-4963-A0A6-6A4312E69C96","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":"1ada357b514e1d37a369efff30e6d13136155c08","datavalue":{"value":{"amount":"+0.8786794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$F45FF9F9-728F-4957-9345-7A36FEAFEEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b18d472ac45abd0df1c2cf0650e49ec36ec49ad","datavalue":{"value":{"entity-type":"item","numeric-id":5452190,"id":"Q5452190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2567f58f801c661505507021f1a695cdde48056f","datavalue":{"value":{"amount":"+0.8770409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$4CF2D6D8-714E-476E-99B6-E36EE414A03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad8efc7b3e02441cf23bf6ab6f55f6ce43bafec","datavalue":{"value":{"entity-type":"item","numeric-id":4035671,"id":"Q4035671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52839297654890f0f93b87121b8f0904c1f1482","datavalue":{"value":{"amount":"+0.87336826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4305628$89B1E214-EA60-49A0-9BE6-237439076AEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4305628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4305628"}}}}}