{"entities":{"Q822930":{"pageid":824778,"ns":120,"title":"Item:Q822930","lastrevid":64638615,"modified":"2026-04-11T21:14:07Z","type":"item","id":"Q822930","labels":{"en":{"language":"en","value":"Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6--9, 2021. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7399944"}},"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":"Q822930$15610A2B-AE7A-4FB4-A17C-456CA71664CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72ca419d8425d239ed7d3a3212b677836898d2c5","datavalue":{"value":{"text":"Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6--9, 2021. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q822930$CE401278-2B72-4A60-884C-DC4AD3A5359D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6526a959f120708d254ed0f1b2a0ec4514d4880b","datavalue":{"value":"1486.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q822930$62159C52-2698-4FD1-A6E5-EAD4EA6B78C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30705bcec71db502bad48142e65266df77dab7c0","datavalue":{"value":"10.1007/978-3-030-86059-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q822930$4C36C222-37D0-40F0-8453-513BDB6A1947","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":"Q822930$134E4DDF-50EB-4536-BFA8-28DCC5C7A9E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b1258c0fd05f4f4553f2873ce23fc95fb5c958c","datavalue":{"value":{"time":"+2021-09-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":"Q822930$56633277-EBF1-419B-9A7B-7C7CBDC40A51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q822930$E33C636D-D461-48A8-B90D-63A42067D4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q822930$C044D2CC-1086-436F-B17C-E74D7548D34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q822930$16AC5D07-7C7E-4F64-A0A8-B2B435120AA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a811142b063ffd08e6388668447f69342ef9ae27","datavalue":{"value":"7399944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q822930$48E42956-F0E1-4E7C-A34C-EB5AE01A1812","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":"Q822930$9226BBF0-7292-4A6B-AEBE-3BD48110BE54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5799dfd92851d241b6c9770c0e864fda63cfd34","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86059-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q822930$8F71D7D1-8A2E-4FF5-A8E1-10CE79DD7149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8b1c418b04d04a09c7921ae27f5f4c65d5695a2","datavalue":{"value":"W2489956879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q822930$A081F90F-52CC-4102-A662-757E8B73D7F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01612b4f103fd639f5547c0bcb4646a3227d0447","datavalue":{"value":{"entity-type":"item","numeric-id":2286165,"id":"Q2286165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bff4fad4b82b020e40addd1e61ecbba2634a888","datavalue":{"value":{"amount":"+0.96695054","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":"Q822930$5DEB8BEE-84B2-4803-98FF-733B7563F425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fac60b45e1c1a0e5de46834d4596ac056d0d84b","datavalue":{"value":{"entity-type":"item","numeric-id":6070458,"id":"Q6070458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70cb33a4cd31ef1fdcbd0b99eebdca523f69acc","datavalue":{"value":{"amount":"+0.94395393","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":"Q822930$50EF5A44-BC18-4C74-A640-1BB0F3DCD687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0fd69f55d0c43f6a8662b43c0b218c3c85d844","datavalue":{"value":{"entity-type":"item","numeric-id":368052,"id":"Q368052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30181ef267860d8388b1f624f887070650880c1","datavalue":{"value":{"amount":"+0.94132334","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":"Q822930$82E3A002-081A-4B85-9506-FBFACD01E882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7efb1658b3d1882671594cf0a6b32845098f5e","datavalue":{"value":{"entity-type":"item","numeric-id":2402236,"id":"Q2402236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ac90a7b297e9fa797967c02f848351717da96f","datavalue":{"value":{"amount":"+0.93946445","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":"Q822930$486FAB05-AF5C-4918-A4C9-FCBC0EDD619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb64b54af8f516de5108f3f2f06f1992ae4dbfa4","datavalue":{"value":{"entity-type":"item","numeric-id":495909,"id":"Q495909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19efca035862b1fcf78043b7c9af87e85be8c3fc","datavalue":{"value":{"amount":"+0.936448","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":"Q822930$F68A65E6-3DE6-4C22-B104-0517940519E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a257c03b5139a855c047860a6ff00f6fd5f0040d","datavalue":{"value":{"entity-type":"item","numeric-id":1413054,"id":"Q1413054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130cf8bc76d9cad444b35e051cc6fb0ed5280159","datavalue":{"value":{"amount":"+0.9362151","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":"Q822930$D98F1F58-3CDC-4E5F-8BC4-7B773662C3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823032156ac46c9d4f87a88ed6098da464682634","datavalue":{"value":{"entity-type":"item","numeric-id":545854,"id":"Q545854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442e519d366a11b6436c449c4e1d68e11e72d15e","datavalue":{"value":{"amount":"+0.9342805","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":"Q822930$B2439AE5-DC1F-4206-B199-40E0A39A15C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2a28064bd39cc7372cdc725f7b91a1b0efb324","datavalue":{"value":{"entity-type":"item","numeric-id":1572743,"id":"Q1572743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f4f5637d03cfabc79a8526e37e480a438df610","datavalue":{"value":{"amount":"+0.9299536","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":"Q822930$71AF404F-289A-4A3C-9668-00B4504311C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db60ce46f2a44a10ad8b5365045446d254a922","datavalue":{"value":{"entity-type":"item","numeric-id":2493591,"id":"Q2493591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5642bd88eec86b9a653a04189f2bf0c92a5949e","datavalue":{"value":{"amount":"+0.9252336","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":"Q822930$90740032-A125-45E0-BFB4-ADBBE79B2C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f386cdce3c7178b5cf33d77f18fffd689e487cf","datavalue":{"value":{"entity-type":"item","numeric-id":734219,"id":"Q734219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8fadae34397a5100c4e651d5cdf5023bbf84534","datavalue":{"value":{"amount":"+0.9214004","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":"Q822930$CBB4BD59-3649-408E-9475-8DC58B4EC183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6--9, 2021. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_reasoning_with_analytic_tableaux_and_related_methods._30th_international_conference,_TABLEAUX_2021,_Birmingham,_UK,_September_6--9,_2021._Proceedings"}}}}}