{"entities":{"Q1065062":{"pageid":1075814,"ns":120,"title":"Item:Q1065062","lastrevid":69767568,"modified":"2026-04-13T09:14:56Z","type":"item","id":"Q1065062","labels":{"en":{"language":"en","value":"Automates finis et ensembles normaux. (Finite automata and normal sets)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3920585"}},"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":"Q1065062$A3E85FA7-7824-4C47-A8A8-E8FDEE9083CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"205855ffd364ca769bead039a58ed8e0ae90f407","datavalue":{"value":{"text":"Automates finis et ensembles normaux. (Finite automata and normal sets)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065062$9BF9EC96-022C-450D-A4BF-8156698672A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ace256fe53e160b2e781ea971a6fc40076594b2","datavalue":{"value":"0576.10026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065062$0E8DF581-25DC-4590-8E3D-75F986AA3553","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92063fffeaba22e710fbb3c3e490fdfad695b891","datavalue":{"value":{"entity-type":"item","numeric-id":178492,"id":"Q178492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$B0E6DE3F-655D-4575-B7FD-67E8D875D715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1065062$30D8FB68-62E1-4475-A156-D3A931487FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8e5e823eaa3f01194af1c9cad93bed4300d9e26","datavalue":{"value":"http://www.numdam.org/item?id=AIF_1986__36_2_1_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065062$A06ED74D-F0CA-41D4-9904-E5E8C21119C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d9b2502151574084f5c2225ebc6ef741377ec63","datavalue":{"value":"https://eudml.org/doc/74713","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065062$9BAAA49B-3483-4AAA-A656-D173A08BF76A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"172814fd436d0d282b155ec62edadfed8719ab87","datavalue":{"value":"Soit \\(u=(u_ n)_{n\\in {\\mathbb{N}}}\\) une suite strictement croissante d'entiers reconnaissable par un automate fini. Nous montrons qu'une condition n\u00e9cessaire et suffisante pour que l'ensemble normal associ\u00e9 \u00e0 u soit exactement \\({\\mathbb{R}}\\setminus {\\mathbb{Q}}\\) est que l'un au moins des sommets qui reconna\u00eet la suite u soit pr\u00e9c\u00e9d\u00e9 dans le graphe de l'automate par un sommet poss\u00e9dant au moins deux circuits ferm\u00e9s distincts. Cette condition peut se traduire quantitativement en disant que la suite u doit \u00eatre plus ''dense'' que toute suite exponentielle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065062$EFCDED84-57FD-448C-BE97-ED6707D497C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"01393ed76d4eea61ad4470a4159df4c1f8c3c433","datavalue":{"value":"11J71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065062$999AB286-41CA-42D0-AEEF-CB01F4FB1B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f11e38b6f13ca4b029ac8b24be9156bc78adde9","datavalue":{"value":"11K06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065062$42168C5E-4AC0-4AA7-8605-3D84E454CC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065062$B31A39DF-3782-4EC7-BF60-12AA59117DD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa893850a95ec953518af93098b252bafe89e01a","datavalue":{"value":"3920585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065062$10946B91-B82D-4FE5-A34C-79193CD83A3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e91a0c3b58794bfff38c3ba841046a1596210c8","datavalue":{"value":"strictly increasing sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065062$B78774B9-D135-4CEC-A5FC-4A3CE280DF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065062$966A4F88-C3BE-4735-BE5C-57EBF47C6CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f70d8f227199ba65e20fb4982a92bac149ad30","datavalue":{"value":"normal set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065062$1D0C97CD-5EE2-4FD8-99A4-A9A0DC73BB39","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":"Q1065062$D713FB7D-EA13-4FE1-9964-B06A838B84A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90802646097ba66968a59681dd27f02365913e7","datavalue":{"value":"W2318110843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065062$1754CC15-3ABF-4B0B-B74B-865802BC95A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf022051173d8e9f9c4bd84dc0bdf02c36298f","datavalue":{"value":{"entity-type":"item","numeric-id":3841289,"id":"Q3841289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$80DC9EB2-F8A3-41F6-9A55-7A575B59D1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315f373b37972ab4ea8beee494206d4048bbc62c","datavalue":{"value":{"entity-type":"item","numeric-id":4096964,"id":"Q4096964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$8CD237DF-C6F6-4C03-8472-607C876785D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77dc5b17c1050b9217abb200bb3241cb12fdad43","datavalue":{"value":{"entity-type":"item","numeric-id":3860007,"id":"Q3860007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$295AEBFF-E605-495F-93BC-537BC10E5433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d7be17304857c3a80394c2cb4b1f9d8930ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1255781,"id":"Q1255781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$28A9CCE0-B992-43F9-B7B9-D0194998D485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3afd0c4cd5e96965dc58343fdb8134a63c6270c","datavalue":{"value":{"entity-type":"item","numeric-id":3926680,"id":"Q3926680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$6E4C5122-8382-4F56-8A46-C2AAFA221986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26ec61ad0b114755bec335b704577f3e8ceefbc","datavalue":{"value":{"entity-type":"item","numeric-id":5666530,"id":"Q5666530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$1A601B75-E226-4C13-A0BC-41003A81D37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4250e64498d6125002edc4ba2a40d451fb1a0b14","datavalue":{"value":{"entity-type":"item","numeric-id":1839280,"id":"Q1839280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$A8C2C9B6-30FB-4517-AD5C-C925CB8FB4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d764f17d0447a4954477ad87f331a5cb88bc4c59","datavalue":{"value":{"entity-type":"item","numeric-id":1102999,"id":"Q1102999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$39C8787B-F428-48E1-87BB-5826DB84840F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b349bf78b4d13ef7422df8462edd697735df20b","datavalue":{"value":{"entity-type":"item","numeric-id":3879325,"id":"Q3879325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$9D60D752-ECC9-48E6-A9FB-1E09E765A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$F5EDF897-F8AC-4CA3-A53E-88B01BCB64E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf17f3ec7ac6890d636910dd50e1ad763fff6ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5614313,"id":"Q5614313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$F9C4D523-5F91-43DD-956C-2ADCF7655269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c594e9705e780a6a4b2b01479e5d5553e79570","datavalue":{"value":{"entity-type":"item","numeric-id":5572939,"id":"Q5572939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$50B75E75-C9ED-458E-825A-CD405808C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b42d94d60266957e773272faa201baa47f178170","datavalue":{"value":{"entity-type":"item","numeric-id":4767350,"id":"Q4767350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$7315F9C1-E10E-4A0E-9519-E652438B3E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b045fbd29b530f65723e7b0fc8c53906e1733f07","datavalue":{"value":{"entity-type":"item","numeric-id":3921298,"id":"Q3921298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$8D335F15-0FFD-4254-A612-D44F91D43287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1911431c66bcd140c1ad56dcbe342417e1aff1","datavalue":{"value":{"entity-type":"item","numeric-id":3679274,"id":"Q3679274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$D0A95234-AF78-436E-9216-988EF446E29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370c0a9eb9fe930e373fdadbc4bdbd0cdde0aa2a","datavalue":{"value":{"entity-type":"item","numeric-id":3897108,"id":"Q3897108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$1D18E258-19BD-491B-A3E0-B8CAA0614C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088e9ae93d1c6523483aae05a8598688b8333763","datavalue":{"value":{"entity-type":"item","numeric-id":4103613,"id":"Q4103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$C9B9124F-EC25-48B8-9218-23990A903D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83eb9705df4e85c7cf3ec90bc3edce8edcb7c2f4","datavalue":{"value":{"entity-type":"item","numeric-id":3346416,"id":"Q3346416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$72861DE7-635C-4E6E-BCB6-B7C840FCA7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d96d3ddb1ed8811f7927459493a0c065d56ee20","datavalue":{"value":{"entity-type":"item","numeric-id":5653953,"id":"Q5653953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$8C44B831-0F1F-422B-B0E9-3D32CF71F103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7375eb3fb16e53fc324a206ccc762e44b4aa93","datavalue":{"value":{"entity-type":"item","numeric-id":5342712,"id":"Q5342712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$CA41F0F3-5810-4710-9620-ABBC86D25D8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27f73451f93114161727e0f61f4a8f906b74982b","datavalue":{"value":"10.5802/AIF.1044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065062$CBA70899-7D7A-4F04-B0DB-146EA9886C25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc1a1beeefbfbbcf5aa3adaae27b74e0e5ad168d","datavalue":{"value":{"entity-type":"item","numeric-id":4557581,"id":"Q4557581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065062$3F5A2DCC-0EDB-4B85-97DD-A12455FEBF42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72418267b02018f57c4a77c7332864427633a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":3679274,"id":"Q3679274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46e0ef1c670f79a35e73be52edd24d946c7494f","datavalue":{"value":{"amount":"+0.7999751567840576","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":"Q1065062$A287EE0B-170B-4CFC-A2E9-D4E26627C6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cadb89e7f012989922039c52a6dc28e5a16d14","datavalue":{"value":{"entity-type":"item","numeric-id":1945947,"id":"Q1945947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e1ed74c5f2af16fda772d2b2a373e475bbe07b","datavalue":{"value":{"amount":"+0.7937710285186768","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":"Q1065062$9028A95E-5CF7-41F1-A20F-007DA66F6C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1117585e4c8f3c9f37c3f2f0e9d827cedaacd61d","datavalue":{"value":{"entity-type":"item","numeric-id":4037000,"id":"Q4037000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b1c22ac92343a94b4faa28ed3e8460aded9749","datavalue":{"value":{"amount":"+0.7594587206840515","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":"Q1065062$09C09374-8700-4BBD-8E45-0522785B7426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d74f45cf6eef8e5639db3688702a55bbcbf68e5","datavalue":{"value":{"entity-type":"item","numeric-id":2424666,"id":"Q2424666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15db33a00755b3ebe05414527e28333296b42c1d","datavalue":{"value":{"amount":"+0.7544306516647339","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":"Q1065062$A001B364-27BF-4341-AC49-B9505DE3CF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a035ae3728da8192793285d0819621373a284a","datavalue":{"value":{"entity-type":"item","numeric-id":1109073,"id":"Q1109073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893c5bc3b45896ed3409d4e6f56a2a1033f10f0a","datavalue":{"value":{"amount":"+0.7474563121795654","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":"Q1065062$15ED1894-1EDD-4611-A611-24018A858BAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automates finis et ensembles normaux. (Finite automata and normal sets)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automates_finis_et_ensembles_normaux._(Finite_automata_and_normal_sets)"}}}}}