{"entities":{"Q4369881":{"pageid":6399480,"ns":120,"title":"Item:Q4369881","lastrevid":46983921,"modified":"2025-12-26T00:05:17Z","type":"item","id":"Q4369881","labels":{"en":{"language":"en","value":"Translating default logic into standard autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103545"}},"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":"Q4369881$728BB233-9377-4013-8146-5C764A331124","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfa0b2adeb4582c252d1563846a805ca56078056","datavalue":{"value":{"text":"Translating default logic into standard autoepistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369881$2FBBCA50-BEA0-4496-9568-6976951E62B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b6d491872847433f5ca7df842d666587b2e197d","datavalue":{"value":"0884.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369881$1CC42416-3414-4B07-A42F-F1BF343E82C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ece9e732d7d17503c24f252a51d4e121e0cacfd2","datavalue":{"value":"10.1145/210332.210334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369881$E67C7DC2-EE08-42CC-A7CA-92C2A9D72836","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369881$080C008C-380D-4FA4-ADE7-78E447D62A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369881$0E4D1CE6-4043-4A53-BD40-8A039249306A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0b49252c47513608a2024e704aeac58803f16a","datavalue":{"value":{"time":"+1998-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369881$E7048BD3-1984-46E7-9B3D-2934BFF31047","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369881$C99B5188-5400-41B4-95F0-BD497BAAF810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369881$A12ECA39-EB60-4B20-B61E-BD39D840D505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bead8a0bbf84bded758d8789451dd8d246a5aaa","datavalue":{"value":"1103545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369881$B8412D94-F37F-444F-8A8C-CF6AC2AB3016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369881$462846A5-2E01-4401-BA00-2BE3F647CCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369881$ACF26B74-D6FC-4F59-97E7-D9CBBED7EA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369881$A47E58FF-C1F0-45B8-872F-52B3432BD2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369881$84703876-A09B-4421-B71B-D7AE2737022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cca389a90dbe7faf7b556213064c979f9f73d70","datavalue":{"value":"polynomial-time translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369881$A7B49535-85EE-4D8C-ADF4-C901B9AE9B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369881$2DD94D92-C6F8-40C1-BBC1-A12FB050811F","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":"Q4369881$81675E56-CC9C-4944-BCD8-2C83A4B316FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"174548e61b40167b72e3a1f1301ca5f54c3ddc40","datavalue":{"value":"https://doi.org/10.1145/210332.210334","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369881$8786D93C-0375-4FD9-93DF-760261F5F998","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e1b02e650aef66dcbfa52b78f72b4cc2576c3a3","datavalue":{"value":"W1987903153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369881$E22652FF-7A1A-4834-88DA-8B1E1A518C7F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f625fbb8c59ef6ddc979d5fc58426d168f578fab","datavalue":{"value":"Q29010491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369881$CFEE6139-12C5-408A-B53F-0317170F9408","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f963fe749ac06c528f1e8200a06375ad801786f3","datavalue":{"value":{"entity-type":"item","numeric-id":2676564,"id":"Q2676564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55eacc29af2c9e0556ead579c8a2dda641b66fd3","datavalue":{"value":{"amount":"+0.8799851536750793","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":"Q4369881$064716CC-8367-414F-B707-D803EFF8F5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6d3e60c0e22ad42a176513ef85529f0431c3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41858d99e75428c11a14ad5b7ea29e206ddb3af4","datavalue":{"value":{"amount":"+0.8249794840812683","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":"Q4369881$5A1E3720-6E41-4375-BF39-C54E1AC4F612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfe5ec25bffe37f8098088847edcdff03cb8270","datavalue":{"value":{"entity-type":"item","numeric-id":3486549,"id":"Q3486549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8139d82b9d2dc82abdec0e277e593e974d5fca1a","datavalue":{"value":{"amount":"+0.81838059425354","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":"Q4369881$637B9C02-C5AF-4455-8603-CAE234D3F2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516386b8ccdcc6e33cf41e9fa1f8e11ad8f3192d","datavalue":{"value":{"entity-type":"item","numeric-id":1978031,"id":"Q1978031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad5460ea2b4af0729effdca4175de3955c085fa","datavalue":{"value":{"amount":"+0.8086170554161072","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":"Q4369881$3A569451-F2B8-4597-8B9C-959B10F06DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94912fa9821b0d807c1777d0fb681941d273507f","datavalue":{"value":{"entity-type":"item","numeric-id":4246971,"id":"Q4246971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80846179518cd84fec95b17f900ce838f2fa49d3","datavalue":{"value":{"amount":"+0.793572723865509","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":"Q4369881$20C2693B-1E8D-4DB2-8EAA-D06775D2ACE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369881"}}}}}