{"entities":{"Q6930229":{"pageid":21084706,"ns":120,"title":"Item:Q6930229","lastrevid":75805315,"modified":"2026-04-21T02:23:01Z","type":"item","id":"Q6930229","labels":{"en":{"language":"en","value":"The automaticity of the set of primes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8093350"}},"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":"Q6930229$BC4931FF-F8AC-4529-A411-CA6C276FC222","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a346d638fa6926c10f376375622bc66a49134be","datavalue":{"value":{"text":"The automaticity of the set of primes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6930229$DA0C816A-8033-4570-AF00-2D419AF704E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b96e064bafe113c1e41adfeb043d06ea4ea820c8","datavalue":{"value":"10.1016/J.TCS.2025.115480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930229$F431100F-52CD-409A-8F4A-E690DDDD8AAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8126edac8b619a04b468b7f7f1666f476310eeb1","datavalue":{"value":{"entity-type":"item","numeric-id":829349,"id":"Q829349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930229$D3C47974-9142-4B82-A358-596D64236E78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930229$9530E933-8051-4875-8108-A42D21DA0B1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89702df27b41bf3bf3c052e0e7819f38e8fd190f","datavalue":{"value":{"time":"+2025-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6930229$5244472F-E3DD-41A6-A689-6D914C8D3930","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4230d932891a6d52e74c5dcbdfddd8478d6ad25","datavalue":{"value":"The main result of the paper is the following: the size of a finite automaton recognizing the set of \\(b\\)-ary representations of primes from \\(1\\) to \\(x\\) is at least\\N\\[\\Nx \\exp(-c(\\log\\log x)^2 \\log \\log\\log x).\\N\\]\\NTwo other results of the paper is a simpler bound for the set of squares (the size of the automaton grows as \\(x^{1/2}\\)) and a lower bound for the set of primes (the size \\(x/(\\log x \\log\\log\\log x)\\) of the automaton is sufficient).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930229$A3F18D88-A79F-4820-A179-33D72FA20ABA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1270526a40b4e0731730a3abee5a1d4390b5770e","datavalue":{"value":{"entity-type":"item","numeric-id":1750220,"id":"Q1750220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930229$13A707A5-C0D5-4415-BD4E-F86EEE4DDD8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930229$90EE259A-8E72-48E5-A128-EE3E56048172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930229$772D6307-3280-4197-9AD3-76861FB735C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930229$5A2891A9-9900-411B-91B0-4F6614073E43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a906c35e40df9911e1800ff29101a0cd3baaabe","datavalue":{"value":"8093350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930229$A5AE59C1-C926-4A3F-9B00-AE3D52681A22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f296b1c815bc9677e2cf9f6cda5da1af711d955e","datavalue":{"value":"primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930229$028B3955-1C39-4EC3-A951-55E2BE2DDA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930229$53BA341A-C2EE-42D6-94B3-6B560046A3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8be0af44684cfb63aeb111563cd5101c476545","datavalue":{"value":"automaticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930229$D7007041-C823-47E1-97A9-C7B9F397B0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230101dab4b11c4b0f82f0353cfbc011ef9d7f24","datavalue":{"value":"automatic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930229$917BD2AA-FFCE-4B1A-A978-74FCF8251E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08e7c837de5b0a1c61c54edcb533f918854792c","datavalue":{"value":"squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q6930229$B1CE4913-A455-4744-8851-29B725169B20","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":"Q6930229$2524CE6D-141F-4963-B759-E1B50ADE42E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The automaticity of the set of primes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_automaticity_of_the_set_of_primes"}}}}}