{"entities":{"Q1190477":{"pageid":1201226,"ns":120,"title":"Item:Q1190477","lastrevid":66517758,"modified":"2026-04-12T10:36:57Z","type":"item","id":"Q1190477","labels":{"en":{"language":"en","value":"Complete extension of general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55535"}},"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":"Q1190477$D128D19B-08FC-4D75-96FA-E772D702DAF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da7592c95636373a60c7381d33ac80d3807392e9","datavalue":{"value":{"text":"Complete extension of general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190477$846906F8-768C-4004-A592-38175083F6B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34fd288263b6cb1c9ef26f47675e8b588e069053","datavalue":{"value":"0754.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190477$111A0D37-5244-4BFA-BF31-F86E246FC55E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79e343f93f379db4ff543b91935ceae35cecfa27","datavalue":{"value":"10.1016/0304-3975(92)90039-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190477$201AB414-64AB-4E76-AE28-AC44037A877C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5593c726bf86c97bdab84026718693dfec98cf83","datavalue":{"value":{"entity-type":"item","numeric-id":1190476,"id":"Q1190476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$EF3A3365-B537-4940-AAD2-C31ADB8097AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$3DE21EE7-BB66-4C22-8047-9C60B3E67F67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190477$6F783BAD-1151-4EB0-A19D-FA5989594721","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b2e1d1adeeac72c37a697526d9bd080904c8a6d","datavalue":{"value":"The author defines the declarative semantics of a general logic program. It requires the assignment of a system of axioms to the program \\(P\\), which is called the complete extension of \\(P\\). Then the relations between the different semantics of a positive program \\(P\\) are discussed.   The soundness of the complete extension semantics is proved.   However, although the negation-as-failure rule is still not complete with regard to the introduced semantics, the latter is closer than the Clark's one to the procedural semantics given by SLDNF-resolution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190477$84D5CF67-CD53-45C8-B238-2522843325C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190477$C3A0750B-D23F-4B91-BD15-EB263E2D237E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b41d88a06fb96231ebd8ba8446761781a1101453","datavalue":{"value":"55535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190477$6A221679-B794-4BD6-9247-A483C50393CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190477$837A4D69-52BB-4EC5-827C-31D8BC02DDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05037599df3a57724aa2b17e36b7b88fed1b6a7c","datavalue":{"value":"negation-as-failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190477$3F932870-5CE8-4F1B-8545-3EC330B636DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190477$42C61416-2E0A-49BB-858A-2445C2A943E8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$B4E44608-2380-4D08-AAD6-9367E9381E3C","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":"Q1190477$A0D8A2BA-DCCD-4410-86AB-285AFC5B635B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$E8ACC11E-A96F-4E1D-BB38-8F56DB196FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2433e68677fdbdd8c49c482851fb149d47552ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3798220,"id":"Q3798220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$12F59FC3-45F8-405D-B48D-644B2D9B650E","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":"Q1190477$78E36A32-DAA4-4A18-B1A2-B9580A4CC747","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":"Q1190477$9E3AAE6B-C4A1-41EB-B427-EE7D4640D07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$90D374BF-6FD0-4FCD-A17F-6487F6B7EE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$72389E95-D0C3-4C6B-AB04-F82C0FA7A9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$7B1F0B75-B727-4FFD-9189-74407D57A56F","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":"Q1190477$09A41E2C-AD9A-44C4-A952-D95C228E169C","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":"Q1190477$B5B667EA-0168-4725-9EF3-DB2150A2655E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190477$37DAF5F8-EEE3-4277-9CB4-EE73D372BE91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30fe35c49512ef6edd57763a74b6cf4b77213db0","datavalue":{"value":{"entity-type":"item","numeric-id":3727350,"id":"Q3727350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c8b42a51dcd60c30056ce0431ac53a8430f53a","datavalue":{"value":{"amount":"+0.8250864148139954","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":"Q1190477$5ABE8811-6C22-4EFF-B982-95B596F49DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b69806df4ecea839c519ab1bb574fc8bec94e88","datavalue":{"value":{"entity-type":"item","numeric-id":3356290,"id":"Q3356290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201740b2377873306cdf824a698510017aa8b779","datavalue":{"value":{"amount":"+0.8244238495826721","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":"Q1190477$71A8C892-EC34-4692-B2D6-42F6164E9C66","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":"6c294a67de6b91fba2aa47a72f955e818b59ae32","datavalue":{"value":{"amount":"+0.8208763599395752","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":"Q1190477$E88146CC-4519-4706-9BB4-DC0F38786EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215424cedc3f94294c4ff39d0589f9f4e3875e08","datavalue":{"value":{"entity-type":"item","numeric-id":3975936,"id":"Q3975936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a291a50b95cb0722621f5d0998d06509e297c742","datavalue":{"value":{"amount":"+0.8117232918739319","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":"Q1190477$8A4C04C3-7479-44FC-9294-194452CE0582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a87fd983a1fac1aa287a6c2fec7a8d89156923","datavalue":{"value":{"entity-type":"item","numeric-id":1824413,"id":"Q1824413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b682d1a12f5ff3bc1b999ec102d836f34007fd4","datavalue":{"value":{"amount":"+0.8112826347351074","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":"Q1190477$12362545-5B19-43B1-BE2F-0CBD83F8F6AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete extension of general logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_extension_of_general_logic_programs"}}}}}