{"entities":{"Q3541702":{"pageid":5571606,"ns":120,"title":"Item:Q3541702","lastrevid":80954471,"modified":"2026-05-06T17:22:58Z","type":"item","id":"Q3541702","labels":{"en":{"language":"en","value":"A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374242"}},"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":"Q3541702$F32E766A-0D70-4952-A39A-9D7614DC78C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6d01cfa9247fdce276a5a84048c1769a7331c0f","datavalue":{"value":{"text":"A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541702$635400A7-53E7-47E1-8A83-A1D56535C715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6cc9c8d1fc1118948b7688dd206b09a5c55cb24","datavalue":{"value":"1165.03319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$E661354E-C6E0-4EF1-9491-F531698A3172","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e1a1a44050487629773926d3886bc0aa695c4cb","datavalue":{"value":"10.1007/978-3-540-71070-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$EE6EF178-D842-4A58-B707-A298904ADD8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541702$EE465F51-0A13-4E29-8A5E-C0795737ED35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541702$DA349AD2-1AFD-4683-A155-944021B939EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541702$797AEEBE-0567-41E6-A7C8-0E5C9B8D7C4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541702$70302F55-93AD-45F9-B1A7-9CCD7E475CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$1C59EDB4-E423-4A53-AFF6-444C54C6D98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$E10C70A8-FFFB-450D-BCD7-52EAADE8F1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$4817D9B4-60B1-4136-BB3F-090DCA632AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$D10D836D-B411-41EC-83D7-890E8AD4B1B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49dc86f93846d212092ab108107a0d7294bbc7c6","datavalue":{"value":"5374242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$60C9DF8B-C877-460F-A7BA-8E8CC289E544","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":"Q3541702$0FBFAEFA-F163-43A0-93A4-05F20EE65CE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f017f467b8914ee41ae7efb02c71c88ca0c504b1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541702$AE0561F1-94D7-40EC-A3F4-C45EFF603DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"357004b56d343a87c1d59b4317f3aaba02900e86","datavalue":{"value":"W2150137870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541702$71D964D9-F844-4F1E-9EF6-74CF45735949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331bda8619cbe3334c70b08401c82cfe6a42367d","datavalue":{"value":{"amount":"+0.9052431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$27C17D95-7FDD-4BA3-8C3D-1656393C8799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a5482ac880ea5d0c42fb9e8118c60ddc8171a","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583c82eef2822df38380c98380d209906e7b2aeb","datavalue":{"value":{"amount":"+0.8992423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$FFF9B7E9-4E95-4A59-AD8E-365DE2499532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e1cf3ac260d7ec7bfd11176fca799e042f11e00","datavalue":{"value":{"entity-type":"item","numeric-id":877890,"id":"Q877890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ba5ed43f70ef6519abb3141a66df8366418acf","datavalue":{"value":{"amount":"+0.89848936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$A995C8F8-E9C9-483E-B769-8712FB7877E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac70c152169f0947abd4ded9c44fcd545c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2351166,"id":"Q2351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6f1ed296493a984a06266472b12419abbcb7cd","datavalue":{"value":{"amount":"+0.89698887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$BC4E0CCF-BC0A-4FFC-8931-1E1379358733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4a9838e61a6260264cd3ae1d55d29c0d61ca58","datavalue":{"value":{"entity-type":"item","numeric-id":2721180,"id":"Q2721180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f837b0b2be2ba6cec7513b14a4f2d6bf098309","datavalue":{"value":{"amount":"+0.89664924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$47F30BD5-8D2C-4779-AD18-031D27D8453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1336a5391f94595d3b8cb2fce7361c4caed9f53","datavalue":{"value":{"amount":"+0.89656246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$9291228C-2107-4149-A5F1-8BC982EF44B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc57bd2d56841c5ec20d3be9ad5faf50608355b9","datavalue":{"value":{"entity-type":"item","numeric-id":5025700,"id":"Q5025700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98802b8782756ccc16487bc7155d3271c4262bdb","datavalue":{"value":{"amount":"+0.89325726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$DB00E243-EACD-493E-A0F3-5E61542E7028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31681001248c0b55574e0f95a6f392c4e83ef367","datavalue":{"value":{"entity-type":"item","numeric-id":2351147,"id":"Q2351147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f65983fb26eb4d6461ed772c0069eec177b7d23","datavalue":{"value":{"amount":"+0.89104736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$93952DE8-B86F-4153-89C5-CF6470CEADC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6156693e2fcb22e1cfdebb11a106a522a0a42","datavalue":{"value":{"entity-type":"item","numeric-id":3651485,"id":"Q3651485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1391cf047d49b4dacf868be565c1ab41ceb76f2","datavalue":{"value":{"amount":"+0.8892348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3541702$D527BE43-8D8E-4EAA-A5C5-9E8356A64CF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments","badges":[]}}}}}