{"entities":{"Q4934144":{"pageid":6963726,"ns":120,"title":"Item:Q4934144","lastrevid":47432269,"modified":"2026-01-01T17:59:55Z","type":"item","id":"Q4934144","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389651"}},"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":"Q4934144$07009C08-06F2-47EA-88E4-89E3FFD6C1CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"540c51857bc6309a929aba3506cf546d9010e566","datavalue":{"value":"0951.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934144$FB138B5E-4C5B-40F7-99AB-C0CB332B2A06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4471e2db545347311a5011665672d7ca25252aea","datavalue":{"value":{"entity-type":"item","numeric-id":2726293,"id":"Q2726293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934144$7E92A472-1608-4AB9-8A78-A76844E53C59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934144$062E54A4-A68A-43AD-8C83-4F1E0813EA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934144$8AD66A17-71E0-47C2-A73C-AC80B9B95AB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7a16577d6c2803bd3e62fa7940fbc5187706ae3","datavalue":{"value":"1389651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934144$6EB48460-EC69-4B5B-A7FA-815AC596B9E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934144$AEB9B389-374C-4340-BB8D-26F9C36A3D4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934144$090A28FC-BECC-487D-AF2C-E4A0417A5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934144$7C7293A1-869B-4491-BB64-816061CDB915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934144$BAC60685-C409-441F-91EE-5A2F3FF7D676","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":"Q4934144$10CD99C0-1AB1-435B-9965-D4CEB44C3A4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2033a5d2f4312024fbd6d893ddcc1d57615fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5927985,"id":"Q5927985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaca70f32da46046999d27a6ea0fde46564f81f5","datavalue":{"value":{"amount":"+0.8011530041694641","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":"Q4934144$A7791BD6-8C53-429B-9C91-43AA1352DE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597602181c0f93a0ad3700a234bd849cd63f59ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1335f7cae8c0854063dd4ff5c3f6177d5c8e9229","datavalue":{"value":{"amount":"+0.8006452918052673","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":"Q4934144$8A540D9D-CD28-406A-888F-B9F6CD601794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a902ff817b2748de60a657c337c8eb575bb623a4","datavalue":{"value":{"entity-type":"item","numeric-id":4217955,"id":"Q4217955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e583c9ad74628774f8d94b5c8c5028499cab86d","datavalue":{"value":{"amount":"+0.798048734664917","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":"Q4934144$ABBC3A2B-D159-439A-9A46-E5418A7D626F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8476da4648dc0228d7d9a6f4cd404123e4ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":2726303,"id":"Q2726303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df433ccfee8b01ffb5dc758d504577874f1ecf99","datavalue":{"value":{"amount":"+0.787268340587616","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":"Q4934144$E23B9D47-B504-4BE2-A0AA-517884415897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2b633ea4b34a6290cf9d900a01501160c896a5","datavalue":{"value":{"entity-type":"item","numeric-id":3727949,"id":"Q3727949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df433ccfee8b01ffb5dc758d504577874f1ecf99","datavalue":{"value":{"amount":"+0.787268340587616","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":"Q4934144$36FF35D4-FEE7-4B61-8820-AF5D0C8A1740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934144"}}}}}