{"entities":{"Q2852039":{"pageid":2862759,"ns":120,"title":"Item:Q2852039","lastrevid":51838595,"modified":"2026-01-20T07:17:27Z","type":"item","id":"Q2852039","labels":{"en":{"language":"en","value":"Ascertaining mathematical theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213650"}},"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":"Q2852039$F4A0AF93-C759-411E-B64B-772A8207506E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a71597ffda43a35d63f3832a2520acdd32c05519","datavalue":{"value":"1273.68324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852039$E56402A3-3746-4BDD-B4EC-5BD7149B0397","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494dd4585cfad359ccd3dddd71945557ced4e97c","datavalue":{"value":{"entity-type":"item","numeric-id":168887,"id":"Q168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852039$BCFA5884-F19D-4D84-A632-56DEB38F6FE8","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":"Q2852039$8377B254-D52D-4027-84FA-E6338A20028D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ab3c34017d0f8690ec6139e0c4c1d8c5639fd4","datavalue":{"value":{"entity-type":"item","numeric-id":412525,"id":"Q412525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852039$542B46B6-0EDD-4969-92BE-05507ED2C079","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-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":"Q2852039$8D2C956B-78D3-4027-93C0-DC14199AA6CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bd4fd109a1da8c205783b572a6d06ebdf209773","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106001071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852039$C131B3A9-97CF-47EA-8AAB-6D04B13F8571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852039$344ADB36-345F-42B9-B3DA-95E7377BE0AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34cf9c6cff4f59e733f82b994b04c78de7c08dca","datavalue":{"value":"6213650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852039$5F40F9A9-1A14-4F4D-A9EC-694E7C583DB5","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":"Q2852039$8F29E407-3B9B-4A38-8B17-327BB0CB6716","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ee2ca675d2efa7b42392bdfc4f1042893db8e04","datavalue":{"value":{"text":"Ascertaining mathematical theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852039$0061DEAA-57CC-4320-A253-026DA6D5E598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82df8dcee434c89e7435924a7d5b5db60777f3bb","datavalue":{"value":{"amount":"+0.7090645432472229","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":"Q2852039$1F1EAFD5-1D7E-4A30-9EAA-3255F8047A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88afd69a9b242c093828197147a90fd80978ffa3","datavalue":{"value":{"entity-type":"item","numeric-id":4499159,"id":"Q4499159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa7a85cd31774308c15da9c11d36fcc64d24973","datavalue":{"value":{"amount":"+0.7065552473068237","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":"Q2852039$663D5050-308A-40A3-B51B-841482730604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71d8482de6f7633ab6bafe71efe343ff4e4101c","datavalue":{"value":{"entity-type":"item","numeric-id":3485887,"id":"Q3485887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffb2b12778b06b31771533b253911738599e99b","datavalue":{"value":{"amount":"+0.7051985263824463","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":"Q2852039$F3BB5D43-53CB-4485-BF38-36633C5D4039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94184a395173f1800c8efb0fef89d70cee12a70a","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7a186eb31f589899a060062c8e9c952f20f9b1","datavalue":{"value":{"amount":"+0.7016310095787048","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":"Q2852039$6ECA50DD-7233-435B-A378-AA75624650C0","rank":"normal"},{"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":"ccef47f24143efe492755a729dca88a503537ff9","datavalue":{"value":{"amount":"+0.7006898522377014","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":"Q2852039$6911F32E-139A-4875-8B47-AA35599DCCB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852039"}}}}}