{"entities":{"Q5307070":{"pageid":7336644,"ns":120,"title":"Item:Q5307070","lastrevid":50171717,"modified":"2026-01-13T08:53:25Z","type":"item","id":"Q5307070","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195162"}},"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":"Q5307070$89869FCA-4E01-4696-AF9B-3C7ACB5D05BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307070$8DE8596A-836E-49CA-85D2-7968094AC5F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fcdae05eba5f453d5224487b130301a84c10f63","datavalue":{"value":"1126.68584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307070$FCF8D629-9191-4D0B-A65C-1D0A559C12D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51e155508d807b64765c131fbf01f843317afdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2753883,"id":"Q2753883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307070$8B63231A-2C50-4A4F-AB18-858218A7390D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307070$F63C4DA2-CE31-4F44-87FE-6666D024F76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe05c2bf4e8ee2ced24007671856f36b151ddff4","datavalue":{"value":{"entity-type":"item","numeric-id":4251216,"id":"Q4251216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307070$F4116974-4E37-43AF-965B-49B08F6CCC5E","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":"Q5307070$0D6911C2-2482-4C82-803B-203EE255493E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1fa8a744de31aab5e0066db3d2fb556fbdf6da","datavalue":{"value":{"time":"+2007-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5307070$711C9AAB-2E77-4E6B-83B1-51E2B57913E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307070$2D8203AC-757F-4F44-B226-F75B643B11FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c08dc880ccd1776cfd00ad5b0b0c542773e77103","datavalue":{"value":"5195162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307070$9375AA97-AABF-45A0-8D52-1ED1AAA31BE5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"909568dabd53bb460a5ae2294cdee3516c457899","datavalue":{"value":{"entity-type":"item","numeric-id":21952,"id":"Q21952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307070$805514F7-36B0-4B84-A742-F532C4B27B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6540d62c09c61919ac6ead0ff7f7594adb90246","datavalue":{"value":{"entity-type":"item","numeric-id":12896,"id":"Q12896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307070$281523CD-39D0-4BC5-A534-377E825354BC","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":"Q5307070$6819F268-18AF-4873-A87C-D7D988E6B6C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da687b8d72dd2f5ab38e00c50bffc670fa7530e6","datavalue":{"value":"https://doi.org/10.1007/b98691","type":"string"},"datatype":"url"},"type":"statement","id":"Q5307070$DF3A6BC8-1E45-4BD6-B3C4-E603F8AB2E6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307070$1F2D3997-FA4E-41C2-B6FD-8627B82B237C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307070$0EC1ABC0-0F14-4EE8-8BAC-35DC4F3403C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c9b261f7213ec034230b34bddf4c822b627e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5714104,"id":"Q5714104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c445ca56b0f63098b4b7d91d1e99a6fbc5b0c4a3","datavalue":{"value":{"amount":"+0.7859152555465698","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":"Q5307070$79CFDD60-2E76-48A7-B7F9-9A66C49C0F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959efe7ffa388a0c3f8d087cc854d2999ffc7d71","datavalue":{"value":{"entity-type":"item","numeric-id":2753884,"id":"Q2753884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e46a9ba2d693a23512c90cc9c6bd1502e0cd7c5","datavalue":{"value":{"amount":"+0.7806782722473145","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":"Q5307070$2CFBA427-E60E-456F-92C5-C90D543CC29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddfb425d157505a6249a2923caf4ab8d742bb42","datavalue":{"value":{"entity-type":"item","numeric-id":5691514,"id":"Q5691514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f3126ca0013e7f0913dd1c76e3a4ed23d5e195","datavalue":{"value":{"amount":"+0.7629849910736084","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":"Q5307070$4063580A-960D-45B6-8913-787B19252FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ff636173e5435c4041fc5426fa27e2a48c5d54","datavalue":{"value":{"entity-type":"item","numeric-id":5505526,"id":"Q5505526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ef11e4a7859ce1d2bf8ab5c79cee8326d80823","datavalue":{"value":{"amount":"+0.7463353276252747","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":"Q5307070$6AEACC04-677D-442E-8BC3-3944ED4E5E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48e8f8730153885b9a1e84d4fed97c8e347e507","datavalue":{"value":{"entity-type":"item","numeric-id":5714034,"id":"Q5714034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16abf65b389a09b0f72692aa97f7a7f94631dec","datavalue":{"value":{"amount":"+0.7398064732551575","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":"Q5307070$FDFB58A7-8625-483E-89CE-9D9B10607388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307070"}}}}}