{"entities":{"Q3455758":{"pageid":5235158,"ns":120,"title":"Item:Q3455758","lastrevid":80691161,"modified":"2026-05-06T16:46:52Z","type":"item","id":"Q3455758","labels":{"en":{"language":"en","value":"A propositional tableaux based proof calculus for reasoning with default rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519931"}},"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":"Q3455758$B3CA8C4A-2A6C-4E31-A98E-6DC13543F766","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c64eeadf2f0571cd143c5e713b70583a130eb588","datavalue":{"value":{"text":"A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455758$01FFA8A5-BE65-458A-8D99-4AD2B2F6FD90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93010d6016d217f0926c39345a968cfecf6a420d","datavalue":{"value":"1471.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455758$C435D669-B55A-4A30-9DFC-FF02E4D90088","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73dd0494219b0d0f0b87274bf521883ed5190270","datavalue":{"value":"10.1007/978-3-319-24312-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455758$16407E14-9946-443A-9CDE-8C5447A882DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86ea6fc3d88ecd627a9f64f2089a85cae3bcc991","datavalue":{"value":{"entity-type":"item","numeric-id":2055756,"id":"Q2055756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455758$CE6A205E-90C6-4591-8900-97549DBE1C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d27b5bff64d8d29333ecf657df19a343901a95c8","datavalue":{"value":{"entity-type":"item","numeric-id":817581,"id":"Q817581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455758$C6AA61BB-1F74-4CA9-B5C5-7295441AB1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455758$E3DD50F3-463F-45C2-ADFE-A371CC37BE28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455758$7FB1BB00-25D9-44AD-A9E5-B4B394A09713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455758$5EFCD3D3-1720-4312-841F-DAA49D0D1880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455758$ABB349D4-7B5C-4D38-B75E-A1A2BEFC271A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455758$F40C07C0-B22B-4B68-A235-171F226AF354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455758$0B9E836F-1536-4E86-8D64-E7924AD90FE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4e497d7303b520203e43c2456c606338664262c","datavalue":{"value":"6519931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455758$D2258A1D-503C-4BBB-9748-38E2F5F21757","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":"Q3455758$090EB2C0-09DA-4C25-8B70-3A3B320BDBDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26557e426042c37145f8b1d00e18b21957e486c0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24312-2_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455758$B4D80674-43ED-4691-982A-EB590C7E8442","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"440420f0240d7e747958f4af5dbfef73b2aa4a11","datavalue":{"value":"W2235995182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455758$74926711-45BA-4FE0-98CB-1AF4783EAEDB","rank":"normal"}],"P223":[{"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":"Q3455758$B12D566C-181F-45A6-9FEC-03052ECFA953","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":"Q3455758$701029E9-79C6-4EE5-A203-1BC84C05F251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e005c5656dfe8af90187b5c9f152bbd157e30aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4880541,"id":"Q4880541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455758$C2B23C90-35FC-4A54-9AB0-9DA82C7C4874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455758$8A2FB265-7203-4EA8-8F8B-F6B9A8F5A9D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3118f8437074deea194e2cdf930ab304da13004","datavalue":{"value":{"entity-type":"item","numeric-id":4880541,"id":"Q4880541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b541ee9df816d7e85d287807d1f1e480c3353b","datavalue":{"value":{"amount":"+0.8821250796318054","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":"Q3455758$13BA2D8E-266F-49F2-9818-F9F9B3582DFC","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":"6601bf85446632edeb64d6c97ccc7eefba0141cb","datavalue":{"value":{"amount":"+0.8238220810890198","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":"Q3455758$CEDBBE04-8647-4D80-BF37-D454D9B67C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b593b33fc26dc965312ddd4414fa42ca2c2afb6","datavalue":{"value":{"entity-type":"item","numeric-id":5309531,"id":"Q5309531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6601bf85446632edeb64d6c97ccc7eefba0141cb","datavalue":{"value":{"amount":"+0.8238220810890198","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":"Q3455758$2193C714-5433-4BE7-95EF-292BF71AD9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12075d2f8610df21e57284d588cac5db7fcb8fca","datavalue":{"value":{"entity-type":"item","numeric-id":2305412,"id":"Q2305412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85da4181e4a637c928723506d7a4c5a7e7af8594","datavalue":{"value":{"amount":"+0.8221172094345093","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":"Q3455758$F5678FF5-D6EF-4D85-B25B-C5CA6FBC2101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa8ca0e808f9acb58dd9e1f0b033fc5cb9f44be","datavalue":{"value":{"entity-type":"item","numeric-id":6488558,"id":"Q6488558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a14d6c0a31e94eaeac30742dba53d0cbd83b34","datavalue":{"value":{"amount":"+0.8162528872489929","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":"Q3455758$F508514C-E395-4D0B-8647-8D9488C4B53B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional tableaux based proof calculus for reasoning with default rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_propositional_tableaux_based_proof_calculus_for_reasoning_with_default_rules"}}}}}