{"entities":{"Q5479275":{"pageid":7508834,"ns":120,"title":"Item:Q5479275","lastrevid":49873939,"modified":"2026-01-11T12:23:11Z","type":"item","id":"Q5479275","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039342"}},"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":"Q5479275$7FF92908-9C7F-4556-928F-9C93A6F69B17","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":"Q5479275$293DA09D-8AD1-4F8E-923A-F62EAB0E03FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de4755d7b6d1e2d9b7e9d9346a969eead6dfef78","datavalue":{"value":"1142.03329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479275$18EF0A8A-F085-4512-AD19-BDBF0A40C5A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479275$EE6C498B-A899-4D1E-A5E7-4128FCE8064F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479275$B241C544-81A0-4E34-BBC2-30AC45CEF9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479275$840E91B4-2F83-4F7A-A1B0-C90573DD446D","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":"Q5479275$DFDF5389-7B56-4C66-8BFB-446F64C0A180","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":"Q5479275$2FC3E501-A196-49AC-A354-DB6018991C0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479275$A8293D46-89FC-47DC-A524-10B2DC353FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479275$E0A6A5A2-BF8D-4248-B49B-2862ED7AFDCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9b9ae602f86bb5d6084046a950ad85e0dbd9567","datavalue":{"value":"5039342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479275$005AF4FD-B591-4212-A8AF-7AEA77369683","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":"Q5479275$8888B856-F0F2-4427-8416-08AD89F90449","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":"Q5479275$8E3BAC57-2B67-4C19-88E8-630DEAEA81C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479275$4BA0EC25-763B-4199-AA2B-EC5005768169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2fdddc9268e601c25084ecb46ab2e07193ae8a","datavalue":{"value":{"entity-type":"item","numeric-id":877884,"id":"Q877884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed94ffc3f2e21061d7d3327972f295fcc2bf5eaa","datavalue":{"value":{"amount":"+0.9933504462242126","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":"Q5479275$6BEA70EA-6407-4238-BE6F-A574AD60BD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09782e48bcfe28381706f5d6f6c5f1aba6ad5834","datavalue":{"value":{"entity-type":"item","numeric-id":4675621,"id":"Q4675621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75de19bfb3f8f3f9adc763b184b0f9ad598da98","datavalue":{"value":{"amount":"+0.7150425910949707","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":"Q5479275$8B482495-EED7-4329-9873-EE68A500946C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb894dc8eab22398caf3bbbbff59981daa6bce8","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c0e04e039f9580b10f252b6d957aa61450cf0d","datavalue":{"value":{"amount":"+0.7051466703414917","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":"Q5479275$5C0919EA-7B39-45AD-8773-823E3D792C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5f0efa228eaf242dc963b210e7ab11d4249b55","datavalue":{"value":{"amount":"+0.6955286264419556","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":"Q5479275$97DDBF5A-6D59-4487-B862-BCEBDF3F5509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa5821d5bc9687fe29222b473d9339797d836dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bef8213fad95917b0ddf008df3a7e74930452c","datavalue":{"value":{"amount":"+0.6898278594017029","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":"Q5479275$EF6ED4FA-C04D-4758-8C6F-5F29A490C587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479275"}}}}}