{"entities":{"Q5479267":{"pageid":7508826,"ns":120,"title":"Item:Q5479267","lastrevid":49873921,"modified":"2026-01-11T12:23:10Z","type":"item","id":"Q5479267","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039334"}},"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":"Q5479267$BAE50EEB-95C7-41FF-A515-97EDD88A872D","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":"Q5479267$EC490472-BC44-4270-A9F3-302EF8BC3D1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fb17ea336f017af61dd4499be4d5e5c69c98661","datavalue":{"value":"1142.03325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479267$8F3CBF35-6B37-4CDE-9985-58C04E3E4A68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479267$EE9FA86C-D1AF-47F2-A0CE-54F22FE27A6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f38528512dff7c891b5663c62e7395ccfc785a83","datavalue":{"value":{"entity-type":"item","numeric-id":429588,"id":"Q429588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479267$169393D2-87A0-47C8-BFC7-551C0BC51B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc43334de395ad582a62ad990c60c53a86ecfe8f","datavalue":{"value":{"entity-type":"item","numeric-id":429590,"id":"Q429590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479267$00E8A4AC-C663-449C-B894-6757D740AE07","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":"Q5479267$85DA13D5-7970-47D2-B270-268D4187D5F4","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":"Q5479267$D5B9D680-1438-4D03-BB6D-0CB517705DE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479267$1BEC575B-7BA2-4292-9472-3A48D8AF6DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479267$C16650F3-51C4-4C2E-9B03-FDDA63AFC6B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a70ee5c78598d4649e821e2493ff8f443567313a","datavalue":{"value":"5039334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479267$2CA5756D-4747-4BBA-A331-1D62F4C61EAE","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":"Q5479267$A0215A8B-7B58-4929-A76C-CEDF34A7B931","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":"Q5479267$E86E5B20-F7BF-4C5F-BF62-E4D26D11FD90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479267$1D889CFB-0BB9-4554-8F2D-8694CCFC819D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6acd4fc550178d64221bcd100aa84d03046c3234","datavalue":{"value":{"entity-type":"item","numeric-id":5187869,"id":"Q5187869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e78f29e10f2dd8793620d83df720007390c0c87","datavalue":{"value":{"amount":"+0.8433438539505005","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":"Q5479267$4B1847D3-6074-4EC9-AFBF-D458576339DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bded643ae6751a387a21154075af5631e592d3a","datavalue":{"value":{"entity-type":"item","numeric-id":877894,"id":"Q877894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713497294f3c9ed0a358b83acc104f6d79cd3b73","datavalue":{"value":{"amount":"+0.8082218170166016","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":"Q5479267$201DD775-E0F8-44B9-AEC5-844E3E55731E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876b0f1ef2712530a2be117feb575de8f885f8b7","datavalue":{"value":{"entity-type":"item","numeric-id":429591,"id":"Q429591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4178d3f00551325590e13538a7b5843c979ffd83","datavalue":{"value":{"amount":"+0.7722540497779846","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":"Q5479267$3655F4F4-3793-4A5A-A5D2-CF89574EAB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc6e410ae0d2cd707448ecb78674c94b0459abfc","datavalue":{"value":{"entity-type":"item","numeric-id":4263016,"id":"Q4263016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96034ccc2d094486b9aed9302cfbb41c1585ba18","datavalue":{"value":{"amount":"+0.7707967758178711","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":"Q5479267$2BE8F2B1-3899-43C5-8BCE-DB853DD4E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c16fdd5ea0a8e5a4024d53122320d331b1e5fec","datavalue":{"value":{"entity-type":"item","numeric-id":4928460,"id":"Q4928460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655f3a5b737187cf1eb5fd31a9dba7eb93c70024","datavalue":{"value":{"amount":"+0.7672387361526489","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":"Q5479267$90E8F31C-A9A4-4A73-A261-2BA62B9314E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479267"}}}}}