{"entities":{"Q5479268":{"pageid":7508827,"ns":120,"title":"Item:Q5479268","lastrevid":41199137,"modified":"2025-04-19T00:01:39Z","type":"item","id":"Q5479268","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039335"}},"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":"Q5479268$CF6CE546-90B6-40D2-89C2-CE1F534B2DB7","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":"Q5479268$46B987BC-592B-4A0E-A162-40B5D34034AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89737741657f34d54ef9772cec5618045547eefd","datavalue":{"value":"1142.03322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479268$33866B26-4FC0-47A1-9AE2-DDBBBEEC2B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479268$7791ACB5-43A3-4860-94E1-D184C1B17542","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479268$FB31E9E6-EB3E-4710-A7A8-FE4335CDB435","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":"Q5479268$13E59F5E-8741-4C1F-B3A8-DAFDAB808AE3","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":"Q5479268$C2A1BFAE-5004-4A3A-B7EC-EC3F64ADAF23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479268$DA929807-D620-4BD5-8940-DCD528D94085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479268$982597AA-E5A9-4A31-B59D-0A803523FD5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2272097e5f586bd946b910c2368c5e4482b3876","datavalue":{"value":"5039335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479268$248C9304-A582-428F-8FB8-A02AF78922B8","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":"Q5479268$838B26B2-E4BC-4623-9127-EA56C7D222F1","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":"Q5479268$CCCDFEA7-ABA5-4018-9509-68844B5E7631","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479268$1C998AAC-DA5A-4A95-8D2E-5F0F3E50FA69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e44078a550853f38aa1f793c9c359d6abdbdba","datavalue":{"value":{"entity-type":"item","numeric-id":5406130,"id":"Q5406130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbcd1bdaab5cb0f77d3770ac57935bc4840a0075","datavalue":{"value":{"amount":"+0.88343865","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":"Q5479268$D62803D6-9AE2-4E36-82F3-B5BEC1839C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d171749b95c3772aae8ba8502515039aa10c706","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e571d506925bc060336fb2a4420cb1679d31422","datavalue":{"value":{"amount":"+0.87276286","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":"Q5479268$BC776E48-ED14-48C9-9431-D46612F8F622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f483db1953400e1a1848522b33b168f97ddd6d","datavalue":{"value":{"entity-type":"item","numeric-id":4610320,"id":"Q4610320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd399395b16558131712b16e4408006551149e12","datavalue":{"value":{"amount":"+0.8712491","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":"Q5479268$CCC61E23-A682-4DD6-BCCF-2F83D34E2AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b421e1efbe53226ab8972a6e77ae3b288597c242","datavalue":{"value":{"entity-type":"item","numeric-id":4647538,"id":"Q4647538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc717a805e4251e6cd6b389310e6f7af56d16e79","datavalue":{"value":{"amount":"+0.86301243","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":"Q5479268$B181DD20-80A8-405F-8B14-951B146BA7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a88eef44f815091ee6409ed9e6cd9be323679e","datavalue":{"value":{"entity-type":"item","numeric-id":5365399,"id":"Q5365399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2b9277ba97afb941b073e348d88d120aaf96a6","datavalue":{"value":{"amount":"+0.86030626","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":"Q5479268$B9E1EEF9-7870-4869-B7A9-807BC57513B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5f3d50dea6bd241c2a711d0e28e4d77b0f7844","datavalue":{"value":{"entity-type":"item","numeric-id":4530465,"id":"Q4530465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a9900d5605e773d79e083a446f087db74b86e1","datavalue":{"value":{"amount":"+0.85719585","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":"Q5479268$AA5CDD06-6E37-4747-B3C7-E6B925AF2636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fcfa0cc7fb93c848d7e89da379ee52bc6845c7","datavalue":{"value":{"entity-type":"item","numeric-id":1876098,"id":"Q1876098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686d7bbb888baf944f2c366547c235d796181030","datavalue":{"value":{"amount":"+0.85449106","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":"Q5479268$4A6B6A7A-1612-49F0-96A6-11687C60481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"537cde162a6a8d9b676b3f3ffc1560a4c2ee5e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3567762,"id":"Q3567762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e349e877e5deaa8a2237d605bc24ff1df023f4d","datavalue":{"value":{"amount":"+0.85385","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":"Q5479268$F1FC0703-F9CF-4CCF-B256-D8408C2D037C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dba73bc93b36b44c3e17c0494079c469ef5e18a","datavalue":{"value":{"entity-type":"item","numeric-id":2996134,"id":"Q2996134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9cfab8b0a2bc771f68ba275bd8128dc3dd3d25c","datavalue":{"value":{"amount":"+0.84999615","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":"Q5479268$2CE5A7DD-6174-43DD-89B7-F133E5CCF412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c619a0cf2c367ad503fee3443960d53a51d72da","datavalue":{"value":{"entity-type":"item","numeric-id":2721203,"id":"Q2721203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e59f5fe19004f084008ea9fb5a6a7a715f8cef","datavalue":{"value":{"amount":"+0.8494212","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":"Q5479268$17D1FF0D-6E34-4E2B-9B86-7D012B8746A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479268"}}}}}