{"entities":{"Q6541144":{"pageid":14152287,"ns":120,"title":"Item:Q6541144","lastrevid":57344775,"modified":"2026-03-30T14:10:26Z","type":"item","id":"Q6541144","labels":{"en":{"language":"en","value":"\\textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850737"}},"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":"Q6541144$8BD3C05D-5787-4B1A-84EF-DC03689EB1FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da3960887258d3be154b0b18092f2eebd4652583","datavalue":{"value":{"text":"\\textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541144$4440DB2D-4DC8-4A5C-9DB9-AC9936E30FE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7443b5a4bfb556bb066a466b213be76c281f6572","datavalue":{"value":"10.1007/978-3-031-43513-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541144$A576AB9D-8E90-4E42-A6C8-B611EC00F038","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$EA0318D0-A55C-4F81-A827-03D3B9445EA4","rank":"normal"},{"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":"Q6541144$2BED22BE-BB9A-486D-9508-6FD917BB4F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$36817139-0F76-4DE6-8541-BA89E263E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"638e2ac70d5044188b1987de50ad7ca50ead4492","datavalue":{"value":{"entity-type":"item","numeric-id":631085,"id":"Q631085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$DFEA636B-B6A1-4407-8CEA-AEAE6EE14D39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-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":"Q6541144$299A9583-70BA-4661-9D29-774383E57F72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541144$E6A0C46B-C58C-4156-B26D-8FA3289C20DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acf21db24d75114e1aea0dfe46bf4327bc0ba862","datavalue":{"value":"7850737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541144$D8CD2383-1081-4C16-8BEA-6C4A3CD67277","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":"Q6541144$9020F903-C0A2-4221-82EC-6E2CFA196FEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a0f3bbb4afae14e8bd5a1ec8c4c4d4ea71faf","datavalue":{"value":{"entity-type":"item","numeric-id":2433862,"id":"Q2433862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$6E1C62D1-0118-4F88-9CC0-1D6A15DF2D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$2F5139A2-1490-4A67-BF2E-53CCB7975DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$BFC9F158-F457-417B-8C48-ADA6B9A7F697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955ebd869934877112c9952d134a561dd763bf60","datavalue":{"value":{"entity-type":"item","numeric-id":5222955,"id":"Q5222955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$690DBBE6-26BD-429F-B6B9-AAFDC692976D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41cb6e58e7e508a60dae3caad6f79ff7124b6e2","datavalue":{"value":{"entity-type":"item","numeric-id":2296753,"id":"Q2296753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$154404A1-ECD0-474A-8D41-6ACCAECFBE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e67e0465a571288ab7ad89dc1b717935ad66c4","datavalue":{"value":{"entity-type":"item","numeric-id":2305412,"id":"Q2305412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$2A093F85-6261-4171-B263-7D54E3831148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48153b6d5926a41c5f52c9d0893cdca20e91d23f","datavalue":{"value":{"entity-type":"item","numeric-id":3365265,"id":"Q3365265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$28EE35C2-C625-43A4-8622-D5BD205EAFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0266c6cfdcbbd38c45b57d1b570571c82d6bec8","datavalue":{"value":{"entity-type":"item","numeric-id":3638182,"id":"Q3638182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$8E1E9345-FECE-46A1-80DA-C3ED7DD185AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd410dd814cd0949b0ac230773a65ba76afa367","datavalue":{"value":{"entity-type":"item","numeric-id":2753596,"id":"Q2753596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$85530FEF-981A-41CA-9A30-98A3406AD842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c26ba5b42bca57a3b39400fe809b1b2ca765f1","datavalue":{"value":{"entity-type":"item","numeric-id":631086,"id":"Q631086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$BC2A6C1E-6FE2-4617-9742-2EE6509D36A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496571c5550ed296bd91834f9f6610ee6b97aceb","datavalue":{"value":{"entity-type":"item","numeric-id":4982111,"id":"Q4982111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$F06F1201-D1C9-47BF-A497-DB000F4BA852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5b6d19e94d4cc7b98fd19b426fa4c57e4211e3","datavalue":{"value":{"entity-type":"item","numeric-id":3838813,"id":"Q3838813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$843381B3-A4FB-458C-80C1-BDE02C35F85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$838A8D01-4528-4CCE-8B57-FDF90FCFC5CB","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":"Q6541144$DF9AACE4-6F35-476F-9753-0333A0B64E13","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541144$9AF2CD27-5D2A-43BF-AA73-00A23EBBF294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541144"}}}}}