{"entities":{"Q5479276":{"pageid":7508835,"ns":120,"title":"Item:Q5479276","lastrevid":49873942,"modified":"2026-01-11T12:23:11Z","type":"item","id":"Q5479276","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039343"}},"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":"Q5479276$333883CF-047B-4E23-B2C9-6E148589B3D2","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":"Q5479276$DED789D8-987B-4D15-BBBF-8AB297A2A33F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c10af669384901d57131245978ffd49dfcd63d37","datavalue":{"value":"1142.03339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479276$F84107C2-D6BA-43A9-8DA1-55CA493E0C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479276$C66E1B45-1587-4E2A-9AF0-F4DF58E27D75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc422bad03afd41308581925fc6979a91da946c0","datavalue":{"value":{"entity-type":"item","numeric-id":264960,"id":"Q264960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479276$0B666866-FB73-4D5B-82A0-61FECFBA874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9809b4de662d574412c3c9dd852e8c3da2c82370","datavalue":{"value":{"entity-type":"item","numeric-id":264961,"id":"Q264961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479276$FF55D35C-9C53-4E58-AF16-43E5445A4A12","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":"Q5479276$8AF68BCB-C7F8-43C3-B8A8-61A44574DB18","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":"Q5479276$3C258F8B-40CD-44D4-B7C2-087A644014D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479276$91E5ABF8-064C-4305-B5B7-1E6ADBCA4122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479276$5D0288D4-93C7-4BBB-A9B7-E3F327E3D5C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71e4888689bd0dc6bdc7867cf62be29f6cc42d74","datavalue":{"value":"5039343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479276$53BCBE8F-F24D-4CA3-B311-B69D21CF7648","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":"Q5479276$82DA14F5-58AB-48A8-A07C-8E136259DF46","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":"Q5479276$54CE30F9-C9C4-4CBA-9460-396B2317775F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479276$922E835E-C1EB-4BE4-AC49-85BC306AC038","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76a1b4360d4d3f27783b789d00f03fa12aba88b","datavalue":{"value":{"entity-type":"item","numeric-id":1193487,"id":"Q1193487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f906fc1eeaddb6158a6a2949713ccb6d016b72e8","datavalue":{"value":{"amount":"+0.6870223879814148","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":"Q5479276$F1747325-36BB-41C9-9A8F-46B4B676D9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413db481d57214ff5864382bd0e8ce23b1dcb7c2","datavalue":{"value":{"entity-type":"item","numeric-id":5695186,"id":"Q5695186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a2427aa0ded3c041c6fdeb35e6a5b2e151a5dd","datavalue":{"value":{"amount":"+0.685468852519989","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":"Q5479276$570FDF72-8163-485D-894B-1EF8C46E3E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c283313eba2e000a83e9ecc83d82bc0140b1599b","datavalue":{"value":{"entity-type":"item","numeric-id":5757428,"id":"Q5757428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c78e5960c95c12de0e13c0d09c41452a03158a3","datavalue":{"value":{"amount":"+0.6818241477012634","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":"Q5479276$6C55EF8F-6F68-476D-86C8-2108F432B49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ba0fc156f8474dc75589e179fab4757d445722","datavalue":{"value":{"entity-type":"item","numeric-id":3535491,"id":"Q3535491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57b774942aaa25b2e4a741959a5c62779f4e895","datavalue":{"value":{"amount":"+0.6760660409927368","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":"Q5479276$E974B148-040A-4184-B3CE-2064D6040F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045169cd004804e84a3a6664fd416ca3c7709178","datavalue":{"value":{"entity-type":"item","numeric-id":6104769,"id":"Q6104769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f12d0eca40325af5c97438fff8ab4c6973cb5cb","datavalue":{"value":{"amount":"+0.67440265417099","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":"Q5479276$48903E5B-FF33-4D40-95C9-C01BF0CB196A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479276"}}}}}