{"entities":{"Q4796462":{"pageid":6826042,"ns":120,"title":"Item:Q4796462","lastrevid":74653920,"modified":"2026-04-14T23:46:32Z","type":"item","id":"Q4796462","labels":{"en":{"language":"en","value":"Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876744"}},"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":"Q4796462$A4BFB05E-6208-4E04-BB28-86DD381B1F1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc629b7eb1815e6e1e8e664f3e92955a74d28a5d","datavalue":{"value":{"text":"Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796462$471FC664-6B56-45CE-BD6A-12840AD3DFBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c0ab96de659877e5d28e98b7d0829c4ac50dd05","datavalue":{"value":"1014.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$5B27E987-65CE-45FA-892C-72B721DA1599","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c949b19d08555b054c7652b0ed3bca5ac3b8690","datavalue":{"value":{"entity-type":"item","numeric-id":2721188,"id":"Q2721188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796462$640F4CFF-71E1-45DC-A9C4-1961A75971D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9099c93e5d8eae565b8b0a146169c547213291ce","datavalue":{"value":{"entity-type":"item","numeric-id":456712,"id":"Q456712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796462$74CE56D0-2556-48BD-B3E2-8D125778C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cdffd6c0744e647a7779de4c93dd295053ce3f5","datavalue":{"value":{"entity-type":"item","numeric-id":456718,"id":"Q456718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796462$C7B7FA8C-7584-4850-9E3A-B0AA2A31E14B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fe9aea4d373947219ef3ba7097fb8e571c4ef50","datavalue":{"value":{"time":"+2003-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796462$9BB56221-194C-48A6-A5CA-D9133D9F6FAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3bb8c0ebeda86af67616481efcc0caa83ec67a4","datavalue":{"value":"https://espace.library.uq.edu.au/view/UQ:9608/cumulative.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796462$C3D1B90C-1675-4DEC-9884-6DCFFB9DB2A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$F9C39FB1-703F-4E7C-86D1-8054175AA7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$B2C2D8F7-638E-4D75-9BA3-712469AB1FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$BCC60091-238A-4F38-B19A-DCF4C48075B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1abf8a4a11fdf57cfbab3140bf7f3d1fb9b15f3c","datavalue":{"value":"1876744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$951ECCE2-F2E0-41EB-8222-02DCB01084EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48cb1044edfaeee35ab7937bf32c62dc33a0e0b4","datavalue":{"value":"labelled proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796462$6C93E010-EE6F-4BD5-A1D1-9F8FD4E54F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5578fe533c3f66146b456aa7cd7f7a66814ae95","datavalue":{"value":"nonmonotonic consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796462$B28F85F9-700B-4CCE-BDF4-2D15C469372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796462$4091B51D-A082-46F1-B05F-D89C33A5C72F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796462$83C8AFB5-FDC4-4C82-BFAA-BC2D68B7AD9B","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":"Q4796462$BC51ECAE-F81A-47BD-A469-307E4693B8E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3aee7d4d4f41212baada423efd4ab98f203374e9","datavalue":{"value":"W2019701567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$71678706-AE7A-4A5D-8DC9-2431A34C82E7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"05b9a917557d9a3ac48ed76f31d4cb90124fe083","datavalue":{"value":"Q58177138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$48D3301F-5825-4DBA-A580-BA0137FF13B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8234e033eadf7f2397db21095d96ad05b289cc7","datavalue":{"value":"10.1093/LOGCOM/12.6.1027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796462$0E7743C7-64E8-4C71-80A3-82C38D129810","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796462$754DF3BE-426F-400A-9FA8-0CA370909BBA","rank":"normal"}],"P1643":[{"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":"be05714c3d40bd20e8fc9bf7e6abd743a354c6d0","datavalue":{"value":{"amount":"+0.9851741790771484","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":"Q4796462$56EBFC92-3A11-41BE-9CB2-92F0BE5B9EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fb6e42bbd5a706cb6c82783f385907544bd227","datavalue":{"value":{"entity-type":"item","numeric-id":2946576,"id":"Q2946576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e98e3f8fa1e17f6e8690c186d5e87def02c0b1","datavalue":{"value":{"amount":"+0.8062983751296997","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":"Q4796462$CD514130-E673-4DED-91D7-182F43DAA896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e08012bb86e23a573315dfcfd39277c87352c53","datavalue":{"value":{"entity-type":"item","numeric-id":4522333,"id":"Q4522333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51796a7b9afbf3f50f02934e901d266fb1a7b2cc","datavalue":{"value":{"amount":"+0.7871690988540649","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":"Q4796462$53D5AFBD-665E-4332-A9DB-657AD27564FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ed7c4a619cf5b0524d530c9e1de54dbabec7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3493328,"id":"Q3493328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51796a7b9afbf3f50f02934e901d266fb1a7b2cc","datavalue":{"value":{"amount":"+0.7871690988540649","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":"Q4796462$5E930E03-4AC6-4B6E-BF3F-3037D7F0F74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52128a4ff9df8ad00c67ec7b2a15fe86cfaa41a","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57f12c5edf7ef0f352e66d667dc2d7ececa4603","datavalue":{"value":{"amount":"+0.7756183743476868","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":"Q4796462$BF2E9E1F-B291-45F8-B1BD-E297B9564BD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_Tableaux_for_Nonmonotonic_Reasoning:_Cumulative_Consequence_Relations"}}}}}