{"entities":{"Q4327843":{"pageid":6357444,"ns":120,"title":"Item:Q4327843","lastrevid":47317174,"modified":"2026-01-01T08:31:06Z","type":"item","id":"Q4327843","labels":{"en":{"language":"en","value":"Autoepistemic logics as a unifying framework for the semantics of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 742735"}},"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":"Q4327843$28D09D71-C98E-4D8A-AB02-C02871B74CFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ff5a2e0e9e727cf9ba9706196382d724a09f99f","datavalue":{"value":{"text":"Autoepistemic logics as a unifying framework for the semantics of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4327843$8D1D2AD6-5523-41E9-9250-6D008A1FE797","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c244f7be0c43f86910bce370e5d10fc84bc9a55","datavalue":{"value":"0816.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327843$F6EBDCFE-1171-4FB5-BA31-64A6679E81CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00361c22cbfaeabb9865c014ea26895ae609a6d2","datavalue":{"value":"10.1016/0743-1066(94)00022-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327843$127AD0AF-FE37-4F94-A6E9-14391B3169AD","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":"Q4327843$B6A88075-C93F-41B8-85CD-90280BCC0F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00110426ee40f632eb2a5aee63ddcd78eccd34db","datavalue":{"value":{"time":"+1995-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4327843$29DDBE7A-86B3-4287-8323-1BD7CF0D101D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327843$27272FCE-037F-4726-A9F5-BABEED9B1F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327843$0CD285BE-E848-4068-8563-47BE932F4089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327843$DDCCC972-A436-4AA9-8AF2-AEA3EF050874","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eea6e65cfab09b7bcbfa77248be88617ca2990c","datavalue":{"value":"742735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327843$675BFA39-032E-4190-B05A-2D56B3B7D964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327843$A55CB441-FFA1-49B5-969E-943B49EBC895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d6981dfe6429d13bbbebb8d10481704721d0e4","datavalue":{"value":"Fitting's semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327843$3ABFF46B-2509-432E-BA10-824D7A5D8446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fff4be325e51dfb88f6b07c6eba99644aea20b1","datavalue":{"value":"Kunen's semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327843$EE46A684-4036-4DA9-9A90-F59AC692EF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0468d5ff50cef592a52f72d996f9abc2a63ac4","datavalue":{"value":"stationary semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327843$F065BE5A-0D10-4F73-BBFC-6F13AD262679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554e7d94e535f9067a8106c37c3422e0273ee972","datavalue":{"value":"answer sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327843$89CA0C7F-6F0B-457B-AFB2-F03FD983D132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6857092d961e0ffdaabfb502a3d550559fa0039","datavalue":{"value":"epistemic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327843$55F8BC0E-438B-4D28-B575-08BF7F0F9C43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0631f2d933312919de86ae8c0f02f442e4f96c29","datavalue":{"value":{"entity-type":"item","numeric-id":814595,"id":"Q814595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327843$248DAC35-46F6-4098-BE8B-6F84A2195177","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":"Q4327843$7E8C2EE0-83F9-4017-BE83-783DCBCA4F67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c919db2e51eab63c6d40e7e5ff5367851b87332","datavalue":{"value":{"entity-type":"item","numeric-id":1344887,"id":"Q1344887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e651dcb2b8eb7928c7a6e074847060019eb4fbef","datavalue":{"value":{"amount":"+0.839530885219574","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":"Q4327843$FE315B05-5F65-41C0-B9AF-2B5250E31BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9a58c944ef0392ed49d35d3008dd11848e74c7","datavalue":{"value":{"entity-type":"item","numeric-id":4217934,"id":"Q4217934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699d221c2cf0824860918fda34a99aed43e40ecb","datavalue":{"value":{"amount":"+0.819879412651062","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":"Q4327843$38D865C2-69E6-420B-88A6-F70C07B37D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071b9bdbd1daf5cc8dec3c93790c6a00c5111c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1311407,"id":"Q1311407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2d7fb8e78d46d3adc9eb61f42c730c2ca9ac42","datavalue":{"value":{"amount":"+0.8048672080039978","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":"Q4327843$70DB0414-A9E3-43B3-8322-34F18057D356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516b02d7e2d89f0abdeaca65dbbc024b0a01a433","datavalue":{"value":{"entity-type":"item","numeric-id":4013778,"id":"Q4013778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b690cfc2e1006e4cb6ae86eb71e80029edc114e3","datavalue":{"value":{"amount":"+0.8045972585678101","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":"Q4327843$D22BF6FA-8A95-4456-AF0E-9A1CB17A2C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73078abee21c5c832c984ac5d15a9543201b17bd","datavalue":{"value":{"entity-type":"item","numeric-id":685123,"id":"Q685123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e281e799e647b1b87c160e53191bb2bb93a54cb8","datavalue":{"value":{"amount":"+0.8021251559257507","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":"Q4327843$4CFB2F49-C06E-4088-9972-E7468872CD98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4327843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4327843"}}}}}