{"entities":{"Q2454638":{"pageid":2465381,"ns":120,"title":"Item:Q2454638","lastrevid":44111991,"modified":"2025-11-20T01:59:38Z","type":"item","id":"Q2454638","labels":{"en":{"language":"en","value":"Consistency defaults"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201185"}},"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":"Q2454638$5A7DC3DF-4DCE-454D-AACD-8F7FF629E7FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"362c830311c2bb51465c9702519848b01b276ccc","datavalue":{"value":{"text":"Consistency defaults","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2454638$4ADB2DEC-DC1E-4CB8-BE99-0B1D2C5138A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15850376c1bb63748cbb92d090e67c732bc2bcdd","datavalue":{"value":"1125.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454638$1C943C23-8A2A-431C-BCBA-BFC0A8E33AD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0e56c25c2b7d0d8276bcdd33dabb0c16cbbccd","datavalue":{"value":{"entity-type":"item","numeric-id":202172,"id":"Q202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$93B4149D-8781-4CB3-A1BA-144A5D7918E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$BDBEE5CA-221E-42CE-9E69-983CAC66EAE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41faf85262d85541a3bc283a1258879c7bb1c098","datavalue":{"value":{"time":"+2007-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2454638$A850719A-2956-472C-ADAA-0D87D3CB9C47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad287a42d710bea18ebe73fe4f7e678fc640203f","datavalue":{"value":"The author introduces an alternative notation for presenting Reiter-style default logics. As in the case of cumulative default logics, the essential idea is to enrich the basic objects of the logic. Rather than being just propositional formulae, they are ordered pairs of propositional formulae; the first item of each pair records the assertion being made, and the second records additional material that one may wish to refer to in consistency checks. With this notational apparatus, the author is able to give a smooth recursive definition (as well as the usual fixpoint one) of the notion of an extension in a semi-normal Reiter default logic. A small tweak does the same for the variant `justified' systems of \u0141ukaszewicz, still for the semi-normal case.   Reviewer's comment: Readers may wish to compare this construction with that of the reviewer in [Bridges from classical to nonmonotonic logic. London: King's College Publications (2005; Zbl 1084.03001)]. There, a straightforward recursive definition is provided for the extensions of all default logics, even when they are not semi-normal. This is done without modifying the standard ontology (the basic objects remain propositional formulae, and default rules remain as ordered triples of formulae).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454638$D7BE196A-722C-4DF7-84FE-A8F9BDBA0B9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$C6812481-94BF-423F-AF43-7A4723AE84B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454638$C0A30E30-C872-475D-B153-8A705426F95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454638$E7BE0515-3DFB-430C-8898-0ADECEC3D7F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"305ce5ec615315e71855dcdb229995aabdbe0c6b","datavalue":{"value":"5201185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454638$C4AC8776-30DC-4172-8C5C-711F6BED54BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e854c5faeb59a78ce9a8e88a9ff0abfcbb42d5eb","datavalue":{"value":"default logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454638$554E161A-28E6-41A2-9DA5-5306DAFF465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"989f932e4316ded0201080f7c6d487fd44201239","datavalue":{"value":"default rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454638$07968C35-2994-4FE2-AFD1-D58ACD2971C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454638$7A945862-35F5-4791-88A5-7BE5FC4DA7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2454638$BD11BBB8-DA17-4966-85DB-D00B757D8924","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":"Q2454638$5B4C3ED8-D2A4-4857-95E6-1EE9996BEA7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"206f8b4ffb51005f73feafbf17e0fb5a6af9d8e6","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9047-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2454638$8BFC7DF8-BD59-4E39-BB51-3DB8D9BE78AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3ccdb90f8c677cb7f1038a8cbd6d16ee85245ea","datavalue":{"value":"W3191655765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454638$7E785298-632C-4903-B6F4-666A0C117D62","rank":"normal"}],"P223":[{"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":"Q2454638$EA774DE8-5414-49C0-A0F4-CDE470889240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967ad02dc12dd305038911ec9cd0d2f944eb06ee","datavalue":{"value":{"entity-type":"item","numeric-id":4837944,"id":"Q4837944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$E1FA818B-1CB1-4016-881D-72E61BF8F722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f517f93e41f1b83fc185c6676d8edd046e7ca0a","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$01DA9452-8464-45DC-BFB1-0D1909B4B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bd0d661c6f87c4eba3d55a7217fe1c254772e6","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$4D3D5C78-ADD1-4E96-943F-D826719A8123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a577e0da01ec1adc44266e1d896fae0d9ab7207","datavalue":{"value":{"entity-type":"item","numeric-id":3107917,"id":"Q3107917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$9AFE51A6-3B4F-46EE-8201-C67704CFFBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddac4fcfdd35296ca9629e09360867754f55098","datavalue":{"value":{"entity-type":"item","numeric-id":1321059,"id":"Q1321059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$446582D5-1AE5-46CE-9B00-F5CB78AF40BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d97350253df6485906c2b23a8d941473677b97","datavalue":{"value":{"entity-type":"item","numeric-id":4208854,"id":"Q4208854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$9151715D-0366-443F-BA82-4749A2DA3FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$6349E9B0-7F5F-4436-94DB-3B7909E6D71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0b00855da30a6d7e89cd7774ca12a540beed69","datavalue":{"value":{"entity-type":"item","numeric-id":4659508,"id":"Q4659508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$FE389FB9-E5B5-47CA-BF41-B8A7D21A00F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2a2e1ee7d928d5814d6485249a214dc2438187","datavalue":{"value":{"entity-type":"item","numeric-id":4236365,"id":"Q4236365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$5B4910B7-A531-4CB1-A90F-B31D13726168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c06297e98480613044b815244944c7dfd7a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4881435,"id":"Q4881435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2454638$BE0D737C-4A7C-4DF5-A27E-141E8F2D8DC1","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":"Q2454638$0E1510C2-C2E1-4CEC-A218-8B4EC86C206A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e5085b3be0722cf5346b031b5fadaf581063095","datavalue":{"value":"10.1007/S11225-007-9047-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2454638$CE7B1F1A-CA9C-451B-8C1A-F3F0D405C4A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19bc59e5eb00d789a3e9cc6b2a69c6a680ee1791","datavalue":{"value":{"entity-type":"item","numeric-id":4244306,"id":"Q4244306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e7a69d847ce912a10b30aec3ac5b451f369091","datavalue":{"value":{"amount":"+0.8523153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$9A915775-3AE8-4A8B-9211-7FC334010BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860e74d30220d7474d2597d5de97a4ca67fe7eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1333373,"id":"Q1333373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9094808c2c33b404d9aad3e59d03a8e7b910fc81","datavalue":{"value":{"amount":"+0.832919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$A4145462-B2BA-4504-AB54-6E6A939ABF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec8868cdfbc273572e39eb223c92a70bdb0a2a9","datavalue":{"value":{"entity-type":"item","numeric-id":4934643,"id":"Q4934643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9917715f4b0f1fb64ec8924ba5e5d2f753c5833d","datavalue":{"value":{"amount":"+0.8302668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$C039A3EA-1F25-42F4-B2DA-7D3CFC642DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d99df48dee7d126d860bf95ea2825601ab8c4b3e","datavalue":{"value":{"entity-type":"item","numeric-id":1306758,"id":"Q1306758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbaeb64b0edd95eb14447d8c33d2ed682ab05c10","datavalue":{"value":{"amount":"+0.82973707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$9FFEE3CA-61F9-42FD-B4A3-334D921295A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c16c3321b34337bdae801cc87765e8b09bcb10","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f14191ebecdf77f4e3cd7b91fe1f902badfc3d5","datavalue":{"value":{"amount":"+0.82847077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$FA5D5EAA-1EAF-444A-B53F-4AA94B8E022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48304f271296f21f2630eb4a4ea6fe0b76bb92cc","datavalue":{"value":{"entity-type":"item","numeric-id":4868235,"id":"Q4868235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae2c90f3c5b35f95fb1021ca6fd1a7c0354cb79","datavalue":{"value":{"amount":"+0.8256015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$63C8CB75-6081-4F00-8D72-8E90D4D0280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efdfb2904246ece617e3a48af66dfea488493a0","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fa30b7cd1dcd3fcce9f9a199371bb6082a3bf2","datavalue":{"value":{"amount":"+0.8245444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$721635EB-DD87-407C-9799-25C59CC7EBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5734a02da8b95995e48ba33dc5dca9a70e231fab","datavalue":{"value":{"entity-type":"item","numeric-id":4943322,"id":"Q4943322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da68c3b0ad71ef45c3dfbf0b2e7d35f8ba520f22","datavalue":{"value":{"amount":"+0.8201488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$FFB1F443-035D-4107-9902-52BD4A8577A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630081984f153410efb45d64c798c8ec5842e90b","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e4ff371b826aefcb75f575c3b59b0b1a6658ff","datavalue":{"value":{"amount":"+0.8127285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$F0ACB897-AAC8-41A6-9A75-4F935C042644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34f2bcfcafdfe9b532df9a8d4aff0e9a98e7cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1589575,"id":"Q1589575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623da59a0257e460ec34ac929251e2d56e7ddcaf","datavalue":{"value":{"amount":"+0.8120485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2454638$4721A97B-5971-4EFE-9A91-067CC71718BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2454638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2454638"}}}}}