{"entities":{"Q4929925":{"pageid":6959507,"ns":120,"title":"Item:Q4929925","lastrevid":51090350,"modified":"2026-01-16T15:04:30Z","type":"item","id":"Q4929925","labels":{"en":{"language":"en","value":"Computer verification of mathematical reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5791428"}},"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":"Q4929925$EB63365E-A103-4DE6-9EBC-45212FA9BB00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44576d8a508412074f82d7622e82910f1521dbf1","datavalue":{"value":"1195.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929925$3690034F-62CE-43A6-876B-7ED5CDCE0465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea229d5c7d566db264a7e69175c2b14cf582fccb","datavalue":{"value":{"entity-type":"item","numeric-id":438545,"id":"Q438545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929925$88A0725A-8EBF-42D6-B9E7-3B59951A0AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a957213849b9e1bc60e55cc8d34b486d8abea0a2","datavalue":{"value":{"entity-type":"item","numeric-id":803352,"id":"Q803352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929925$01C06658-6223-4A52-9983-9562F4EF762F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d264fad534586d2e8b06e42b8dddeb5c3e883ea","datavalue":{"value":{"time":"+2010-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4929925$57779E95-29A1-4B41-94F0-34F24BD7B10C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929925$2F218989-9B1B-4F8B-B3D1-B3CDB0B8CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929925$833245F3-2011-4476-A5AF-26E8E6FFE1F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a17ca54a643644b24af40fc5c2907956b353af0","datavalue":{"value":"5791428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929925$37FC3EA2-51BC-458F-8A1F-955A02984185","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":"Q4929925$83BAA88B-D4B5-44A0-94C8-E1D8E4D6D4F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cc4bce3b419979adfde04df2bc8395c358c726","datavalue":{"value":{"amount":"+0.783076286315918","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":"Q4929925$D58AD5CE-4C57-4C0B-AE99-B82FB17C501D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc39bdb8a29f0704a5886d37251fe8b71ef6cd4","datavalue":{"value":{"amount":"+0.7564498782157898","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":"Q4929925$5B1882A3-190C-4523-858D-77FDED747FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa89c6e70be16dca65fe5beeaabf1b30ad08153","datavalue":{"value":{"entity-type":"item","numeric-id":4247309,"id":"Q4247309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726b98966364922091a27dd889c33f1af3df6875","datavalue":{"value":{"amount":"+0.7464904189109802","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":"Q4929925$06D71AC7-876C-4B6C-AFE9-533D35C29959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc222b2e48a6f8ed51e81c80f0fdffe79d0c11","datavalue":{"value":{"entity-type":"item","numeric-id":865656,"id":"Q865656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c1ab9fc7591c427878c6eb44d8c6653f6e68e6","datavalue":{"value":{"amount":"+0.7434216737747192","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":"Q4929925$31CD7A74-652A-4C9C-8A7F-5594CE2F781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0254df9f4f76cad0ec1855a19e97bfce6ef1bb","datavalue":{"value":{"entity-type":"item","numeric-id":2988059,"id":"Q2988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc699a27211e660fbfc9ffd52a8781b957bd9cfe","datavalue":{"value":{"amount":"+0.7417449355125427","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":"Q4929925$D9143EE2-88D8-4070-A2CD-00A17B678EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4929925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4929925"}}}}}