{"entities":{"Q3075240":{"pageid":3085956,"ns":120,"title":"Item:Q3075240","lastrevid":85687517,"modified":"2026-06-03T11:03:36Z","type":"item","id":"Q3075240","labels":{"en":{"language":"en","value":"A formalized proof of Dirichlet's theorem on primes in arithmetic progression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850136"}},"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":"Q3075240$42DE9246-5581-4B4E-9AA4-3C861047FEB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afaaa102291fe80675917af4b489447a660744f6","datavalue":{"value":"1205.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075240$924EDBA3-E69D-462A-A5FE-9812A24DD4DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c08091180089def748f7e20273d2f981bdee68","datavalue":{"value":{"time":"+2011-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075240$1D7BFC4D-9E85-4E27-8BCE-6AF8DC5D3FD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fdd9d4ddea510afa6fe012f1727192fec302260","datavalue":{"value":"http://jfr.cib.unibo.it/article/view/1558","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075240$219DD6B4-3279-4466-9514-5E2FBCFAD94E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075240$3338F712-D275-4FEF-995F-550A917AFE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea6ef7477a3a5eb71fb9e3a3c21c38781cfc5e16","datavalue":{"value":"11-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075240$4438A50C-5001-44E3-B14C-BDDDA212E211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075240$A2A65AAC-D545-450B-B951-64D38284B99F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b94db60a3f163cbd84e157ad2ed8fcf49509edaf","datavalue":{"value":"5850136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075240$FE58BCC0-CE6B-4B74-88FD-9E8F1259B7FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02c1076ddf1832bad611618549cfbe8e51921d3","datavalue":{"value":"HOL Light theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075240$3959AF9B-500A-493B-9507-832055EEA605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41bbdeeaaf4eb7df48d73e5af15a656f5bb0a6e","datavalue":{"value":"Dirichlet's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075240$4177E5BA-2BF8-4E70-9F2F-8E6393401AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f296b1c815bc9677e2cf9f6cda5da1af711d955e","datavalue":{"value":"primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075240$86AC2973-67C5-454E-96AF-81FC2635D1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e8a75011abf9e1b2949dafe6f3da14707ff5d8","datavalue":{"value":"arithmetic progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075240$FB5D6A0E-B935-4B85-9F92-5F6D01D5063B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075240$94148D31-0040-44FB-9689-6C2034CCFAB0","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":"Q3075240$53870F73-D6C7-4247-9798-3A023350133A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b21873d4f75565183b2f851be5cf44feb5bb2a","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d9a129c261e5b07ceb25a6b35f607dc2efe968","datavalue":{"value":{"amount":"+0.8155075907707214","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":"Q3075240$792BB4D8-95EF-4377-A000-19EB75E4790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89216159a55347760b5115e9d5f129e5afa4aba1","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b5e4a76ae74dffdfdbb11de8db4194e8758b7d","datavalue":{"value":{"amount":"+0.7488316893577576","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":"Q3075240$F6C1D4CC-E311-4B41-99EA-B00CEB19E1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746d8d297e80be6f3b2d89ec2ce4ef244c610ff2","datavalue":{"value":{"entity-type":"item","numeric-id":5747540,"id":"Q5747540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e879e258f3ad91c99bacd66b646d58f8636679e7","datavalue":{"value":{"amount":"+0.7305431962013245","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":"Q3075240$B40161E5-4E17-405A-9BD5-97CEB81DB07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1822182d9b0bb8d3af7dabbc18e28dd6bed3f857","datavalue":{"value":{"entity-type":"item","numeric-id":5195248,"id":"Q5195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7682bb14b6ab131797be1a76bd829b5d4a810d12","datavalue":{"value":{"amount":"+0.7132957577705383","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":"Q3075240$D50376CD-B076-4E79-8619-3578BD20431C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86a83e3cf467d6000b7af1807a498b14ec9a486","datavalue":{"value":{"entity-type":"item","numeric-id":2249437,"id":"Q2249437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0ade80c256a738299b420a17fec524736176fa","datavalue":{"value":{"amount":"+0.712816059589386","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":"Q3075240$94F5D348-BD4F-400A-9031-9722C3A17342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalized proof of Dirichlet's theorem on primes in arithmetic progression","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalized_proof_of_Dirichlet%27s_theorem_on_primes_in_arithmetic_progression"}}}}}