{"entities":{"Q5479274":{"pageid":7508833,"ns":120,"title":"Item:Q5479274","lastrevid":41893129,"modified":"2025-05-09T12:04:42Z","type":"item","id":"Q5479274","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039341"}},"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":"Q5479274$689C5387-F43E-46B2-AFC6-9A20E50A8C0E","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":"Q5479274$FD9BABD0-5787-43D8-82FB-71F81BF12EA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b90370a12d57c6c8b026b3ffe2db0da6136bda8","datavalue":{"value":"1142.03328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479274$15AB88EA-65F5-45CB-9309-2188FEE112DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479274$6C3E74EF-2168-47F0-9BFE-926DC74C3F90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479274$5AD1F67A-3463-446F-A20B-C8D2C5C76703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479274$44D1D62F-BF83-4272-A415-6D68F5A74E1B","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":"Q5479274$E79D252C-70F2-42B3-A570-E34263C545B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f93c27b816c2dabc366a8583ed8fca095c377e8d","datavalue":{"value":{"time":"+2006-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5479274$6ADDD6A5-8DCF-415C-9EB9-3FD22752C07B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479274$1943B3C1-0A9D-45BC-9361-43941D5CF490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479274$1BA741AB-5672-4611-A8CD-9C2A12825E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479274$7D24F9A5-9813-4FB4-9E82-3FAFFE363393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c1cf2a6e6720fbcf976db063a3ea6ba45e4892f","datavalue":{"value":"5039341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479274$9C2A13FF-40D3-44D2-A34B-2CF1BDEA5D26","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":"Q5479274$B626EB7D-8496-424D-9A18-EDD3E80F332D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd72027099149aadfaaadbcd160d2297335df1ea","datavalue":{"value":"https://doi.org/10.1007/11554554","type":"string"},"datatype":"url"},"type":"statement","id":"Q5479274$F991DADE-7EA4-4BF2-B669-F0012F7E365C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479274$1D1E9859-BB51-4956-AF66-21FA5EF510FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a78b8a8d50dbbd32e5cd8fd06f0901e28b1831","datavalue":{"value":{"entity-type":"item","numeric-id":5191117,"id":"Q5191117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a002c3631ec9b99f3b87e5f66bad6429017138","datavalue":{"value":{"amount":"+0.947943","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":"Q5479274$D4F2BCF3-0733-45C5-B258-B8EC0EEDDF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f0db856d599668fffed0f2a59eddf930102e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4460678,"id":"Q4460678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca592f434f8b4ce15bd9819cad17143cc1e5202","datavalue":{"value":{"amount":"+0.88992107","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":"Q5479274$CE2D3453-6FFA-4C0B-A359-116DC661FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d3ee437004547660667019a963d23ec7b081c2","datavalue":{"value":{"entity-type":"item","numeric-id":3408128,"id":"Q3408128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca592f434f8b4ce15bd9819cad17143cc1e5202","datavalue":{"value":{"amount":"+0.88992107","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":"Q5479274$CDB962D6-B0A6-4FEC-ABAE-72AA8687A576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500f346dfbb0ee009a30a87589d486d9a749d300","datavalue":{"value":{"entity-type":"item","numeric-id":2946700,"id":"Q2946700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b85131e9bab8805930d488ab90cd3a8799be44b","datavalue":{"value":{"amount":"+0.8887415","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":"Q5479274$2CE5B513-2973-4FE4-AA92-F26CD5C35DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a61a9e4c0c36b0184660b60ed2d7b23213da98","datavalue":{"value":{"entity-type":"item","numeric-id":4699343,"id":"Q4699343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e1237afc4e220db5ce300383f06843199c7812","datavalue":{"value":{"amount":"+0.88175416","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":"Q5479274$7D5466E0-3F13-400E-BA28-46690FCE9D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aaf1352533135c4417397fd5c4ca7971e024d46","datavalue":{"value":{"entity-type":"item","numeric-id":3007566,"id":"Q3007566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f3d0b3a8cf5f9ceb668f5ddbe9096097336a97","datavalue":{"value":{"amount":"+0.8780305","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":"Q5479274$DAEEAA33-26AC-477F-8C77-0DEB94D56D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b436a73666b2b5f5324e744abc87d2f7e779310a","datavalue":{"value":{"amount":"+0.87627375","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":"Q5479274$CEF76F79-8C25-44B9-9827-23DDF585DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c267b02e44dc4e518d9141b04e3092a29f547a","datavalue":{"value":{"entity-type":"item","numeric-id":763333,"id":"Q763333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d376ddbcb30bb538c76781f3959d3404161fad","datavalue":{"value":{"amount":"+0.8761379","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":"Q5479274$F12FA643-D15D-4759-9ECF-D2107381CD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d5539556ac7372003ea0e5e8e64e437a780730","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274130de1cddbf78cff709f54df9b331904766dc","datavalue":{"value":{"amount":"+0.8739111","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":"Q5479274$F8870AB3-30BC-4E3A-AAB4-763EB226B614","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":"70f86bb8ef4109fb6cee45197a28c61dd2bd59c2","datavalue":{"value":{"amount":"+0.8724462","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":"Q5479274$802E395A-8906-4966-88DB-DB43512C6594","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479274"}}}}}