{"entities":{"Q5187857":{"pageid":7217429,"ns":120,"title":"Item:Q5187857","lastrevid":41892088,"modified":"2025-05-09T11:49:05Z","type":"item","id":"Q5187857","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679135"}},"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":"Q5187857$F418D86B-4D78-4DCC-A863-D8167B4FEFAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea95ac5e332a6cd55937643eddcdbf2a87f63c3d","datavalue":{"value":{"text":"Automated Reasoning with Analytic Tableaux and Related Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187857$44B57AA3-D987-441E-937A-6B0721924D3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be2f90655c60a20f5a69a40b1d9d3b9ecf4be81e","datavalue":{"value":"1274.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187857$289EB124-C3BC-44C9-91AB-F6FE05143F9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6023f4075adc4f52a692acfeac3b4f7655d1e97","datavalue":{"value":{"entity-type":"item","numeric-id":402331,"id":"Q402331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187857$5487C281-0E6C-4084-80B9-97C9EE5D4601","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":"Q5187857$0FAF6565-2CD7-493B-8EBB-88DA9C67CD5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dcb20d02ba2b80ffd27851e30b5d754f8113d8","datavalue":{"value":{"time":"+2010-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5187857$811383D2-3C3E-42E5-97E6-9975D0A0246E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187857$26BD7086-7238-4312-97B7-2FB645F709D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187857$6ECB212F-F629-40D4-8BEB-D96A4B29224F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187857$39FB5C5E-6AD3-452F-8D60-C0EC163C6FC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b43fe802196e718cfd16ebd4043a2d481cde91","datavalue":{"value":"5679135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187857$C5636B08-83D8-49F5-B501-1C5B7D3623F4","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":"Q5187857$00821C9F-1CCF-43E6-A9B3-E4D27112000C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"606862b47cbcc322f08ef663651c3131d0332675","datavalue":{"value":"https://doi.org/10.1007/b12030","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187857$E583E3EB-C6AF-4257-B78A-3D889D8C9B3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b99a32ae23bc1fe15be315156d2dbee79ab0437","datavalue":{"value":"W4302076531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187857$4BF2A962-FE7F-479D-957C-535F188A13C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a73b1d98a3e71a2a07d6ed394188ffd66acb12b2","datavalue":{"value":"10.1007/B12030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187857$3934FCE4-0B62-40DF-935F-7ADE7F9E95AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c710db4eaf5ba52fc5fdcdea032f1f85e2cef","datavalue":{"value":{"entity-type":"item","numeric-id":1679793,"id":"Q1679793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f39b2d53d47f47bbdeabaf65383c771d97c8d2","datavalue":{"value":{"amount":"+0.92210627","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":"Q5187857$0442E517-8ACA-429F-9EF3-E0E4EFA8D929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7186f0013809c3e4cb025391805c923a1d04187e","datavalue":{"value":{"entity-type":"item","numeric-id":331048,"id":"Q331048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec35c092e649d243376eba9bcf60cc52b55c04c","datavalue":{"value":{"amount":"+0.9119996","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":"Q5187857$24BA2CD6-8147-4967-AFCC-C956C93AA0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53aa154dd5edd0155dafa8852190f177ffa93af1","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b75ee108f31b34db28569ea430b81e28bd8f345","datavalue":{"value":{"amount":"+0.90791506","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":"Q5187857$C0EED925-6982-4423-A1D1-E3108E6EED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d2444be6a9bb8efd2eb6a804bd94bdc3260a86","datavalue":{"value":{"entity-type":"item","numeric-id":5742614,"id":"Q5742614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aeb21718a8df13798842e9ba7afd07673cb7160","datavalue":{"value":{"amount":"+0.90616655","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":"Q5187857$D95FC1AF-3016-4AF6-A493-B7D6D9599F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3038cd9b5dd36f01c482c1639a0e35dcd39f977f","datavalue":{"value":{"entity-type":"item","numeric-id":5884968,"id":"Q5884968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0475dc7e32cd82d3657d91c08194425954cc15c4","datavalue":{"value":{"amount":"+0.89875954","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":"Q5187857$02F02A48-ECBC-4E8B-9D56-0019286CC707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec00b233c290ee07150de8174f0acc7738556e79","datavalue":{"value":{"entity-type":"item","numeric-id":4763533,"id":"Q4763533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb662275cb6f1e68efbfb756d710d85f213e4c08","datavalue":{"value":{"amount":"+0.89332104","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":"Q5187857$A67863D3-7DBE-4743-B1E6-3D67CA1FEF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232c17692faf35aad5f42b671538c75b03655546","datavalue":{"value":{"entity-type":"item","numeric-id":5869513,"id":"Q5869513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347d87d10b9f69907ea5a2fb51578e86088166cf","datavalue":{"value":{"amount":"+0.8924927","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":"Q5187857$83F3EBD5-A97F-479A-8D76-A5077DE67DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd41cf85860439b3be7d63566773110f79f919ee","datavalue":{"value":{"entity-type":"item","numeric-id":377468,"id":"Q377468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb30bc37642be53c5981cea18f6cf45088917160","datavalue":{"value":{"amount":"+0.8914141","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":"Q5187857$D824934D-7210-480A-8860-63422154620A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76790668b5a87f5f77c5a3592d2d295d55a5ca84","datavalue":{"value":{"entity-type":"item","numeric-id":5112652,"id":"Q5112652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25f07836ce46fe3b2f8786412160ca999369910","datavalue":{"value":{"amount":"+0.8896812","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":"Q5187857$ECFF899B-4F51-406C-8A55-F4CA3F815F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61affd34089e7e43a6b50b51c0dbab91de126c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5283435,"id":"Q5283435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c22e4ad590cc181bf84f1f30457f1b5b1b6aa8","datavalue":{"value":{"amount":"+0.8883582","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":"Q5187857$1E3D0487-CB6B-46EA-830D-90CB98EE1B77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187857"}}}}}