{"entities":{"Q2946576":{"pageid":2957296,"ns":120,"title":"Item:Q2946576","lastrevid":58082982,"modified":"2026-04-03T17:53:16Z","type":"item","id":"Q2946576","labels":{"en":{"language":"en","value":"Analytic tableaux calculi for KLM logics of nonmonotonic reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483085"}},"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":"Q2946576$84539459-A9DD-4031-89ED-46CEC96FE488","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8207e5902858665a7b1e257181921b2b041dbb8a","datavalue":{"value":{"text":"Analytic tableaux calculi for KLM logics of nonmonotonic reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946576$A7B66AD8-1533-4781-9EC3-CA6675BDED01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6089970244dcff5ae95b0b8f0279b49061840703","datavalue":{"value":"1351.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$6D419C8F-FFC3-4D2D-9E28-0F6898D574B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7155594df94d089fd52c72474c81ec81bd5bfb3","datavalue":{"value":"10.1145/1507244.1507248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$00D1C5FC-F65B-4C81-8A2F-316F80380AFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946576$28FB6D7D-22FA-4279-95FA-A8D92DA75F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946576$2B14DF7A-B2A4-48CA-910A-930CB981918F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbec35a2e96f9d13a1123f98a466a76ce9d01080","datavalue":{"value":{"entity-type":"item","numeric-id":1602961,"id":"Q1602961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946576$DADFFC26-A96D-4BB9-A171-35BA75AECCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946576$B75E41D3-C5F1-449B-BC11-9503D8F2CC11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946576$377F4FC4-BCBD-4984-96C1-0B7ECA0AA76E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946576$D7744D03-AC34-421D-811E-B4F5B15F7BF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4362e03b6346deddcca869fa738cf860cd49a2ab","datavalue":{"value":"https://arxiv.org/abs/cs/0611046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946576$EFC5E16C-A460-43B6-BC5F-5AE1055B1613","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$5B9C5A9F-5916-4C0A-AD41-609AF04891D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$BB188A2F-7C23-4BB0-872B-87AF98690E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$FC228409-B9D0-4DF2-A78E-6D7FF6CBA319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$DFA1B1AB-9467-4FAA-AAAD-3BD7B4E095F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$C3863947-31D9-43F9-A155-B38EB2BC5212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a2a0c029f764a377a37761401da60f950f1c39","datavalue":{"value":"6483085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$1333B3DB-EC95-4468-9E98-0BC7174042DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c616966e7074c002c107a401170dcef963bee35","datavalue":{"value":"analytic tableaux calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946576$0C43D3D5-ED8F-4D88-AA9D-0C2A7C9CEAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946576$029E4E84-A2A5-4357-9458-94D7EB94AA04","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b82cd384355ce96df5378e32519054d7ef5cdd4","datavalue":{"value":"Q58207613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$C22B63CD-C57A-4CF1-96D9-454D1D571EF2","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":"Q2946576$21BB00AB-F1D6-4892-8969-BA567A4910EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d9f22d4d17661e99f3bac2506fc3e714210bf8e","datavalue":{"value":"W2132059708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946576$2799A3D4-05CC-4069-A65F-1AC4985E3001","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"115b205244224f3ec37dbdbe85dd593619c95850","datavalue":{"value":{"entity-type":"item","numeric-id":5387873,"id":"Q5387873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab48eb9a5690d553c3990224b0fc87adfa04e0a","datavalue":{"value":{"amount":"+0.9013826847076416","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":"Q2946576$70A351DF-DB7E-4BE4-AB88-ABB49B755F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48584ab1291bbd1c455c798e304f7a9e306b9f0","datavalue":{"value":{"entity-type":"item","numeric-id":3533131,"id":"Q3533131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9abcc1a33bffd915db83dc711c026b54bc2faa0","datavalue":{"value":{"amount":"+0.8768695592880249","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":"Q2946576$1985C59F-52A6-4902-963D-1530441F0345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5effd6306ddf204712b9671753107db3b7dbd0a7","datavalue":{"value":{"entity-type":"item","numeric-id":5235255,"id":"Q5235255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b293fd02c4f5a78e38f00986130365103a663b","datavalue":{"value":{"amount":"+0.8498781323432922","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":"Q2946576$B097BE5B-4391-4751-94AF-AE668B11F2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c3f572b6f09dd7c84ca727916e627e3fe09680","datavalue":{"value":{"entity-type":"item","numeric-id":4295875,"id":"Q4295875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d1db1272500dfbb462ef48dc59f6bda57ecdfe","datavalue":{"value":{"amount":"+0.8430920243263245","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":"Q2946576$205DFE1F-1561-4400-A7B0-72E84ADCF303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59edc5e7cc7e694b2bc1a97eec18a20fafcabaeb","datavalue":{"value":{"entity-type":"item","numeric-id":2721189,"id":"Q2721189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c86ca63e6b123dd6580904f105733b6868f741b","datavalue":{"value":{"amount":"+0.840490460395813","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":"Q2946576$DC459DB5-04BC-4562-B7F5-68047ABD107F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946576"}}}}}