{"entities":{"Q1587335":{"pageid":1598075,"ns":120,"title":"Item:Q1587335","lastrevid":72258198,"modified":"2026-04-14T03:41:46Z","type":"item","id":"Q1587335","labels":{"en":{"language":"en","value":"Default reasoning and belief revision: A syntax-independent approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1533044"}},"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":"Q1587335$171DB3C8-C3EA-464B-B95A-71265E386160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec93c006ac0b5b50c1a631e02a72cf1fd4c6e406","datavalue":{"value":{"text":"Default reasoning and belief revision: A syntax-independent approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1587335$0B031867-5375-4AF1-B21B-6DC4D5FE4B7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb3e28c51d78d469f1da7943701709da788cd7a3","datavalue":{"value":"0964.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$EDBF5618-DD04-492F-BE59-0404EE48F888","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48ff1c939f0280b28b53d3747c716675109ed120","datavalue":{"value":"10.1007/BF02950406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$9235D05C-A618-4C05-AC02-77C2F6764D36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4932014dfef1f5b63b3c54cf943bfa1796239d0d","datavalue":{"value":{"entity-type":"item","numeric-id":237991,"id":"Q237991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$221DCDD5-8238-4B2B-89DA-62179E238EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4be8fded4291293daca5bd8efde8f75c572ac3a9","datavalue":{"value":{"entity-type":"item","numeric-id":1968588,"id":"Q1968588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$5876173B-2CAB-4923-A798-5AFD49BACC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bf2682da4ce3f31ff992a6497ed56e8c1a6144a","datavalue":{"value":{"entity-type":"item","numeric-id":1403007,"id":"Q1403007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$460BFAF4-31B1-47FB-9428-5623936D88A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$E03CCBD4-9696-400B-8C76-312FBCBCCDBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cd8aece8f0bf62b09701fb665c60eddb0915aa4","datavalue":{"value":{"time":"+2001-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1587335$7C216D7D-EAB6-470A-AB53-BBADABE78049","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4635de8a0772aece441b0827f0f09da377bae69f","datavalue":{"value":"The aim of this paper is to extend \\textit{B. Nebel}'s results [in: J. Allen et al. (eds.), Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Morgan Kaufmann, 417-428 (1991; Zbl 0765.68198)] in order to obtain direct and general connections between default reasoning and belief revision. The authors propose a framework for default reasoning and prove that the syntax-independent default reasoning corresponds to the general belief revision introduced by \\textit{Zhang Dongmo} [J. Comput. Sci. Technol. 11, No. 2, 108-125 (1996)]. They also give an answer to the question whether there is a counterpart of contraction in nonmonotonic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587335$132ED483-FA66-4135-B899-6F3B69970A3F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4764fa0cd49fe833a9ead0ffbcd3b01195518cc5","datavalue":{"value":{"entity-type":"item","numeric-id":585672,"id":"Q585672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$B8C9C0EF-4BC2-4D3B-9F4F-690C28FEFAF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$7BBDB523-804F-4B81-9B35-7F171D6C2BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$FA63486C-765E-44C2-A772-B64E79FDBE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$87DE41A5-F9DE-460F-9946-ADBE736F2499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$ABA75AEE-D3E2-4FAC-A33D-0F20EFBD3814","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737c18b61da3522fce6d3e76e9e33bfa9f19e7b2","datavalue":{"value":"1533044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$EF820E4E-03EB-4601-AEA0-A6B271353D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587335$3BCEF0CE-F85B-416A-9B01-A4C55CFB6B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587335$4D24C143-7691-4575-855E-D632CDA8FBF9","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":"Q1587335$7301D101-AE07-42F8-9250-5EC498791579","rank":"normal"}],"P223":[{"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":"Q1587335$2ED87F68-B388-49CB-A019-BBE8B28D383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cac6a921efbb3cb021e925435d3b509946db538","datavalue":{"value":{"entity-type":"item","numeric-id":3198878,"id":"Q3198878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$A5DD5EA4-BB7C-4EC9-85A3-DD04E2FE7A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e724dfd30072c517bda3ea5885b5018ea4eef23","datavalue":{"value":{"entity-type":"item","numeric-id":4028815,"id":"Q4028815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$068BCBF5-FB6B-4AFD-AAE2-238BEE51642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$E481D70A-D69F-49F6-999D-1AEEEE55D68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959918d086a1839ffd4bc321d527a6d8e658acbd","datavalue":{"value":{"entity-type":"item","numeric-id":4260401,"id":"Q4260401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$0C26648F-F11B-4925-A638-4C7EEBE46857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf4ec96201587f733f10f697a5d53aeac6bc24e","datavalue":{"value":{"entity-type":"item","numeric-id":4260400,"id":"Q4260400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$ACDD48E3-79B0-44C5-A1FB-DC6AC9E1AB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$508C066F-16AE-4516-8FA5-B74FEB315D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0216e5a9bf29271c71e32daba01395b31c649379","datavalue":{"value":{"entity-type":"item","numeric-id":5751985,"id":"Q5751985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$6B496929-9743-475D-80C8-B37A0AD9666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d324cb7c837e256e674728d08e98b9b9b93f890","datavalue":{"value":{"entity-type":"item","numeric-id":1330669,"id":"Q1330669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$11FAC56C-05FE-4994-A338-1E2FA2FD207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5816d7e13fa123e9f32fb85c266ff6f5b3f37d6f","datavalue":{"value":{"entity-type":"item","numeric-id":1321060,"id":"Q1321060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587335$EE7E3A2D-A5E3-4291-8951-6ED0CC01E490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"351396fd5db82a8908ca02f49c09c996941ea7f9","datavalue":{"value":"https://doi.org/10.1007/bf02950406","type":"string"},"datatype":"url"},"type":"statement","id":"Q1587335$A8DFB777-F7FD-4606-BA15-D7BD751F94B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a5cb84eb92557deb6bd2944a95d80bac2df026f","datavalue":{"value":"W2002183552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587335$63F341F7-235F-4AA9-9129-F5D85523821F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e908ca1a9f9195868a060cf875c6f1b3fa2cabe6","datavalue":{"value":{"entity-type":"item","numeric-id":4028815,"id":"Q4028815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189fb9f091100cbfc74fe33d19e0846494d53676","datavalue":{"value":{"amount":"+0.97636676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$7A8603B5-BB51-4988-AD6B-1BFEDD1CF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f87131e06389ae3d0c8a64dec0e2988f09ba411","datavalue":{"value":{"entity-type":"item","numeric-id":1330669,"id":"Q1330669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9e6457a6b6cf5ed90546853aeee279ac682861","datavalue":{"value":{"amount":"+0.9312035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$3D610EAD-A544-418B-8FAC-56553EB03128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c624f591574a7a4e5aec43bf8cd2fe1f301d04","datavalue":{"value":{"entity-type":"item","numeric-id":4471866,"id":"Q4471866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f45ce5f04651c6090a28b7e8a57331a52caff4a","datavalue":{"value":{"amount":"+0.912659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$F2E49F77-297D-4E13-B63F-530A2DE74FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f76c77b8a8717b90bb15c34da2a4eb7deff510","datavalue":{"value":{"entity-type":"item","numeric-id":4244308,"id":"Q4244308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494a6453a3c38675879bfdc3867e8fb8cddb739f","datavalue":{"value":{"amount":"+0.9025214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$4F1F61C7-94FB-48E3-A337-80BB47BE634E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6074a9c46a037e3cf1d7f59ebb053c67a35852a6","datavalue":{"value":{"entity-type":"item","numeric-id":3486881,"id":"Q3486881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748e35b2bd31d526645eee19a9e45e3cc5e6d17a","datavalue":{"value":{"amount":"+0.89871055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$5B55727D-7295-4C26-946F-5844F59559E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66a0f0926d4bc6725c9c31fa25dde630a9388dc","datavalue":{"value":{"entity-type":"item","numeric-id":4408526,"id":"Q4408526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfcda4b08f2a42c6d92cbb88f81dac0e174e365","datavalue":{"value":{"amount":"+0.89139265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$571684B4-F425-4E82-B19D-998882A2C1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb667193c6a8739fe7762449b9d253759186b692","datavalue":{"value":{"entity-type":"item","numeric-id":4332412,"id":"Q4332412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19548db007175bcba123c545beb6929261a70de","datavalue":{"value":{"amount":"+0.889137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$1D16A04B-293F-4193-91A7-136C68292BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5963ae705e341149d1cf3c6446ab8186d87cec71","datavalue":{"value":{"entity-type":"item","numeric-id":6097775,"id":"Q6097775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5644f717f894f60d988874484a7a03d5ccd44bc6","datavalue":{"value":{"amount":"+0.88730586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$30785564-71BE-429D-B8E2-BD5100000354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d73d174bf0c55bf19ccc268454e3712a3b6e7d96","datavalue":{"value":{"entity-type":"item","numeric-id":2284494,"id":"Q2284494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5eae439732b41f8ac1d1eece0225b54d573eff2","datavalue":{"value":{"amount":"+0.88686156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$BCAA8F9A-DF59-4D5B-A84D-2D4999BC6A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d97483e8552b6f8638dd34b877d93a2ab85bf0","datavalue":{"value":{"entity-type":"item","numeric-id":3128369,"id":"Q3128369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726c1c0ba1d854d08414ad1441fc0fa8bbb339ce","datavalue":{"value":{"amount":"+0.88664687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1587335$04A9E184-A3D5-4D0A-A43F-EBE285B1EBAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Default reasoning and belief revision: A syntax-independent approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Default_reasoning_and_belief_revision:_A_syntax-independent_approach"}}}}}