{"entities":{"Q4452637":{"pageid":6482236,"ns":120,"title":"Item:Q4452637","lastrevid":48244807,"modified":"2026-01-04T02:31:30Z","type":"item","id":"Q4452637","labels":{"en":{"language":"en","value":"Verifying termination and error-freedom of logic programs with <i>block</i> declarations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048614"}},"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":"Q4452637$CE6A83C2-F5A1-4B57-8017-817989A324F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3ae17d06e0449e3fcee1bddbdb237336b757f6b","datavalue":{"value":{"text":"Verifying termination and error-freedom of logic programs with <i>block</i> declarations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452637$3666DAB2-FB85-403F-AF38-19AB70D65217","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba6de94538c49d5594932720a1b55f4e29c26982","datavalue":{"value":"1066.68516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$58A446AF-7B89-40B5-8F73-BB0E2EF90EC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73abaf7dd7bfa87cb5aa096c4f7d9b306de791bd","datavalue":{"value":"10.1017/S1471068401001107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$3091A1DA-F797-4EC3-B0A0-96437DB58B73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452637$F314D150-B46D-485D-ACDA-422CAFC06E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452637$DE8DFB0F-7C85-427E-B17C-BACA735BBB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452637$24603079-2AB3-44AE-A519-8CB2BF0569B5","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":"Q4452637$D307A282-C9E8-4457-8D69-C33589644DCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452637$BD45BB23-DA55-42ED-AC22-3B333C341450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$558AC05E-9E8F-4F54-90F6-838BD9E2B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$13304299-6E3B-4928-8771-F3DA7681ADA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f18a7ba27790ffb34ba94de358afaf20df8f884f","datavalue":{"value":"2048614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$6C68F6D2-67F8-4F96-ABE1-E97E40652991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbe430b2a062419692bd82b608b6b8c27537b545","datavalue":{"value":"logic programs with delay declarations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452637$24D729F5-9792-4095-9AAF-276F0B972D5E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452637$F6AE0DC4-8892-48AA-90C2-675CA190D236","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":"Q4452637$A242DAE1-DDB1-422E-9B71-25E760A2720B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9d4c38c15e1959f579529030aaafce53cf5bf25a","datavalue":{"value":"Q60501281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$C73D2C14-787F-420E-8D75-609D5D811CE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38eeb839c9ca979f5492168bbe6c5c26dd8c2e03","datavalue":{"value":"https://doi.org/10.1017/s1471068401001107","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452637$1B32A531-1F80-4A39-9066-52810030A03D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d00965d1ac9c00b6e830a4d15c805940f049821","datavalue":{"value":"W2160298178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$B278BAF9-E5B2-43DB-8999-36DEF4395A15","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a7c0ff7f840dc2ca56c331ac3d4724ff17be053a","datavalue":{"value":"journals/tplp/SmausHK01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452637$8AB224B7-3921-4435-A04F-B716D0ABC36A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bfc7c03ed93396713b92f99be63b78760f791d","datavalue":{"value":{"entity-type":"item","numeric-id":5096380,"id":"Q5096380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5612cfc4e7bbc0fff9fa71990d52a026dfd2cdc","datavalue":{"value":{"amount":"+0.846294641494751","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":"Q4452637$E20BCC56-2480-487E-9720-9DDC8BDB83BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756253aef2c83c8c7a90267c85bd21fc4c495a03","datavalue":{"value":{"amount":"+0.8114199042320251","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":"Q4452637$6C686CB6-9F42-45F9-95F0-277EB3DCC444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788cd0c6b0ca65ca6d53bca77a703b77b7bb782b","datavalue":{"value":{"entity-type":"item","numeric-id":4700387,"id":"Q4700387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab3b1b7b17a18af0ae46eb19a48241d9471ad51","datavalue":{"value":{"amount":"+0.8043287396430969","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":"Q4452637$62CB1EF1-A98B-4508-91D8-4B85C955B47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0abefb30109308a33dc68d3726d26368ba3a423","datavalue":{"value":{"amount":"+0.8013162016868591","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":"Q4452637$4C2588CB-4A14-4A34-B40A-6579AF6E795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6c35f2f9e1ad5a89cb5e6d0a44e05ad3e010da","datavalue":{"value":{"entity-type":"item","numeric-id":4839030,"id":"Q4839030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc908b3b87a30582a70812bde089b3ce965aa593","datavalue":{"value":{"amount":"+0.7583540678024292","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":"Q4452637$492F9F0D-7205-4D11-AA7F-C2CD9EE7C8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452637"}}}}}