{"entities":{"Q5187859":{"pageid":7217431,"ns":120,"title":"Item:Q5187859","lastrevid":41683566,"modified":"2025-05-07T04:54:56Z","type":"item","id":"Q5187859","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679137"}},"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":"Q5187859$4DF2AA96-8800-4718-A32B-8DE2AB04AE90","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":"Q5187859$D90D5BA3-8360-4DF9-866C-CDB6BA5DBE74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6950ce3ca9f7daca9cb1942ce2e6c104af76f22","datavalue":{"value":"1274.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187859$71C551AD-013F-4BD3-82E9-4653667C9486","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187859$9839E260-7624-4541-B862-22835616C9D7","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":"Q5187859$31D8DF54-1ACB-484C-8679-6B3EBBCEAC32","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":"Q5187859$CF5BA0A5-F042-459B-9645-071320ED034F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187859$98E938EB-FAED-4533-A48A-BEF210D84907","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ab749170ece75b47b27cf3bb2a77c4ff4528e6f","datavalue":{"value":"5679137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187859$4FE3AFF8-4A62-4EBE-80F5-238CAA212320","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":"Q5187859$EE97D027-F6A1-40BE-89ED-30FF55F3B994","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":"Q5187859$D6EEE0A6-3DA4-4A32-B210-DC3445E2D553","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b99a32ae23bc1fe15be315156d2dbee79ab0437","datavalue":{"value":"W4302076531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187859$6FC42E7A-79BF-47FE-8F0C-5A415295F5A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a73b1d98a3e71a2a07d6ed394188ffd66acb12b2","datavalue":{"value":"10.1007/B12030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187859$D04C01E7-0BBE-4D31-B31D-D729B8ED2343","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6a0dcf0d4528cf3cae67469f37ad02de07c575","datavalue":{"value":{"entity-type":"item","numeric-id":1005947,"id":"Q1005947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac216e77c92dd7565405a67addf8d9b5cbf5594","datavalue":{"value":{"amount":"+0.90219784","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":"Q5187859$395F8153-D5B2-4211-A9CA-F957A60BB4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fe06e0e8e0ed4a1e25b0ec4173b93a2f24cb09d","datavalue":{"value":{"entity-type":"item","numeric-id":3584007,"id":"Q3584007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fabd94d08dec44ff9e6552439d8f9a7ecf0604","datavalue":{"value":{"amount":"+0.89740145","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":"Q5187859$B4246063-43F0-49F9-B1F7-FAB6E9AD7AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1892d0f5bd351667b0431e3d00f5c5c5fadcacad","datavalue":{"value":{"entity-type":"item","numeric-id":5024728,"id":"Q5024728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc3b39275a195da9ca8a20b14df3b1df99ea0f4","datavalue":{"value":{"amount":"+0.89701426","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":"Q5187859$4D2F25D4-F3A1-4C6F-A8DB-3BC4D0927F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69102c7060c7b74cb78792fb6e903c574e370f4","datavalue":{"value":{"entity-type":"item","numeric-id":1360314,"id":"Q1360314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92eb2c92e02b6473601b9eee801b7d913e6fbe2b","datavalue":{"value":{"amount":"+0.8811947","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":"Q5187859$CAC0EBBE-6435-43C1-9209-00EC394277A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0e22da708d033ab98e5627e5d477b43e44eb6c","datavalue":{"value":{"entity-type":"item","numeric-id":3457682,"id":"Q3457682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fb17c9106bf47b5a2e14e22d28e391ab1685e4","datavalue":{"value":{"amount":"+0.87759036","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":"Q5187859$8EA2D92D-57D2-45D0-B2DD-823E513CC2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8998a920f13eefbdca317feab9bb39bb8745f0","datavalue":{"value":{"entity-type":"item","numeric-id":2148784,"id":"Q2148784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0535ebcd2f607812239b200bd91df9d4f01e78a5","datavalue":{"value":{"amount":"+0.86631966","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":"Q5187859$C992BE8A-7903-4BD4-B8F9-5ACF6436F6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cea0efeafc8742ad319e10704112f9b02dd0c5","datavalue":{"value":{"entity-type":"item","numeric-id":345702,"id":"Q345702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d104a0319f52e50989053639a451bf882c80990","datavalue":{"value":{"amount":"+0.85856354","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":"Q5187859$89B3C502-BE8D-4C18-8C69-D4908DE6E42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60331b663f10ff547a709f3c81ba3a2990cac227","datavalue":{"value":{"entity-type":"item","numeric-id":2851265,"id":"Q2851265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d104a0319f52e50989053639a451bf882c80990","datavalue":{"value":{"amount":"+0.85856354","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":"Q5187859$17992A0D-7426-43F2-9BA1-B5898ED95790","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187859"}}}}}