{"entities":{"Q4302860":{"pageid":6332461,"ns":120,"title":"Item:Q4302860","lastrevid":47265124,"modified":"2026-01-01T04:23:16Z","type":"item","id":"Q4302860","labels":{"en":{"language":"en","value":"Nonmonotonic default modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622340"}},"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":"Q4302860$F5FAE74A-1CE8-402B-B557-739AD4EF2BA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2624564b95dfaef9219ccb06655e6b9ef4ea86ec","datavalue":{"value":{"text":"Nonmonotonic default modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302860$EF07707A-2934-4252-9436-BD91F00A9C63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6297a455145fb0b190857a07869c2ec0144841a2","datavalue":{"value":"0799.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302860$209EE99A-C900-41FA-911C-A1650B7ED42C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98f95e2a513f81fd4acbef76e378fffe187e8aed","datavalue":{"value":"10.1145/115234.115350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302860$88A57160-3B20-4014-8383-7EF54E30F905","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32adfa54afa6514262dc1c8c78f6dcb5f5dd38ef","datavalue":{"value":{"entity-type":"item","numeric-id":1822936,"id":"Q1822936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302860$0E541AC1-B9C0-447B-9783-716838DAB414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302860$2C1DFEE8-8886-4FFC-A012-5A2F79D1EBAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302860$2A89C3A2-ACFB-4E7E-AC37-CFF47157907D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83b85ded45bcd964fa18adf073d88c5a52b60391","datavalue":{"value":{"time":"+1994-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302860$632134D2-8D72-4008-A4C5-FDDCED12F97B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302860$8827EA10-F22D-4AEB-A907-4553B6C029C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302860$C1267ECA-40BC-473D-9A28-41879135B38B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e80e65eaeb8f3f6fc4c1392a6d97f0def78cf60f","datavalue":{"value":"622340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302860$AF83725D-28E7-47BD-94F7-D0E35795E564","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302860$4412D238-EB84-4C5F-9EDB-75705F40639F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302860$C3CC4A15-8F6A-47B9-81E6-16718BDDDC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734d7a74cfc5886c2177e95ba9abc7cb9a4ed76d","datavalue":{"value":"deduction theorem for modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302860$11C0A814-AE56-47C5-897B-EC00F7CF37F5","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":"Q4302860$AAD45E9C-26D0-46C9-B9B7-2E15EA69C969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fab8249e5c00c3cdb4841c52588747c7ec2cec07","datavalue":{"value":"https://doi.org/10.1145/115234.115350","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302860$56A8AF44-3A8A-4FA6-B30A-E72AEA9D3226","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fe47d8921a22b8958416e122155e0ec0e36b0d3","datavalue":{"value":"W2043426101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302860$7A8FBED3-B510-4CA8-8219-DC8980F7A449","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdfd29698fb234778ba37516c09f58dcc1a7ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1924826,"id":"Q1924826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534a464606e735988ba271ea702232949a697255","datavalue":{"value":{"amount":"+0.8531591296195984","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":"Q4302860$FB1C25D7-0403-4849-BD57-A06FB9424315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693741804b6cae617701183f8a76734f1186a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":3123861,"id":"Q3123861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc44f21a69034542a23f7c52db1a4dd4e48c381","datavalue":{"value":{"amount":"+0.8484433889389038","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":"Q4302860$64546E44-F3EE-4051-A60D-5FDAAE1F1B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2523cf6e180868007faba7076733a7d68211db2","datavalue":{"value":{"entity-type":"item","numeric-id":4012232,"id":"Q4012232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39a2493b4f6a2aab7da4c671b2ab2586c4b5bba","datavalue":{"value":{"amount":"+0.8281806111335754","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":"Q4302860$7553BE07-B028-44DF-8DEA-D5AB91E02A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3348d95c312c8de3b3b1a692fb71579eddd974bc","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39a2493b4f6a2aab7da4c671b2ab2586c4b5bba","datavalue":{"value":{"amount":"+0.8281806111335754","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":"Q4302860$6AF86F2B-8720-4AC7-B8E4-232884A2016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6246f64c1d8babd4fe6c3f44a7dd4139cc40d6","datavalue":{"value":{"entity-type":"item","numeric-id":3138702,"id":"Q3138702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"021dee60193c68a6bb72cf39fea490699a1678bd","datavalue":{"value":{"amount":"+0.8270662426948547","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":"Q4302860$343B471D-A562-4954-B465-719055E87C1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302860"}}}}}