{"entities":{"Q7361491":{"pageid":31520012,"ns":120,"title":"Item:Q7361491","lastrevid":105367148,"modified":"2026-10-07T13:36:45Z","type":"item","id":"Q7361491","labels":{"en":{"language":"en","value":"Dirichlet L-Functions and Dirichlet's Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Dirichlet_L"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71b60da2d99657fa8aa2c29d7af506d4ff56f873","datavalue":{"value":"https://isa-afp.org/entries/Dirichlet_L.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361491$6C4BC3DE-1BAC-481C-87DF-48A3460F126C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a12ec7063b327c3d84dbc9cfab50ae3a61ebdf01","datavalue":{"value":{"time":"+2017-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361491$649D5903-E0F9-400A-9CED-3AD6D9A72842","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361491$C9F9D978-6052-4678-8918-A651DE591B31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43e5bcc5d2a8e1cc411690af21c6407732c704cf","datavalue":{"value":{"text":"Dirichlet L-Functions and Dirichlet's Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361491$1EA1FEE2-B6E4-4917-989D-5F4E7C0E3EB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50089ef07b84c17844c1a3d68366d109f0911454","datavalue":{"value":"This article provides a formalisation of Dirichlet characters and Dirichlet L -functions including proofs of their basic properties \u2013 most notably their analyticity, their areas of convergence, and their non-vanishing for \u211c(s) \u2265 1. All of this is built in a very high-level style using Dirichlet series. The proof of the non-vanishing follows a very short and elegant proof by Newman, which we attempt to reproduce faithfully in a similar level of abstraction in Isabelle. This also leads to a relatively short proof of Dirichlet\u2019s Theorem, which states that, if h and n are coprime, there are infinitely many primes p with p \u2261 h (mod n ).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361491$3B7C3E15-B55B-450F-B520-2CF9A7452469","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3c84fedec6be5b8f59fef93a6a8632cda3e40","datavalue":{"value":{"entity-type":"item","numeric-id":4101884,"id":"Q4101884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$83124066-86B0-4F99-9AF2-2BBC0FCA21DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92cb4fd1e15339e6018a4d15ba7f11815833f511","datavalue":{"value":{"entity-type":"item","numeric-id":3075240,"id":"Q3075240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$3F4C62BC-59AF-498D-B67A-07A410FA12D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043d123eea368f4ca41b305129130ac14e8a96a7","datavalue":{"value":{"entity-type":"item","numeric-id":4377812,"id":"Q4377812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$BC5D5E39-46D1-4E97-9A5C-A7A15294C337","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$62B242E8-88E2-4156-93CC-D0E53025CCCF","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b83fc09e17621b54184fdd3fad90a93db0a1826f","datavalue":{"value":{"entity-type":"item","numeric-id":7361411,"id":"Q7361411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$54F18CCB-49BC-40D4-A14E-9D1D348C5FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0e6ae2eba2e1f66cd642028aa4e84a12d9942c74","datavalue":{"value":{"entity-type":"item","numeric-id":7361731,"id":"Q7361731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$FB3AD68F-5310-478F-938B-90A513DB66E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"a325b903994769971cc9bf2ce9be42ecc96b7136","datavalue":{"value":{"entity-type":"item","numeric-id":7361886,"id":"Q7361886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$D5767627-3A54-403A-B765-A2DCB481B5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"4e61d5c4974522a5fe3780c9295027ba96d92743","datavalue":{"value":{"entity-type":"item","numeric-id":7361487,"id":"Q7361487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$C6495F1B-7D28-4D51-BDFC-11CBCB8116C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"364a3ed3cfd99b763da76ef2b7d823f121840b87","datavalue":{"value":{"entity-type":"item","numeric-id":7361466,"id":"Q7361466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$0F59A804-6E05-41CD-A8AB-223B36FD7163","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"51467ee0a503af56d0e1903e0514853bd73fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":7360830,"id":"Q7360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$C9EE740C-740D-4340-9451-724123D25856","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361491$9CA6B2F3-76AE-4933-BA54-3AA9F55F1B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dirichlet L-Functions and Dirichlet's Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dirichlet_L-Functions_and_Dirichlet%27s_Theorem"}}}}}