{"entities":{"Q5307069":{"pageid":7336643,"ns":120,"title":"Item:Q5307069","lastrevid":50171714,"modified":"2026-01-13T08:53:25Z","type":"item","id":"Q5307069","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195161"}},"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":"Q5307069$D393FA11-4D5F-4CC1-A6A7-3F1A25105195","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307069$7688489B-306C-4F32-AE5B-5650A0CC8629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d90d0fddabafe1b92f3aa78e35fcd6556407c25","datavalue":{"value":"1126.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307069$24EC3152-CAAF-4AE3-8D05-162947D6C4F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307069$E062762B-8708-4BF2-9D6D-E27A6594073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"449016944e3d25706d1c552178df46034339185e","datavalue":{"value":{"entity-type":"item","numeric-id":234711,"id":"Q234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307069$251BFDC7-FCFD-4D13-A1A3-587CBEB2C5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b982174bf75e7052721cc417e2d2d9f93c78e8","datavalue":{"value":{"entity-type":"item","numeric-id":1404978,"id":"Q1404978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307069$309595E0-7E23-47F9-AE43-60D043A0A93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307069$54E338BC-A987-4E3A-A428-0E8644130E89","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":"Q5307069$7508C85F-521B-45DA-BA9F-86922CD85CF9","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":"Q5307069$6190B018-6965-41A9-8280-AFC5C33956AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307069$518BF9AE-D852-41F6-B8F0-89525C98039E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307069$2126D3B7-B434-4D9C-BC70-176BC4556166","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5892704cb73981e07381d756de5345db441cfdd2","datavalue":{"value":"5195161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307069$B1935207-619F-4D34-AA15-6FCCEA48B5D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99667ff6306724dbe63bc589a546934d523de225","datavalue":{"value":{"entity-type":"item","numeric-id":21966,"id":"Q21966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307069$48237E35-3EB8-4FE3-910E-577B7D8D084F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307069$252478D4-1A61-4289-AC3E-F7E3A2B43040","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":"Q5307069$E434E4EE-4A43-4BEC-9B20-E10837A37BCE","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":"Q5307069$59846016-5044-4258-93D8-852ED43BD6DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307069$FE4E5F83-B743-41A1-87E4-635E2601BCE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307069$015A12AA-8328-4E74-BDBA-EE33525B305A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945eea058291f3ac6c383e7ee51c1ace24b32dff","datavalue":{"value":{"entity-type":"item","numeric-id":5277744,"id":"Q5277744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57774e1d8c642951e6c6b16068115157873229c4","datavalue":{"value":{"amount":"+0.8604825139045715","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":"Q5307069$A2D029D9-CE1D-44EA-A751-92CC286DE4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80956b498c98bd42e00aa1cf49d309ed5c58e89d","datavalue":{"value":{"entity-type":"item","numeric-id":1826368,"id":"Q1826368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4738c69794f9a1caea6e61c8c45210ac065b3cda","datavalue":{"value":{"amount":"+0.8088560700416565","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":"Q5307069$9C9E5DC4-9E2F-4473-86AE-4BB14311BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7edb664b4f0d170162b6f506479a42b06b7281","datavalue":{"value":{"entity-type":"item","numeric-id":3568221,"id":"Q3568221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4623bb8086bab2e634a2d929ef748c62e29226","datavalue":{"value":{"amount":"+0.8057447075843811","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":"Q5307069$84132A43-654B-4E5C-82CB-4375A8370AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9df7499817978c9c41a287e68810e53cff96ae","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20b6e5183c7ae792364b6df36467fc01c1bbe69","datavalue":{"value":{"amount":"+0.8032167553901672","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":"Q5307069$DD00BC79-4144-4402-A9D2-63F172B89FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545d1c23e039802d3560269622daef18098c5313","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2706fbfbc81e8f55c39862b13f8bfffac6edb9c","datavalue":{"value":{"amount":"+0.7932358384132385","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":"Q5307069$64448866-12CB-4242-A7FE-564F23D4062D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307069","badges":[]}}}}}