{"entities":{"Q1589575":{"pageid":1600315,"ns":120,"title":"Item:Q1589575","lastrevid":67934124,"modified":"2026-04-12T20:19:58Z","type":"item","id":"Q1589575","labels":{"en":{"language":"en","value":"Alternative foundations for Reiter's default logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542349"}},"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":"Q1589575$A4D715CC-F805-4F1A-A7A6-E2EF52334111","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"357849abbe7ec0e054cf23c2d34e381a548f4c37","datavalue":{"value":{"text":"Alternative foundations for Reiter's default logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589575$D3A9B900-7E43-4D26-ACD2-040E2F2E9B8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fdcc7d000a911d96aad080f08c0d03b7ea4c1d5","datavalue":{"value":"0952.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589575$616BD18F-35D9-4239-86E6-0377993A709A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a19c1ca3313db5bab484afc5b4bd825c334e9f1","datavalue":{"value":"10.1016/S0004-3702(00)00060-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589575$E45A017D-E207-4568-BEA7-D7BD4D59940D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf6aab7095d39d984fc2a5217db9c2df3f258904","datavalue":{"value":{"entity-type":"item","numeric-id":1589574,"id":"Q1589574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$6B7FDFFB-3E7F-47FF-B4EF-DBE262808192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$B0F13353-1862-4494-9396-F05B358728DE","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":"Q1589575$B5EE3524-85D1-49E5-9DA3-04CCDB15A94A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1589575$92447F51-FA59-4463-99AE-69CE7BCB70DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"851f6300e6530ca82ad75d3bf5fdbd2dab71f7cb","datavalue":{"value":"We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from the necessity of exhaustive consistency checks with respect to the finally resulting set of conclusions; often this so-called extension is just about being constructed. On the theoretical side, this exhaustive approach is reflected by the usual fixed-point characterizations of extensions. Our goal is to reduce such global considerations to local and strictly necessary ones. For this purpose, we develop various techniques and instruments that draw on an analysis of interaction patterns between default rules, embodied by their mutual blocking behavior. These formal tools provide us with alternative means for addressing a variety of questions in default logic. We demonstrate the utility of our approach by applying it to three traditional problems. First, we obtain a range of criteria guaranteeing the existence and non-existence of extensions. Second, we get alternative characterizations of extensions that avoid fixed-point conditions. Finally, we furnish a formal account of default proofs that was up to now neglected in the literature.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$F053EDD6-E917-40F3-AF4C-E4D1C47351BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589575$670261AA-EA22-4A38-8B05-46DB073A58BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589575$D97506C5-36D9-4948-9CCB-F595C25E02C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81d7a0592828af37cf401a726bdba3048ef7e7fb","datavalue":{"value":"1542349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589575$70AD6296-3E7C-4E7F-ACD2-CFCFF3E55D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$A2DD5793-C81D-413D-A588-A64642533F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$CAFEC927-4FE5-45EE-B1E5-2DFB1DDD567B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$D18909B0-546D-45C5-B331-D1E4107A9483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$E4D2CDBB-04A6-4D11-88BE-3C410ED514CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$E1AD88D6-0588-4BA9-A96F-DCC37DC5D2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79aef9db8e0c683ce6cc529a2f7d1366a38210b6","datavalue":{"value":"block graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$3EF1B255-9581-42D5-90AE-8AA9A5CFB676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589575$3C45EA6F-C800-4C13-AF03-FC263DF6DA57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$A55C5874-BF41-4084-BBD9-3E438378646F","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":"Q1589575$1BEA6312-FF84-4EA3-A00B-A55AB13A768B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee21c9107ee4afe5ff335e3999b55e4f41a5a6ef","datavalue":{"value":{"entity-type":"item","numeric-id":4692931,"id":"Q4692931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$4005A625-F8B5-4EB5-846F-6BEAB038DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a9c8c71e8549a29f10660e53ad1430d49c223","datavalue":{"value":{"entity-type":"item","numeric-id":4645232,"id":"Q4645232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$178ED26F-88A1-4EF0-B831-2943F00393E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb843d808e9f4e4fd368e3dee0fd99015e905d26","datavalue":{"value":{"entity-type":"item","numeric-id":4610318,"id":"Q4610318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$5CBCBB4A-DAEB-43EA-8289-4DA75ABBE5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75687a9d57b90aa44242e7250a4a4120c25bcc68","datavalue":{"value":{"entity-type":"item","numeric-id":1402718,"id":"Q1402718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$C13DD784-8AC4-4634-8C2C-183E78DA33EF","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":"Q1589575$A0E743FC-823A-488C-83B7-01CF86BEC456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d126932c23f2747c307989c2cc79f3a310adc1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3995236,"id":"Q3995236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$B0398BC3-1EAB-47BC-B609-31574179A2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227958f7cad52f8064224bcdccbe29d58fdb6a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1391905,"id":"Q1391905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$CA059876-3B86-4D7A-BD55-110912F8D860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814d7f358f9540fd14785c9a38b122c4dd1402b","datavalue":{"value":{"entity-type":"item","numeric-id":5101456,"id":"Q5101456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$6ED2B511-6588-4C4C-8C08-18685D5D1D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ecc3de46a812895fded05ec316d187fabc7c77","datavalue":{"value":{"entity-type":"item","numeric-id":5236435,"id":"Q5236435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$380EE3B4-4C38-480D-9703-507BD2034F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$A637D761-5AF8-4B21-8725-F73C13258F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3f73b7f3d891d6fcfc7a3d5e39d6f056dbe4cc","datavalue":{"value":{"entity-type":"item","numeric-id":1402752,"id":"Q1402752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$4D4FC4E5-8EDB-41A7-8D1A-0307A83B8556","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":"Q1589575$4D5920B4-989C-49B3-855E-E024E7E332AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f14713baec790ed020926e0adf823183f93f61d","datavalue":{"value":{"entity-type":"item","numeric-id":1333271,"id":"Q1333271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$E03A606B-8CD9-495B-AFDB-31E761436668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80e8abc45e12e01678f8f11b7eb8faef6a0480c","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$AE7932B0-739B-4460-804A-69319E1BBAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d470e6c08c7d2bc40187c19447d3686ec0e28865","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$F2474761-8B3B-4B38-94A2-A1A78715EF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb0e3cb29da224412d3154c1b47cb8c0ad8c52a","datavalue":{"value":{"entity-type":"item","numeric-id":4018168,"id":"Q4018168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$F92D8FF0-6FBF-41B9-A878-0E9A47945F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$6F08D42E-EDF5-4A02-9E41-FF82ACAF4BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5793530ebdd1a4bf1b1d74bb4e1927346aa1e276","datavalue":{"value":{"entity-type":"item","numeric-id":4700098,"id":"Q4700098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$F95A4331-CE42-4DDB-82E8-E2B08F1FC39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae4aac970a732d93be7e5200537d2d253ee6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4246972,"id":"Q4246972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$AFE9E4F9-11D0-4F97-A0BC-F1F8BF1DB76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc3230dd71a3242f5a21cba838aa5708901da8c","datavalue":{"value":{"entity-type":"item","numeric-id":4955339,"id":"Q4955339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$9B00964A-4ACC-4C51-95B6-491229CF2B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5e87837189e35a898d6440a502052dbfef3ca9","datavalue":{"value":{"entity-type":"item","numeric-id":1589575,"id":"Q1589575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$C05947AE-083C-41CF-8A39-C3629F92141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$21378DA8-BBDE-4F0F-B9C3-96A33FDD293F","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":"Q1589575$F54BC8C4-1E8F-462B-AEA8-C6D37E7F8CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1d49409c8b07d07881a4c43600f2f99f1c45f9","datavalue":{"value":{"entity-type":"item","numeric-id":1337686,"id":"Q1337686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$8A88AF32-5A24-4DA0-B241-69B3F6DEE19E","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":"Q1589575$322A469F-DB06-4C9C-BCE0-CB4BF092591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9a2a8f0af76a8e59e5dcd24326111a1d57d402","datavalue":{"value":{"entity-type":"item","numeric-id":2651359,"id":"Q2651359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$CC338B50-B7EF-4C08-A327-B29FAC39FF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b708c439c098500da67d50fe581b317ca0afea","datavalue":{"value":{"entity-type":"item","numeric-id":4868235,"id":"Q4868235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$ECB7225E-7A46-4BE7-B0EF-111ED853AECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68efa9e5bd739d69f66fc6751c8ddb1542326e4","datavalue":{"value":{"entity-type":"item","numeric-id":1896370,"id":"Q1896370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$E97423E8-5F71-49FD-B746-AA78DEA8299A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd0b8489aba57d80e9eb153dfd238f15cfe905","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$4E3C14BF-37D1-432E-9988-79AB7C1F7C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6524b734d4fa4f07a623f7aefb56da9f040f87c8","datavalue":{"value":{"entity-type":"item","numeric-id":4713941,"id":"Q4713941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$1AA7B29F-EE7A-4B85-BF61-E627D5A47BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b422221addfbb270d3735cce320832b0f5617026","datavalue":{"value":{"entity-type":"item","numeric-id":6488558,"id":"Q6488558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589575$BED1B3B9-DB1D-44A7-89F2-BA8688103E9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe536fac8f89c7bc6e7eaacd35d789998e86655","datavalue":{"value":{"entity-type":"item","numeric-id":4955339,"id":"Q4955339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37f684b3bdbbaf24c3003bfa84d12e5466aaf6e","datavalue":{"value":{"amount":"+0.8394788503646851","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":"Q1589575$87DD27A7-934B-4433-B8EB-B4A41002499B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbe5e5f8c345235fd125d6327ce5ec3041d7549","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd2e01ec9d9e235b7c648bad041dd36a94718f0","datavalue":{"value":{"amount":"+0.8257977366447449","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":"Q1589575$DE6AFAA3-096D-470E-915A-10066B0F0FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1286009ac409412b7d6bd70b799e4c79c054f81","datavalue":{"value":{"entity-type":"item","numeric-id":4713941,"id":"Q4713941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7970a70f5ed0970e3ba14cda60a5b5d49d208954","datavalue":{"value":{"amount":"+0.8252931237220764","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":"Q1589575$F4DF2DA7-7BBB-4048-8C14-B9A794498B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba64328f3da153bdc283716be23ad38fe863e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb15a5dd913339621358725ef3c34055854898e8","datavalue":{"value":{"amount":"+0.8221562504768372","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":"Q1589575$CAF38BCC-6242-4229-8D3B-DAA917F2AC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3923092a80449c7d80f51d040b91bac200a1957d","datavalue":{"value":{"entity-type":"item","numeric-id":1292307,"id":"Q1292307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb15a5dd913339621358725ef3c34055854898e8","datavalue":{"value":{"amount":"+0.8221562504768372","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":"Q1589575$4469D68F-DAAB-405E-BB6E-32B83E2D9F1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternative foundations for Reiter's default logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternative_foundations_for_Reiter%27s_default_logic"}}}}}