{"entities":{"Q1104771":{"pageid":1115520,"ns":120,"title":"Item:Q1104771","lastrevid":70098279,"modified":"2026-04-13T12:25:38Z","type":"item","id":"Q1104771","labels":{"en":{"language":"en","value":"On the relation between default and autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057046"}},"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":"Q1104771$2761299B-E2D2-4742-80C5-B93815E6AA82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ffe838c18fda9967ac477e4f4abf9a26d88c973","datavalue":{"value":{"text":"On the relation between default and autoepistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104771$E516A494-57DC-4E77-84CE-51948C6FCE55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfa647f402aae34ef6bf3d929063bfefdb02d4f5","datavalue":{"value":"0647.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104771$D488E8D2-E65A-48C7-BEC3-516B2ADDA7DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30ff6f81d068547ab25bf9d8bc7e7acee710f1d2","datavalue":{"value":"10.1016/0004-3702(88)90021-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104771$56C59DE0-6256-4106-B867-FC50273D4B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8060bce394f425370d9848620da0d4934d02206b","datavalue":{"value":{"entity-type":"item","numeric-id":989165,"id":"Q989165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$9B1DE7F5-6E64-4F67-B245-5F15905E16F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$7B888759-1C33-40DE-8668-EE949BD18CD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1104771$7B3DD9F5-D199-4B18-B84C-5421AAF23001","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2393c01df75595314c842c9ea1012c448eab5f1","datavalue":{"value":"Default reasoning is defined within the theory of the knowledge base itself with the indexial (modal) operator L (``is a part of the theory''). An interpretive possible world semantics for default logic is given. This is a way to show that with respect to their expressive power default theories can be embedded into autoepistemic logic and that the reverse translation is also possible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104771$C0FAB454-4B10-49FC-BCAB-8C0E4B7C2DA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104771$C2DE5D7E-003E-4F5C-801B-C117A1BB41A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104771$8DC26573-CF15-4204-8A16-9BCB23B573D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"215d06ac73a0a302c98f6df8ae0cfb7f70de355b","datavalue":{"value":"4057046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104771$EC100B72-77B2-4F72-9B25-EF79A3FB3D12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104771$DE8D66DB-41BA-4953-AE74-746E2E5F06BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2735b86756085b652641d8039aca33eecbef89e","datavalue":{"value":"formal equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104771$5A4BEDD5-A702-4923-8D0E-62D1AF545B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6620b9d2d5f225fe0281ec27f362be5236428a94","datavalue":{"value":"Default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104771$DC026219-5D2F-421F-AB5B-3E9833D30135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104771$B2179FAE-5D1B-4168-86BA-F0D01FD33398","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$E502CF8E-F51D-4A8B-8B44-36C09754250A","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":"Q1104771$799E2C48-E686-48A1-9D6F-7ADD13DBDDBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afdc333c830ec3cba2542f3295ce9a6e01b858ab","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90021-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104771$204BC423-DE22-4AFD-84AD-38FF83B6E564","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14e2225264de4041a2264582fdbc6c77a2ad4b21","datavalue":{"value":"W2067326626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104771$CF162B95-6E21-4DF4-839C-2233629541F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$5C030730-9B07-4A49-9862-FD21DB5C7437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$839380F1-FBD1-4C46-AB04-55221C57577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c22873c5fa1d0425919b1a3196c15c1d8b2833","datavalue":{"value":{"entity-type":"item","numeric-id":1228476,"id":"Q1228476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$5152AF41-75FE-4F57-BE92-2CC2B3985AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e7a1590207902f6cb021ac8a30f369b885a498","datavalue":{"value":{"entity-type":"item","numeric-id":1117211,"id":"Q1117211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$4CA5852E-B144-4B50-A82F-4146D97FE24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd30a691b9386bba551315548061d59bf2f45079","datavalue":{"value":{"entity-type":"item","numeric-id":3826524,"id":"Q3826524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$528F0F3C-C6CD-464C-BB12-4F0EB1088B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$8A378002-18CC-47B2-BF96-45B394F23BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$C068B839-B478-4AE6-968D-3E2141016CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$DEDC2F7E-2E89-4702-BDB4-DB0393F0C552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f4ac2c4d2314fae83403dbcb7eab5f78434cd","datavalue":{"value":{"entity-type":"item","numeric-id":3864488,"id":"Q3864488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$EA7444E5-DE86-4FE1-BDCE-F369014DEE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6053278ad8ab4cca5aeee0e3f4904ae4bd51cb89","datavalue":{"value":{"entity-type":"item","numeric-id":3992826,"id":"Q3992826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104771$ECF5DCF8-D733-43C6-8C88-E9BC2B8F91CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6945a772512d668c0112f02db9ce9382d2d4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1853682,"id":"Q1853682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1789dd1205503b4a3de4c0396468ac448b7c7861","datavalue":{"value":{"amount":"+0.8618847131729126","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":"Q1104771$B55D88B6-652F-4580-AD2E-1BC299C72D1A","rank":"normal"},{"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":"1e401777c227baf4b9e23cfa2ab6cc8e18c64369","datavalue":{"value":{"amount":"+0.8597910404205322","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":"Q1104771$9A04D9C0-9C84-4F2B-B881-C18D1F68A807","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":"ecf5168b0f6b920ffeb8031e2fa7d1ea4bf9781b","datavalue":{"value":{"amount":"+0.8434451222419739","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":"Q1104771$BCF982C1-E75E-44FF-9413-3358FC8ABEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a077b53bab16f56cd0cd93daa35c0886eed850b5","datavalue":{"value":{"entity-type":"item","numeric-id":4022225,"id":"Q4022225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8690119590a8103efbcb395b506815f79f7c4dc9","datavalue":{"value":{"amount":"+0.8338218331336975","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":"Q1104771$37B4869B-DF41-4655-B744-78F057B6FAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3fdca033ff942114bbb3290b94e47c10d1be889","datavalue":{"value":{"entity-type":"item","numeric-id":4369881,"id":"Q4369881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272017f259389a793609e998c9b2d2798de1e3cf","datavalue":{"value":{"amount":"+0.8336463570594788","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":"Q1104771$468E9720-E65A-42E9-ADCC-10A887AC3BC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relation between default and autoepistemic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_relation_between_default_and_autoepistemic_logic"}}}}}