{"entities":{"Q751309":{"pageid":753158,"ns":120,"title":"Item:Q751309","lastrevid":64139793,"modified":"2026-04-11T17:54:26Z","type":"item","id":"Q751309","labels":{"en":{"language":"en","value":"Strict completion of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4176496"}},"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":"Q751309$E01ED05E-F618-45A8-89C2-A7B89866FA1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d1cc74745d30497783d27368704e4eb95722d78","datavalue":{"value":{"text":"Strict completion of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751309$014D5751-C304-4C75-9612-B30524CD5D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31beeb399d296cdc5c73098b6f205947f37b350a","datavalue":{"value":"0714.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751309$AD0CEF2B-64C5-4DDE-AD32-7AB7D801E797","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"643121c8128caf0e9169138d1a486181058c434a","datavalue":{"value":"10.1007/BF03037151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751309$EE305D93-CF8C-4E9C-8681-525749644FC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29dc1236822f916648bcfce8c73940191d5a0074","datavalue":{"value":{"entity-type":"item","numeric-id":198014,"id":"Q198014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$A4423AEF-11DC-4F20-8C48-2D0C5066A7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$E5C46E44-1B4C-4780-BF12-05202A20C1EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$5A27BC47-C0AD-4E8C-B0C2-33E981E4737A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q751309$09DE8C83-9756-4B27-BE58-68EEAF9B0CD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751309$EB57A76E-D586-4111-80F0-8A070715B63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751309$16A011AA-D7DD-45AE-B1D3-519BEE12578F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751309$D4A4F05F-5CEC-4536-9A7F-5C3A93138938","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c636d907681dbbc980561477b59ef373c2d4325","datavalue":{"value":"4176496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751309$C113F4C4-6189-498D-9E89-B354DE163C7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q751309$0DC38BE6-F670-4623-AFD9-2A55854E9C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q751309$C5EE9289-9CA5-4C48-AE80-AAAF522252D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q751309$86BB5978-3AFD-48F8-9992-38004A57901D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q751309$40FF7E4E-B543-4597-9981-70930BDB82B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q751309$9DF255D1-6D57-47F3-9B81-9018C9BE1064","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":"Q751309$F5A9CC5D-397C-47D9-AF38-A62B9578DD92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddb1079c36ccc23e40e794a4f7778d11a250000","datavalue":{"value":{"entity-type":"item","numeric-id":1101250,"id":"Q1101250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$7951506E-1EF8-4F29-96F9-1C52A8708F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$9966C232-7A40-4611-BB42-624B33978781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6fd990ca8ced9322a441a64c3aa97aa4b0fcc4","datavalue":{"value":{"entity-type":"item","numeric-id":3727360,"id":"Q3727360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$7E735D73-F27A-4495-AEB5-C66F7EE2BA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e748c70a74c585fa1fb37e5fa7239e8f8b9ea2cd","datavalue":{"value":{"entity-type":"item","numeric-id":3348389,"id":"Q3348389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$03BF1F86-C254-4677-A770-437514154155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af916081fff2170a7046b3d1926c0b32d663297","datavalue":{"value":{"entity-type":"item","numeric-id":3031954,"id":"Q3031954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$F5ED6954-0170-41D3-8089-19D8A1D74074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$30ABE43C-3A7A-445C-A842-262E2B09DFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34af38d5111b224227bb34c206e67304c54c4735","datavalue":{"value":{"entity-type":"item","numeric-id":3802588,"id":"Q3802588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$EE59D025-9809-4F7B-921F-A5CD51CBAEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9420bb9d5b7e2566718e9c0eb7217865766a4b","datavalue":{"value":{"entity-type":"item","numeric-id":3719865,"id":"Q3719865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$C3A43802-D094-4C27-8D52-42E35F13FE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$3EA002BD-C4C3-4ADB-9F10-5349E28A6174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0dd275fd0b3a780e83996f243c9c5000e4dac","datavalue":{"value":{"entity-type":"item","numeric-id":3740275,"id":"Q3740275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751309$84A164E8-DE61-4C80-A229-DA9EE3CF8FEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac9b222438fc42827310c734539b09c5580ff4b","datavalue":{"value":"https://doi.org/10.1007/bf03037151","type":"string"},"datatype":"url"},"type":"statement","id":"Q751309$846EB4DD-6FC2-4981-8029-1E69444A14B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8059d0e36ea91a0fb35ef81e2bfa7f476c58cf3f","datavalue":{"value":"W1969037975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751309$514EF556-9D7D-4A92-BAEC-DF58A1722BBB","rank":"normal"}],"P1643":[{"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":"d83219592f0b51f721619274c47c3fc196dd50dc","datavalue":{"value":{"amount":"+0.9559981","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":"Q751309$F4151A81-5FDC-4E75-A28D-573926FD2D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9314a8a6b907c2e7062343efde80e7b955dd59ab","datavalue":{"value":{"amount":"+0.9466336","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":"Q751309$0372C2FB-EACD-42DC-9650-93F40E43FC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f493728d7679715b42970806023897dd5507208","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33753c6cd6786e95b5d473492cac3d758e0399b2","datavalue":{"value":{"amount":"+0.9314214","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":"Q751309$A8F9AC90-E82E-4E82-BA25-B2C838CF4173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5764822b08220c8e0972d0b06d51c8db652b623","datavalue":{"value":{"amount":"+0.92896616","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":"Q751309$359EA294-8D04-4D7F-838A-843BD5A6CAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae65ba15984b6ee6afcaee68e04943ac616651f1","datavalue":{"value":{"amount":"+0.92656755","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":"Q751309$D20B5D78-1B05-46F2-8563-321A491E3A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4568ed410b10db6bd2156a3ef856acad498e03","datavalue":{"value":{"entity-type":"item","numeric-id":3792244,"id":"Q3792244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe41c307797d9667d32d2e14502460fc0253c7d6","datavalue":{"value":{"amount":"+0.9241023","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":"Q751309$90AB8A25-DE6A-4BB7-80D0-01EB4847A45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a4beec989963b84b330a5033311fae02f2559f","datavalue":{"value":{"entity-type":"item","numeric-id":2277248,"id":"Q2277248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd71bcdafa6c2e11e6bdab973b3c389b12098b8","datavalue":{"value":{"amount":"+0.9207803","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":"Q751309$71E27B06-E5E0-43EB-BE41-2DFB8675266A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915a500c0fbe67d3dde29f15c3da411d54816c01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960970135fe3a3ec4fe53a551c400b8da1aa29b1","datavalue":{"value":{"amount":"+0.9171696","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":"Q751309$50967607-9374-496B-B12A-CAE0C5E97E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8258a7a312796096c370e45485f687cadb7d2f54","datavalue":{"value":{"entity-type":"item","numeric-id":3789103,"id":"Q3789103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f7392c082cfba382c00f6c30f297c1ea5cf0a9","datavalue":{"value":{"amount":"+0.91371435","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":"Q751309$D7D4CE7C-9897-4D5F-B773-B9FE79778B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95b5af4344e478db00bfda54ad8c51a2db6f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":2883086,"id":"Q2883086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ccd76c0be7ecc257a081ca8e10369120a3f3b6","datavalue":{"value":{"amount":"+0.91301405","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":"Q751309$148CFF07-0506-42C5-B92A-DA1B9B63680D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict completion of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strict_completion_of_logic_programs"}}}}}