{"entities":{"Q1320030":{"pageid":1330780,"ns":120,"title":"Item:Q1320030","lastrevid":67164984,"modified":"2026-04-12T15:43:50Z","type":"item","id":"Q1320030","labels":{"en":{"language":"en","value":"Effective counting of the points of definable sets over finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 553999"}},"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":"Q1320030$491960BC-B9A3-4E08-90BC-40095A6B6BBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac718d8f5747805a0d088c426f087a845b6e1320","datavalue":{"value":{"text":"Effective counting of the points of definable sets over finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320030$0E58109D-495E-473D-924C-764F3239F809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12248220043456bda4c390b4f7ab31838b9c25f4","datavalue":{"value":"0826.11027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320030$ACB8D5BF-1855-4E6B-A3F6-45EBD0BED5D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0027d156048063a92925b5a96b855bc9b4e9ed5","datavalue":{"value":"10.1007/BF02758639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320030$3497F26D-0BF6-48B6-A4B8-E34F51C1537B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdcdbc3a7b25c85a78c37cb9413d4e7e31ddaef7","datavalue":{"value":{"entity-type":"item","numeric-id":424256,"id":"Q424256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$9A35F0C3-FD1B-40DD-A10E-2DD01B892819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f4e5d177dcb3edc478782fa09128909d472ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":169772,"id":"Q169772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$8082A9EF-B270-4259-9DD7-9DC6030F662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b300bc657451f28d4e8ef892871c241006f1dc","datavalue":{"value":{"entity-type":"item","numeric-id":169773,"id":"Q169773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$62973445-A58A-4A4D-ADD0-2E5112F97210","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$A3CA8729-27BD-4583-BEF9-A32B53C194B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa360f30920960578a9b36c78501bd4fb481df93","datavalue":{"value":{"time":"+1995-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320030$95511DF4-9F3B-4742-A2B9-B2BF65F7FCE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cfbbe6b7d9f8d51a7fc4804ca65cd1758ad9b210","datavalue":{"value":"A theorem generalizing the Lang-Weil estimates for the number of rational points of a variety over a finite field is proved by model-theoretic methods in [\\textit{Z. Chatzidakis}, \\textit{L. van den Dries} and \\textit{A. Macintyre}, J. Reine Angew. Math. 427, 107-135 (1992; Zbl 0759.11045)]. The paper under review gives an algebraic proof of the theorem. An algorithm is constructed to find formulas and constants occurring in the theorem. The authors use Galois stratification as the main tool in their investigations.    For the convenience of the reader the notion of a ring cover and the Artin symbol are defined and their basic properties are stated. A section of a paper is dedicated to some basic definitions and concepts from algebraic geometry. There exist several slightly different definitions of Galois stratification. The authors use the version of \\textit{M. D Fried} and \\textit{M. Jarden} [Field arithmetic (1986; Zbl 0625.12001)]. Another important tool in the paper is a non-regular analog of the Chebotarev density theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320030$858DEAC3-0E10-46EC-9E40-E2C068B903B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ccf6cf9514426243b160a3a06e070c16a64dbff","datavalue":{"value":"11G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320030$0C874B84-CF2A-4B6A-88AE-9D83549DC8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"292377916051be7ed8523a9de41751734b556659","datavalue":{"value":"12E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320030$39307B26-7907-4681-B780-B6649F70A36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320030$78638091-42D3-4C45-8C13-31439C9A9B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320030$D7A30A8D-DEC4-460A-B918-97567D428D0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52421fc15c135a804e2400722fe5d87899db71f4","datavalue":{"value":"553999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320030$081B247B-DFEF-492E-937F-E7C26BE60CD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905435593ed428dc2e6765a1aa7e70f643886771","datavalue":{"value":"Lang-Weil estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320030$48751613-E9FF-40CC-A840-DF19434D2CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614995277baac42d177d50d9ac2d3d30e88b8552","datavalue":{"value":"number of rational points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320030$B85056EA-D282-42FA-B846-AC55EB5054C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7331736c29f5e7cacfc551c7c646126507e3782","datavalue":{"value":"variety over a finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320030$D7DC2059-F3BA-43D1-8455-1CC5156B1660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819161ae70a4bc0390ea94885fe05fb7cdf0ec20","datavalue":{"value":"Galois stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320030$2D04AAF1-F2A3-4E7A-9642-E74302C73EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae0eb2d8ac611b31ab738cbdfbedc232882ec05","datavalue":{"value":"ring cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320030$C61F3B3E-1D37-4A9F-B96E-A62B49A82724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3eab89137b07e3019019014af894880166ea8c5","datavalue":{"value":"Artin symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320030$BA0876FD-E2A5-4509-911C-5C7D18D4F5A6","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":"Q1320030$B303264B-6248-4998-8771-0C04D4406AB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be6982d75b0bdb3a465844336d6d6672da1a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3988353,"id":"Q3988353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$83E1A680-0206-4D87-BA35-AB3F71CC3B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a139099530af27f143b4d319e9791eea14b1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1183069,"id":"Q1183069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$3E7226DE-BD6E-4027-8CA6-752E25D8D04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e772e65f63fea2b5cb3758be7a4783c5899afa","datavalue":{"value":{"entity-type":"item","numeric-id":759801,"id":"Q759801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$07F80720-27B9-42E3-BD18-D0E7CF184CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2c0b685389a8438f7f005ba501bef03f0b75b0","datavalue":{"value":{"entity-type":"item","numeric-id":3027108,"id":"Q3027108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$4C4FA747-A948-4F7D-A470-77F3CB03B0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d486f05a277412207934229365779d1ce63fb95","datavalue":{"value":{"entity-type":"item","numeric-id":1245823,"id":"Q1245823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$38853B59-E0F7-47B8-A91C-DDEB0A777767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55ea889abcdea4a155f5a1d623c3e4203f61d55","datavalue":{"value":{"entity-type":"item","numeric-id":3946257,"id":"Q3946257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$3DF6D4D1-D72D-429F-A037-CF2039D4AB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$1F0F3E86-46D5-4714-8422-A0EE2DB9E2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934abd10c7461f5baeaa5111afd91db563113f17","datavalue":{"value":{"entity-type":"item","numeric-id":4276472,"id":"Q4276472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$A080B693-C148-4383-B7CD-227DA78EE745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aab4002593b76b5e02c5f485ee18f7165ca037c","datavalue":{"value":{"entity-type":"item","numeric-id":5619188,"id":"Q5619188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$52887EE2-2CCE-4AA2-9F2A-3275E2CED4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb56f2c0e6c202b641d2db83274bd3bebd51ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5833284,"id":"Q5833284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$6484702F-C2C0-4B81-9F51-CD1EE159149B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99173eec49584b57007bfd0924dc880d1d99911c","datavalue":{"value":{"entity-type":"item","numeric-id":3882554,"id":"Q3882554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$EA4E7384-AE52-4BF2-9112-AFA5250261D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322adecd21278a1f24f2cb2f04b65b881b9016bc","datavalue":{"value":{"entity-type":"item","numeric-id":2541380,"id":"Q2541380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$8C24F6F0-3FC7-4A38-BEB8-3DC97BCE2D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3fa63dadb8a72a3bf45a42373613327bcd412c","datavalue":{"value":{"entity-type":"item","numeric-id":4071851,"id":"Q4071851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320030$B82B2C50-FEEF-467D-BD60-8D1F2A3B1BCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb351dfd446f174786fa63f9155d3da70a1da39","datavalue":{"value":{"entity-type":"item","numeric-id":3988353,"id":"Q3988353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095452d0d67967e2a5cad4a9c984b7a84c85fd62","datavalue":{"value":{"amount":"+0.8208993077278137","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":"Q1320030$FB7A4588-9418-40EB-801C-7FF9648C855A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707eb92505bcc2acbad60267112d3a4bef58cfe7","datavalue":{"value":{"entity-type":"item","numeric-id":2349351,"id":"Q2349351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63de530440f97238eebab0c9d914712937e0fbd6","datavalue":{"value":{"amount":"+0.8134512901306152","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":"Q1320030$7C03A0A5-68F9-466C-9153-6AB4CA45766C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e8b05f02dcbbb84a337c79dafbae034e559d90","datavalue":{"value":{"entity-type":"item","numeric-id":4004800,"id":"Q4004800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd061e4c66e11ac2273acbf5d1aa13058f06222e","datavalue":{"value":{"amount":"+0.7612481117248535","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":"Q1320030$925F9173-B7C6-4877-A099-5A23CE4440CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36863f60ae0b2b369a3a36d3400d412acb123bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4408659,"id":"Q4408659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67de526f3de11ce33b2a9ab9631c7a8d94e2203e","datavalue":{"value":{"amount":"+0.7578381299972534","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":"Q1320030$6179A8AD-CDEB-479B-9E8B-5751AB442556","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective counting of the points of definable sets over finite fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_counting_of_the_points_of_definable_sets_over_finite_fields"}}}}}