{"entities":{"Q1115426":{"pageid":1126175,"ns":120,"title":"Item:Q1115426","lastrevid":66773790,"modified":"2026-04-12T12:46:19Z","type":"item","id":"Q1115426","labels":{"en":{"language":"en","value":"Fixed points in propositional nonmonotonic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085625"}},"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":"Q1115426$05570D29-A7D8-4720-9CAD-3D530BD50195","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad2f21ddb47ac8d244a3ad17467c305d3af03b9e","datavalue":{"value":{"text":"Fixed points in propositional nonmonotonic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115426$E1EDC155-0089-4E69-828A-048DEEA52FFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe8bc82be0de884eee6342ff009d0c08cf86d43d","datavalue":{"value":"0664.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115426$96E809E5-8A54-4F08-ACC6-902DC6016E1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bd911fb464677916cd36d37bbe33dbe9a377a23","datavalue":{"value":"10.1016/0004-3702(89)90057-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115426$AEFBA8E3-7FDE-4F25-A29C-EF12807AFF61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"541fd3daca523fe46b69b534966aa2c84b67f681","datavalue":{"value":{"entity-type":"item","numeric-id":1115425,"id":"Q1115425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115426$BC9E0666-6DF7-420A-BBF5-3B86136B5AD0","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":"Q1115426$A357BFF1-9E4F-4785-844F-D1EF4E908D4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1115426$6BF38529-EC8C-43A6-99D7-24069762DA51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4da74c266045f2a6fb4f40a9afd4b7cf9fb156b","datavalue":{"value":"An explicit description of fixed points for propositional theories in the nonmonotonic logic introduced by \\textit{D. McDermott} and \\textit{J. Doyle} [ibid. 13, 41-72 (1980; Zbl 0435.68074)] is given. Some preliminary results concerning the admissibility of a certain set of formulas are presented. From previously proved results, the convergence of the sequence \\((NM^ i_ A(B))\\) to the unique fixed point of \\(NM_ A\\) containing B is derived, when B is admissible for A. As a consequence, in Corollary 1.7, it is pointed out that the claim concerning the accessibility of the fixed point of \\(NM_ A\\) in case \\(NM_ A\\) has a unique fixed point, asserted by McDermott and Doyle, is not true.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115426$7CDD3FF9-8CA3-47C3-A351-BABD06458995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115426$A62E792C-5C6E-437A-8CC1-54D6D582E660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115426$C0423A34-8A8C-41B4-90EA-50E3376B6C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115426$69898729-29E0-458F-8078-BCB741AB7007","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aecaa4effe8d1c0580c4b298e642e47e2db5983b","datavalue":{"value":"4085625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115426$BDF316BD-7F11-4225-941D-2FD35FB00A89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115426$FEC20EB1-2775-47CB-8581-9E1FB5346D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115426$D2E2674F-BB9A-4BF3-8B54-4442B19D1018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115426$A7B0E99A-750D-4DB5-9535-CC2DBE6C88D7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00dcf12b9a602d9c5eb5566a233851af0f0ed4fd","datavalue":{"value":{"entity-type":"item","numeric-id":469832,"id":"Q469832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115426$D7165960-7196-4637-93D9-122BF8BC9CD7","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":"Q1115426$975F7CCB-6A8C-4A03-B61C-A2DBA27F818A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115426$627B3DA4-95C2-4BA3-B60C-5FBBC01CD25B","rank":"normal"},{"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":"Q1115426$8AAF9603-9656-4A7C-B02E-9576EF084202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0aa6b7ea721bc28d3277d56a17c251e88360c1","datavalue":{"value":{"entity-type":"item","numeric-id":5749280,"id":"Q5749280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9105cac14c870aba842f490afe1517d4fe5260fb","datavalue":{"value":{"amount":"+0.8331366777420044","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":"Q1115426$DA3BE2A3-FF02-4B13-8A19-77CABC2F339B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ca0ef4cbe49c4d8ac5dabe153ebfbc49e16b14","datavalue":{"value":{"entity-type":"item","numeric-id":4281697,"id":"Q4281697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff46aa62aaa54ffd2f0529a14c9a8df2a147ace9","datavalue":{"value":{"amount":"+0.7912179231643677","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":"Q1115426$770AF291-5538-4F36-A5B3-4E6CD7AA55D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0002ca78cc4f99bc914fc26037672be306e24cf","datavalue":{"value":{"entity-type":"item","numeric-id":5096193,"id":"Q5096193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff46aa62aaa54ffd2f0529a14c9a8df2a147ace9","datavalue":{"value":{"amount":"+0.7912179231643677","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":"Q1115426$BC3E9172-E5B1-48C7-9F7B-A4BDCB32B111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc430af3819509f8af41df6940546adb4b9d9959","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b858f06b5eeb0738b29f57c1bd5b566950ecb9a5","datavalue":{"value":{"amount":"+0.7829956412315369","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":"Q1115426$1C9143AB-67A6-4EF4-9108-20A5D74718EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52128a4ff9df8ad00c67ec7b2a15fe86cfaa41a","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95278af2993551113d8583f13eb2e149989e8ac1","datavalue":{"value":{"amount":"+0.7639511823654175","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":"Q1115426$EB34EAAC-23E0-4783-A3D8-8C978B5C811E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed points in propositional nonmonotonic logic","badges":[]}}}}}