{"entities":{"Q2455902":{"pageid":2466645,"ns":120,"title":"Item:Q2455902","lastrevid":50185733,"modified":"2026-01-13T10:50:36Z","type":"item","id":"Q2455902","labels":{"en":{"language":"en","value":"Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201356"}},"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":"Q2455902$B84A9FCF-5593-48D2-A15D-7231F80C7C0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"041ace7ae9f2738d2851b16d3f264e59102af6a8","datavalue":{"value":{"text":"Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3--6, 2007. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2455902$F01B06D3-176C-4E56-97A6-39E41B11037C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b9a945d476d6326be954ed8fd86abcb631eb117","datavalue":{"value":"1121.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455902$2D210A81-91AC-4C06-BBCF-D9A557EE2536","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7ea150b2b9601666b3d556a25030efccd45d95f","datavalue":{"value":"10.1007/978-3-540-73099-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455902$96C004D3-70AF-469C-8EA4-0CEAA2E1E48A","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":"Q2455902$09430BB0-A758-4CE3-B4A0-A707665B5075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41faf85262d85541a3bc283a1258879c7bb1c098","datavalue":{"value":{"time":"+2007-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2455902$77CFF331-612B-4886-93F3-0A65DEA1C88E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455902$6736E408-C566-4C44-8E48-285FBC17A259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455902$1E54CA39-D330-418B-A0B4-55D4A0EB09B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455902$88B96EDC-F31A-48D6-9E80-074E9E9307EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f2b29b6c0e73bdeec9731af6587d57dd85931ef","datavalue":{"value":"5201356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2455902$6F67D150-D94D-47E6-B818-9DF0F92DAB97","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71c7a3d71ee38f9cc8440de4ea1f047f7c82220e","datavalue":{"value":{"entity-type":"item","numeric-id":23332,"id":"Q23332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2455902$8D956768-FADE-4F36-B2BA-D98C532F89BC","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":"Q2455902$B2912E35-7A54-48C4-94BF-4785F5CF5771","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db60ce46f2a44a10ad8b5365045446d254a922","datavalue":{"value":{"entity-type":"item","numeric-id":2493591,"id":"Q2493591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a720da96f24c16bc6b90d6264ac058752c260b","datavalue":{"value":{"amount":"+0.9171255230903624","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":"Q2455902$C64E06DB-2852-4729-8D14-F893712F6D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1212c3a06f21108ab723d780db285213e484ef","datavalue":{"value":{"entity-type":"item","numeric-id":1613676,"id":"Q1613676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569eed1d046773c8f7fb36d28882540c3d9f0cbc","datavalue":{"value":{"amount":"+0.9103617072105408","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":"Q2455902$C4680453-0454-4B70-914B-146087CD62CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f386cdce3c7178b5cf33d77f18fffd689e487cf","datavalue":{"value":{"entity-type":"item","numeric-id":734219,"id":"Q734219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3baa7a95ae30f80b78123a458390cf3e09c7de","datavalue":{"value":{"amount":"+0.9038902521133424","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":"Q2455902$8E312D47-56DA-4EFA-830C-4D7A68A4A52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94dceb33d32a6ce1739308a1eea07ebd9cdecb06","datavalue":{"value":{"entity-type":"item","numeric-id":822930,"id":"Q822930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b508ad4897b7ab139f41e70cb1fb5716edfe1e14","datavalue":{"value":{"amount":"+0.8721299171447754","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":"Q2455902$288D0452-C5E5-410E-90A4-8AC385BBA38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d815288274be1acab83ec6488e596af8bed18e23","datavalue":{"value":{"entity-type":"item","numeric-id":983521,"id":"Q983521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706f7d4cad86c1d191d75b2dabc8b5c835ddbf44","datavalue":{"value":{"amount":"+0.741336464881897","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":"Q2455902$CD03127C-8AEA-46C6-A354-CDBBC84A6D71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2455902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2455902"}}}}}