{"entities":{"Q5479283":{"pageid":7508842,"ns":120,"title":"Item:Q5479283","lastrevid":49873966,"modified":"2026-01-11T12:23:13Z","type":"item","id":"Q5479283","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039350"}},"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":"Q5479283$E01DF17D-CCF8-473C-AF2E-A3F759479E61","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":"Q5479283$9F5774E2-2483-4240-9287-A057406CE413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aba594e2d375d855a958446d3e1d5553e183cf0","datavalue":{"value":"1169.03341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$C9F8C4FB-4659-4D8D-BFD8-537BE7B2069F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$ADAE8083-D253-4D82-95BE-2EA758E0CD14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd6b8fe5aa5af0c88c7f02b23a4997a56b7052b","datavalue":{"value":{"entity-type":"item","numeric-id":3085176,"id":"Q3085176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479283$CAC0E7C5-09E9-4E7D-9C63-678266A49441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cd0ddcf13d09b749222009956051bbeff81e744","datavalue":{"value":{"entity-type":"item","numeric-id":2335294,"id":"Q2335294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479283$47B78233-3E6F-487D-9E96-6FB05C8BE846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8527d49f4c1d4ddaa6d9a88b1ca42b42f5519f2","datavalue":{"value":{"entity-type":"item","numeric-id":2817289,"id":"Q2817289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479283$E3F27807-2383-4F5A-9EE6-0A6752B36E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9439e460049ae49b34c0ff7839518e1153c8a3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1850956,"id":"Q1850956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479283$AEB41A49-3186-49E7-8DCA-3D0638750488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479283$C77A9E32-5868-4E9A-BD31-C11C3D27DC9A","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":"Q5479283$C810E399-00C9-4E63-8F6E-AAA23CEB638A","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":"Q5479283$687F8DF8-4E62-4259-B9D3-43073A048A7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$2A12F7D8-8290-4B61-BBE5-ED5C6C9A8D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$60C4105B-A252-4C3F-9F98-BFF101E4641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$B324081A-0EFB-4267-AA98-16426CD3E26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$DD18741E-B8D4-4DA0-BB41-CD84F422DC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$81E5F09C-89CF-4BA7-89FF-BF385DAA6C37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36f894de2be7fb739accd6b79e6f95d43c99e16e","datavalue":{"value":"5039350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$E1335259-D45B-4916-892D-8A50D01D2601","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":"Q5479283$47848834-19BA-492D-8A7B-81570B2A7B83","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":"Q5479283$10D3EA2C-9E4B-4B12-8503-25E28572CFAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479283$BDC555E0-C017-47A7-91AB-FC7C7B6CEFBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4162787fc5bbc64e7e69fa55e2dcaa77aeab75bb","datavalue":{"value":{"entity-type":"item","numeric-id":3085177,"id":"Q3085177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83160bf72231f13a9bc0b251ad9835278d4c7f9","datavalue":{"value":{"amount":"+0.8788778781890869","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":"Q5479283$1D061519-FE92-4A6C-9AAD-D4C30F817118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a885c02966a4d13a0476bf42724e27759cff3475","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d1d00956c4aaecbe3d283b56b1eb8308bd6253","datavalue":{"value":{"amount":"+0.8261627554893494","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":"Q5479283$8CF0BDB0-8EB4-4D2A-AABD-E5E9F23D5A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c69ae2f62c940b46c1609776f341b089f3a5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3010366,"id":"Q3010366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b909024dbc1e5abac27a9b891030a6de00b363","datavalue":{"value":{"amount":"+0.8145256042480469","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":"Q5479283$2DCECCDD-7925-4931-BAD6-DD085F4BBD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30627a87ff2adc9a35a8e807219183b1c5fff067","datavalue":{"value":{"entity-type":"item","numeric-id":4583323,"id":"Q4583323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d716e9c54138c665c1e166325b1f7fb9a83fb85","datavalue":{"value":{"amount":"+0.8079625368118286","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":"Q5479283$95507C60-CFB7-4EB1-A498-852A070D69F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348114fc829b506bcafd88dc802fcf28e5929343","datavalue":{"value":{"entity-type":"item","numeric-id":2957698,"id":"Q2957698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd2c8a3de48d7be5534cbe49129eab77c20f602","datavalue":{"value":{"amount":"+0.7993415594100952","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":"Q5479283$279048BF-206B-4834-B4B0-92A53A98DD0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479283"}}}}}