{"entities":{"Q5479280":{"pageid":7508839,"ns":120,"title":"Item:Q5479280","lastrevid":49873954,"modified":"2026-01-11T12:23:12Z","type":"item","id":"Q5479280","labels":{"en":{"language":"en","value":"Automated Reasoning with Analytic Tableaux and Related Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5039347"}},"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":"Q5479280$03C080D0-F3EE-415B-9B92-FF2940E5233F","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":"Q5479280$3E17486A-59D4-453E-96F2-526B34477D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72d4b6b3c46659b4d177fd3452356ea051a6b745","datavalue":{"value":"1133.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479280$501CD1E2-2498-44D3-B0B0-617DAA39442C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5b7c2f925581e62787adf3c67f3bc06e2b2837","datavalue":{"value":"10.1007/11554554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479280$BC9B2893-20DE-44FC-BFAE-A86C377D8E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479280$C57BEC84-05C5-4107-99EA-A8CF40E28150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5479280$BAB10E68-45BD-46A5-B24F-19A0D5DC7307","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":"Q5479280$AD66FB8D-71B0-4611-907D-43349EBDDC5D","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":"Q5479280$187E599D-681D-4908-88A3-774015D8BD55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479280$1860A0C5-3E0A-47A8-9089-C1C99F717BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479280$F9C99D12-02C4-4309-A432-A6375E33DBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479280$0905338D-481C-4C4A-BC76-DB42C6D5AF5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc431b22831a0308660940e665f05b9dd8b78b7d","datavalue":{"value":"5039347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479280$3A35CDF1-69D9-445E-B112-D67D0BB463B0","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":"Q5479280$FACA691F-C0C2-4D99-BE2D-753169B6634C","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":"Q5479280$43C7510C-5F20-4718-B095-6768E0BD7A6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbcf68fd22271fd18cac4bf36f6d8904b66055ff","datavalue":{"value":"W2486590071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5479280$083367F7-517D-4D27-8AB4-E12D78E24C1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b679b52ad94566ead0d50598774258930d8d502a","datavalue":{"value":{"entity-type":"item","numeric-id":877893,"id":"Q877893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601e9eb6fdbed00147c60b00ef1986c7b000ced3","datavalue":{"value":{"amount":"+0.9690596461296082","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":"Q5479280$CA7135EE-4F4B-4C14-883F-EFB83F83C456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14dcc4b63a12af34ac3b264ac34f80118821517","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420a3976d023dbefa0f9c24854c60163fe044727","datavalue":{"value":{"amount":"+0.7976493239402771","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":"Q5479280$45E111D3-048C-4116-B461-31A26B044FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cfebf9bdb556e1bf8060bc49c3df40cdd5e727","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684f5531dd5db5192758cb4be72792f28b9b1751","datavalue":{"value":{"amount":"+0.789430558681488","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":"Q5479280$67FF64A5-7003-4161-8CC3-CF5F3A422D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bef107d15a4013e15381519ec82e462fbdb523b","datavalue":{"value":{"entity-type":"item","numeric-id":5434489,"id":"Q5434489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9f258e90e88aa85e06fdee1f5380fc15876f6f","datavalue":{"value":{"amount":"+0.7713395357131958","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":"Q5479280$95F1BBFF-00E0-455B-B33C-F95893249673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8444bef407ba02ce03559a91ca29928cad93d0e","datavalue":{"value":{"entity-type":"item","numeric-id":359877,"id":"Q359877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9698a09e1d078f88c1ed492772620606257223b","datavalue":{"value":{"amount":"+0.7657137513160706","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":"Q5479280$62018E19-568D-4014-B4E8-BC75429116B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5479280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5479280"}}}}}