{"entities":{"Q5479281":{"pageid":7508840,"ns":120,"title":"Item:Q5479281","lastrevid":49873960,"modified":"2026-01-11T12:23:12Z","type":"item","id":"Q5479281","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039348"}},"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":"Q5479281$64C2E5C9-BFAF-4465-A270-D025637EAE6E","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":"Q5479281$791D3C2F-2EA1-4A54-8FF7-1BEE08D6B0EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5869e0f46ed7a48fdf8b32d9f21470543962a55b","datavalue":{"value":"1142.03331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479281$F7F3BC4C-9570-4038-BEAE-FB6681D6C886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479281$97AB2E4C-8559-4A94-A080-96644512CBFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479281$D888EE78-5B39-4E5A-B364-D570C6935937","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":"Q5479281$622280B8-2300-410D-90A0-14F2A4EA4436","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":"Q5479281$802195E3-602E-47C0-985C-FF029667D4A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479281$9825C04F-B516-4007-ABD4-F95557563162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479281$92FB6D66-3309-47F7-869A-BDE64B5E9356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c798b1b00c7634e712d8d008ccfdb5d5701ad5f1","datavalue":{"value":"5039348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479281$B406FE39-D98B-4B16-B655-2F949D58F155","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479281$0EDA8E07-60F7-4585-860D-DD3FE3B9A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479281$FA3E16AA-199A-471E-B86B-65989DC48747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479281$7B4B133A-6AF1-4F38-8B67-B10A5C2371CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc835e0a8e8cc3d18de29524c9b3729f324d45c","datavalue":{"value":{"entity-type":"item","numeric-id":21955,"id":"Q21955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479281$7D7BB7C9-D789-4DD5-8204-0B4EFF071C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479281$FFE2C3AF-FE41-42E0-A833-E64C7B000901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479281$6B505A67-AD33-4AED-8605-460EC59012D5","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":"Q5479281$EFF9B3FE-3B29-4002-ADC6-07F0B78E84CE","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":"Q5479281$88ED4FDB-A7D1-4FBF-AEF7-8C39B154019A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479281$6D2BC233-7EA3-4FCF-9205-80287C4F5872","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bf28b6c9ac6d6df6c52bc9f25a1453544aed6d","datavalue":{"value":{"entity-type":"item","numeric-id":1694466,"id":"Q1694466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fcd268c7260c305cf0996db01aa6eadfb25e69","datavalue":{"value":{"amount":"+0.8390702605247498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479281$E485DCA8-9CB7-4EF8-B7D2-1A16590D2DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f849e8c0079e919fbd590217e8c1c62f3f277e67","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166c3c75c5590677ebec0ca8955dea24d67e181b","datavalue":{"value":{"amount":"+0.8209300637245178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479281$CBF0B8DA-4D32-4B38-AF98-31126142E3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166c3c75c5590677ebec0ca8955dea24d67e181b","datavalue":{"value":{"amount":"+0.8209300637245178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479281$8D32371E-8265-40B1-ABB6-8AFAB763CBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c601f4f623fbf5cc4d0350b613400bfc77126ce","datavalue":{"value":{"entity-type":"item","numeric-id":3541708,"id":"Q3541708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d158aac23cedd235d8e814f16f61f8afee5e03d","datavalue":{"value":{"amount":"+0.8090511560440063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479281$C02136EF-D196-473B-BCCC-1F6649DF6F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41eae31321cb8f4d5091ef38abb8a9ca30ef670","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f340d3dbd34b097cf8fdbd155b4befee2b722c","datavalue":{"value":{"amount":"+0.8046023845672607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5479281$D0C3FEA1-1BF3-4808-B417-B3B33D8194EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479281"}}}}}