{"entities":{"Q1178712":{"pageid":1189461,"ns":120,"title":"Item:Q1178712","lastrevid":66511965,"modified":"2026-04-12T10:34:38Z","type":"item","id":"Q1178712","labels":{"en":{"language":"en","value":"Langages alg\u00e9briques de mots biinfinis. (Algebraic languages of biinfinite words)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22297"}},"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":"Q1178712$B6799765-1972-41E3-A6F7-A1A90AE4F349","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"015f25611808ab427eeadceab8f031bcbe146edd","datavalue":{"value":{"text":"Langages alg\u00e9briques de mots biinfinis. (Algebraic languages of biinfinite words)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178712$7A377263-EBC7-43C2-8CAF-EA5D1241B0E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45f37163c25791c1bb2609649d4683387124e2f1","datavalue":{"value":"0742.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178712$104CB8DE-F250-42F0-8C5E-2180529EECD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79b99db2717991cac70f3fd659a4399e53b2e037","datavalue":{"value":"10.1016/0304-3975(91)90022-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178712$949326A3-0A53-449B-AD7E-05E7B8DDE040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"313c996a496538a10d604b22fef5d4ff7921a065","datavalue":{"value":{"entity-type":"item","numeric-id":801687,"id":"Q801687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$BB0F9BD1-7717-46D6-A25B-74534F6346B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5392602cebfb387ee7516fe8118e538d44d0b430","datavalue":{"value":{"entity-type":"item","numeric-id":221594,"id":"Q221594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$A7C4A5F6-B761-43A6-975E-9B4215241893","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":"Q1178712$12A528BB-7229-42DE-BA0B-FCF7F2663AEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178712$A9CFCE06-880E-4EC7-A7AE-327D52A3A5D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7280233c011f3b4187132fd0085dfd4415538f34","datavalue":{"value":"A rational language of bi-infinite strings is a finite union of languages of the form \\(^ \\omega ABC^ \\omega\\), where \\(A\\), \\(B\\), \\(C\\) are usual regular languages. The aim of the paper is to define algebraic languages of bi-infinite strings. Three different approaches are used, leading to three different families, \\({\\mathcal C}_ 0\\), \\({\\mathcal C}_ 1\\), \\({\\mathcal C}_ 2\\) for which the strict inclusions \\({\\mathcal C}_ 2\\subset{\\mathcal C}_ 1\\subset{\\mathcal C}_ 0\\) hold. \\({\\mathcal C}_ 0\\) is the infinite rational closure of algebraic (context-free, in the usual terminology) languages of finite strings, \\({\\mathcal C}_ 1\\) is the family of languages of the form \\(L^ \\omega(G,v)\\), of infinite strings generated by a context-free grammar \\(G\\) with the axiom \\(v\\), and \\({\\mathcal C}_ 2\\) is the family of languages of infinite strings which are the adherence of context-free languages of finite strings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178712$1A86A0F4-9C42-4DB2-BF2C-5E85E17ADC0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178712$92D30359-A5E8-4232-8186-C39FA3E6EF44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33529795c2ad6a6d12b731a1da2e855d8d887c23","datavalue":{"value":"22297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178712$5FB65C2E-BD69-41EA-8E2F-A19703FABE60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7052b4c42287e04e941e1c04c0a864f7a4f08","datavalue":{"value":"rational language of bi-infinite strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178712$E0A22AE0-A195-44AC-BCB5-36EDF2BC569F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42210bafdd52b4cbc4a62733feb51d89cc3d12b1","datavalue":{"value":{"entity-type":"item","numeric-id":224640,"id":"Q224640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$346FBBDF-A3B0-4D6F-A005-0CAA691A06FF","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":"Q1178712$4C5EAC68-8A95-431B-BA3D-EEF26D4192B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6e78e60c1d39bb598ab89b76b5e759727e01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1055201,"id":"Q1055201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$283B41FF-29F1-422E-B141-CAF228D52D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65501c8245b557d36efdae76e9d454a0e1706d7a","datavalue":{"value":{"entity-type":"item","numeric-id":760801,"id":"Q760801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$2EFA30C8-3BD8-4112-83D4-554A5F73485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606a1ba0b25e8d1bacb0f033a5b4ac81479cf171","datavalue":{"value":{"entity-type":"item","numeric-id":1157971,"id":"Q1157971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$AF8A82C5-611C-47CB-B9DC-F96D0278934B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb815428302d1c314d9430c783b235fc04f967b","datavalue":{"value":{"entity-type":"item","numeric-id":1054162,"id":"Q1054162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$C2EB1A0F-905B-46C1-B286-E620077B2263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e5a0e65126d9e3d89e8d06cd09d71f330bef34","datavalue":{"value":{"entity-type":"item","numeric-id":801688,"id":"Q801688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$BF28AA3C-FECF-4DF7-8584-EAF469DBE5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5e2324f149dbe2e1e967c7649328144557e5db","datavalue":{"value":{"entity-type":"item","numeric-id":4147597,"id":"Q4147597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$EFB0B079-67E9-4BD2-9ACC-4FB074C8451C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2159dd9c5a98c068eb1d54cc56d1f54410d08a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4168081,"id":"Q4168081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$E0D93B43-FBEF-43EA-A639-0F07ADD3F9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cafae0091482977c83cf2faf328d162bef67106","datavalue":{"value":{"entity-type":"item","numeric-id":3756537,"id":"Q3756537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$FEAED66C-6757-4AD1-9188-6746349B2092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76960ca4e85d5644e0a64337047de83128981269","datavalue":{"value":{"entity-type":"item","numeric-id":5528646,"id":"Q5528646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178712$51880D4B-6B07-432C-A2DB-62A470602EF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff344c1833e7a32b599a489fc7d578d955432358","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90022-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q1178712$2C3A9A2F-266A-4519-99F1-D5610E014845","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ff93d377527584a5506d8b75ae7b1b0d498aaf1","datavalue":{"value":"W1996645707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178712$5B5EEE8A-24C2-46AF-8347-3CEEA82B89D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cecc6797724e771b32e835de4dc2ba5c597c936f","datavalue":{"value":{"entity-type":"item","numeric-id":3756537,"id":"Q3756537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a0042b6ac3c73f7fbb6865a84d51bd94279c1d","datavalue":{"value":{"amount":"+0.7990456819534302","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":"Q1178712$57F099F9-CF77-4B47-8E1D-E3114324D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b934f1015076576ce6c69a179d39a21609b4ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1183567,"id":"Q1183567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f681106e850e311a50e54af02b08bca029d1053d","datavalue":{"value":{"amount":"+0.7949025630950928","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":"Q1178712$F319E46B-0099-4183-A925-E014A5BE3858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb51ed037cdaea08ae05e023c2b7fc1aa07b38a","datavalue":{"value":{"entity-type":"item","numeric-id":4285342,"id":"Q4285342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44e5ab459deae9152851540feac42e1c3886029","datavalue":{"value":{"amount":"+0.7875804901123047","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":"Q1178712$EAB07E5F-2777-4BA8-81D3-D47CB152F373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3c59be0814d888c0e3d8e6feae7700cce62c17","datavalue":{"value":{"entity-type":"item","numeric-id":4440406,"id":"Q4440406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae4b50b3644fe0f4d2b78859a19c0a6a3e7a752","datavalue":{"value":{"amount":"+0.7719343900680542","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":"Q1178712$E907EDA8-C3DB-4099-9806-8976EF760C45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Langages alg\u00e9briques de mots biinfinis. (Algebraic languages of biinfinite words)","badges":[]}}}}}