{"entities":{"Q4036282":{"pageid":6066001,"ns":120,"title":"Item:Q4036282","lastrevid":55236280,"modified":"2026-02-05T04:14:26Z","type":"item","id":"Q4036282","labels":{"en":{"language":"en","value":"Strong termination of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168616"}},"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":"Q4036282$AFB837D3-0E16-4756-9208-887C9EFA9022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9edde8969f60f8359f5c52f1b5d38b98f5c8e4b6","datavalue":{"value":{"text":"Strong termination of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036282$0387B3A3-E1BD-41DF-96E9-AD4C177C769F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0a5387950cf4e405f75c4b6bd8559d36c29ea4c","datavalue":{"value":"0787.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036282$8C11378C-8E3A-4595-81A5-D945D4221274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e8943298a95c2762e075174c61e90e4a236e509","datavalue":{"value":"10.1016/0743-1066(93)90014-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036282$3849B456-B8CF-4CA5-AACE-4B41D64D50A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036282$BA3DC84C-1464-48C0-8076-59780278B48F","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":"Q4036282$A57C5FB6-92CB-4A44-A01E-49FEFBA829C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036282$5B7F073A-10EF-4574-99C0-AC9E4F720EAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00bf3542b7f421b1f03508d31ee78e7d8bbdf8bc","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26249","type":"string"},"datatype":"url"},"type":"statement","id":"Q4036282$7E8CD4E2-980F-41C1-A35F-C0D4CBD5E00F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036282$1E125CB8-5C86-4BF9-A3F0-F6A3F2472B79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"652f34e3d8fa15f39a2ea0d66ae15ce3e286483b","datavalue":{"value":"168616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036282$B3189C1D-FFA9-4612-90CE-C50BF42B5B31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036282$7FC6A8D9-3DAE-4861-A484-D84636CCD3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036282$02B3DD1C-2273-47DE-9D4C-9BFD06565452","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":"Q4036282$7BF4ED73-86B7-4330-93F7-AD4D7B831F35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b52d7d77ba78528d46eba339856ab94e7fe0d37e","datavalue":{"value":"W2059709382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036282$35A6990A-2DA2-45E6-AC69-5C84D4915C73","rank":"normal"}],"P1643":[{"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":"ff84e12a66f4af2045962382185ce067a1a291de","datavalue":{"value":{"amount":"+0.9385395","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":"Q4036282$9EF5213A-0EC1-4882-9092-6FBA9A89F891","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":"b071b9bea83e57d7c7d849c2e624974946db6ddc","datavalue":{"value":{"amount":"+0.91891706","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":"Q4036282$628CAF0E-0AA1-4B75-84C9-A3C535AD15CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5490b38434de3b435df6589b6730899e383685","datavalue":{"value":{"entity-type":"item","numeric-id":5096194,"id":"Q5096194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e29ca13c580768d6dee5609fd0aa7682e60db7c","datavalue":{"value":{"amount":"+0.9156586","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":"Q4036282$604F9F74-5A59-4E14-A806-A0086A235F29","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":"b43bab224430ec8fca47ea6d5969e013c475f091","datavalue":{"value":{"amount":"+0.9151683","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":"Q4036282$A8B50F1E-CF6D-4BAD-BF25-2D9EDD12D086","rank":"normal"},{"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":"bd75b7c75d92f93c50d8b1f7b7718e71da8a1ee0","datavalue":{"value":{"amount":"+0.9150505","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":"Q4036282$8F24F8CA-DAD4-4B4A-BCB9-CD54B7BFB3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1444783c9ac9302affe54c66fbde18d77c92914d","datavalue":{"value":{"entity-type":"item","numeric-id":4386947,"id":"Q4386947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5997ae9fdf1e485e90e47f71e740f61d7b9bf37a","datavalue":{"value":{"amount":"+0.90827215","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":"Q4036282$A56AF6F7-E4AA-4F38-BC30-AF3718002123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf6b5b74eff5f0ee2904273820df170ebfbf58a","datavalue":{"value":{"entity-type":"item","numeric-id":5458804,"id":"Q5458804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9277d561ec8639b0074c983968af83a7753e44","datavalue":{"value":{"amount":"+0.9065707","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":"Q4036282$75A6F1EB-90B7-49FE-9F40-B07C0F1AD6FC","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":"a55b5c13af0c21c6d8598aaf490771dbeb2ead5d","datavalue":{"value":{"amount":"+0.9064224","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":"Q4036282$1BEB2E7B-7114-4C44-96C8-EAACECEC6D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6cee3b595049e8201b5f7273869acc0e1496b","datavalue":{"value":{"entity-type":"item","numeric-id":2767031,"id":"Q2767031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d4a8fea1fd17258350990424e818b96cdf2e9f","datavalue":{"value":{"amount":"+0.9027246","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":"Q4036282$F0449CB0-15F2-440C-939B-7AAFD98F3144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036282"}}}}}