{"entities":{"Q1177928":{"pageid":1188677,"ns":120,"title":"Item:Q1177928","lastrevid":66508788,"modified":"2026-04-12T10:32:08Z","type":"item","id":"Q1177928","labels":{"en":{"language":"en","value":"Semantics of Horn and disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22499"}},"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":"Q1177928$6638EF30-BBAE-47BE-ADF7-CC5BBBE99022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03b462e81921d5ee6c61613f580d13eac804893e","datavalue":{"value":{"text":"Semantics of Horn and disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177928$B3C72729-0214-49F4-B6F8-98B28044D592","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57abe3c3b584b1dc0c227a3ae26a99a82c00ee51","datavalue":{"value":"0744.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177928$DCF15A85-BA5C-439F-A1DE-063776E076C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26bac0faab4148dde4d06c274faf0fc39cb27fe6","datavalue":{"value":"10.1016/0304-3975(91)90006-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177928$9F7ECF6D-00C8-4ECA-973D-EB5A5F340731","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab1476a2e2fb895fee7c32ebeeaf943fefa2b45","datavalue":{"value":{"entity-type":"item","numeric-id":1177926,"id":"Q1177926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$2590A7C5-465D-4E61-88FA-D370C521F684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c1bb930f3df30df236a7034643eeb4dc48582bb","datavalue":{"value":{"entity-type":"item","numeric-id":1177927,"id":"Q1177927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$9FC53AC0-13A3-4507-AF60-58F52D39351F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$C30FC2C9-A448-4FF3-970C-C02E5DF44F85","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":"Q1177928$A2DDE4B7-3C54-4BD8-9A4E-1D88BE99087F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-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":"Q1177928$CEDB6163-35BF-4F50-9F7A-25A76ADF46C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9dd9522296125bb1cd095bc2e5074b14769f869","datavalue":{"value":"A unified theory for the semantics of Horn and disjunctive logic programs is developed. The authors extend the fixpoint semantics and the operational or procedural semantics proposed in \\textit{M. H. van Emden}, \\textit{R. A. Kowalski} [J. ACM 23(4), 733-742 (1976; Zbl 0339.68004)] and \\textit{K. R. Apt}, \\textit{M. H. van Emden} [ACM 29(3), 841-862 (1982; Zbl 0483.68004)] for Horn programs, to include the class of disjunctive logic programs, and prove the equivalence of the two semantics using techniques similar to the ones used in the above mentioned papers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177928$0D01C9F3-E7CF-41EC-977D-62E507D28B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177928$4A2334A6-73FA-4999-967E-ADC1D85A5C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177928$3FE51BD6-D0BE-4343-82D7-2ED64359134F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"587247b07fec1e6a82cfc3f0c4cb7c876efb775c","datavalue":{"value":"22499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177928$5363612C-89EF-4354-B31A-E591D16ACB8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b533999ed3156fcf2c081d376ee4cc32e4e37d","datavalue":{"value":"semantics of Horn and disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177928$DB0EE9C5-18F0-4079-8BA4-5BA2CFF0CCA0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3438d1bc968f7d4a4eccb591a1ec867543804098","datavalue":{"value":"Q109585677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177928$97E50AAF-EBDD-4FB2-83F7-944ED3A9B0FE","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":"Q1177928$42FD1EE6-A66F-437A-9CA6-C10C59FEA30F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a32bc0ef00c31c61a800b19fbaf8e0898507642","datavalue":{"value":{"entity-type":"item","numeric-id":3477931,"id":"Q3477931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$32B7516F-0A4F-472D-8ED2-77709B2D80FB","rank":"normal"},{"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":"Q1177928$3C031A3C-3810-4A30-BFE2-57F33A2CEAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50664e9afd488126bb2d68ee9b0a92e9754999e0","datavalue":{"value":{"entity-type":"item","numeric-id":1354026,"id":"Q1354026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$B4EEECB5-199E-4900-A4A7-2D521EC322A5","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":"Q1177928$BB4617B5-2EE7-45A4-9C57-0D4EE4141A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb0d118b33aef90aecd3a8ab820b8ba2782296b","datavalue":{"value":{"entity-type":"item","numeric-id":1819951,"id":"Q1819951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$893E8A16-59F1-4C20-B5A1-0E91266567D2","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":"Q1177928$DFA93FC2-D78D-40E2-9387-A7C653279B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bb65f0de480cfea02f1c49a74bdb628fca2112","datavalue":{"value":{"entity-type":"item","numeric-id":1825049,"id":"Q1825049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$940AE75D-7608-423B-AD95-F24F26BA35FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$4AEC601A-03FB-4C10-85CC-D031687E614D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$B8030CBC-2465-4E70-A927-C06DEADC59C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e084b6f8b4cb3512a9fbc9ac34b512c7aab9279","datavalue":{"value":{"entity-type":"item","numeric-id":1356225,"id":"Q1356225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$033B20C4-C4DF-4522-95D2-7A735C28671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332460cbeb294015a8f58711538d8a310fd2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$86504BF2-06A2-4BB3-8A9D-2AC6346B4FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c87838b584781103d19d52b6767af2ea2fd4b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$C8788E30-56AB-46AA-BF58-5559EFFB05FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170963b3c4301834938ec13f4ea361599193a395","datavalue":{"value":{"entity-type":"item","numeric-id":1160497,"id":"Q1160497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177928$6C46D417-F37A-481B-8F42-8117EB7E3C81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e353a794f548874c6b92eb1a91da5772a494078","datavalue":{"value":{"amount":"+0.8508700728416443","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":"Q1177928$FCEED004-FD0A-4BED-8E29-09DB81A92C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7662bf62316859e1e110290de01a1895fbcee798","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4be23421cbdf3008eb62893895c8b61b4d6013","datavalue":{"value":{"amount":"+0.8125264644622803","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":"Q1177928$F3C1E5F0-6090-49C5-AB22-37026325132E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95af72a740fe59154e7babd5a9bdf788598e2130","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b184d0b8f8b8150946d8befb18b9c99407fc18b","datavalue":{"value":{"amount":"+0.8093670010566711","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":"Q1177928$37F31C8C-CDF6-46C2-BFAD-27F0E934BF5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of Horn and disjunctive logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_Horn_and_disjunctive_logic_programs"}}}}}