{"entities":{"Q1084871":{"pageid":1095623,"ns":120,"title":"Item:Q1084871","lastrevid":42866820,"modified":"2025-07-15T13:14:28Z","type":"item","id":"Q1084871","labels":{"en":{"language":"en","value":"Generalized language equations with multiple solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980516"}},"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":"Q1084871$8D64C700-2BA5-4A32-9E84-FF56418B28D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"135e2190e5aed8082c991f1fa7f85d85e5cc6e5f","datavalue":{"value":{"text":"Generalized language equations with multiple solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084871$AA1992E9-1912-4612-9505-CAA5C334BD35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb98478c4b7e12a4f8a6a7061b5966046e05bbbe","datavalue":{"value":"0606.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084871$573C5E6E-1876-4C28-BFB7-E04C09157351","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c140e11e83731bb0763dcc6c799b8e89601ee96","datavalue":{"value":"10.1016/0304-3975(86)90115-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084871$48AFAD92-A1CD-4D06-98CD-5B9C9A7B6274","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":"Q1084871$55322357-D9E8-49D5-9CBE-F10A798AA518","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":"Q1084871$BD10F5EE-A346-4CA8-9D25-85FAB9E1439F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0c770ba88d4f1ab25be33faea103980337b98af","datavalue":{"value":"The class of L-expressions in the variables \\(X_ 1,...,X_ m\\) over the alphabet A is defined in such a way that every language over A and any of the variables \\(X_ 1,...,X_ m\\) is an L-expression and if \\(\\alpha\\) and \\(\\beta\\) are L-expressions, then so are the union \\(\\alpha\\cup \\beta\\), the complement \\({\\bar \\alpha}\\) and the concatenation from left \\(L\\alpha\\) with a language L over A. The system of generalized language equations is the system of equations \\(X_ i=\\alpha_ i\\) for \\(i=1,...,m\\), where \\(\\alpha_ 1,...,\\alpha_ m\\) are L-expressions in the variables \\(X_ 1,...,X_ m\\) over A. The solution of such a system is an m-tuple of languages over A which can be substituted for \\(X_ 1,...,X_ m\\) to obtain true equalities. The main theorem classifies language equations in one variable according to the number of solutions. Further it is proved that every language equation with at last one solution has a minimal solution contained in every other and a maximal solution containing every other. Certain graphs are introduced for reducing the systems of language equations. Some related topics are shortly mentioned: solving inclusions (analogy to inequalities), equations in which all languages are regular and equations without complementation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084871$05FBFD8A-C852-4116-9C60-32429D4FF6DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084871$3D358BC2-17EB-4C5F-B4BD-2CDC7F8CC9E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f49dad393139f690ef1389caaff505a910211b5","datavalue":{"value":"3980516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084871$56DFCF52-5F3B-4B6B-8D85-3DA93A2260D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084871$39438E46-9297-4F3E-911F-3D595AD1772C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf883a813b2e5676079f2250fd8e70f5d2ccd55","datavalue":{"value":"L-expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084871$278515E7-023D-49DB-A21E-FA39812AD727","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2d1b1de458b5286a1fb74f71cf3fc8f09d83854","datavalue":{"value":{"entity-type":"item","numeric-id":386048,"id":"Q386048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$A590952C-1891-45B9-B666-570F9A7F7F1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9b462d071c33d7d83486f9fef57845bb41d7acf","datavalue":{"value":{"entity-type":"item","numeric-id":190573,"id":"Q190573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$CE60C818-9222-4608-AC8A-93EB4478C90D","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":"Q1084871$1770E343-E8B0-41D6-BEB7-B5CEF3C3EF55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c31d43989f9b8fb0108a1674e800a14706dcba5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90115-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084871$F8B871F0-4548-4052-BB4A-122A966D682B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f992dfe9434c77ed9f67da16f37a8751c3cb582","datavalue":{"value":"W1970375533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084871$24033EFD-4891-4463-90C7-064FA8FADADE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$8BA10F06-24D3-41B2-937F-ACCCB2B347F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$7D595652-E000-4D10-AC06-7FC0596C162F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c364902deabefaaf4675cf6de45f9c70ebf6a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":1149791,"id":"Q1149791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$F6DA3B97-2639-4DF7-A4A8-503DC8165BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a6137af977465917fd440f4ca36b83c8de18cc","datavalue":{"value":{"entity-type":"item","numeric-id":1334656,"id":"Q1334656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$E1DC9942-AEE7-406D-B475-C65E90551660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2db852d95fec8793b2183cc33ef300a969aad41","datavalue":{"value":{"entity-type":"item","numeric-id":1061498,"id":"Q1061498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$17BEDAA8-A70A-48A0-B140-89265E2F503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f45038ab8e4e4836ac8e04a5fbfcb672edc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5588675,"id":"Q5588675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084871$F4596DCC-73BD-40D9-9C7F-1C1F1DCEDA28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9b47fc0a59c4fb5aa047576e6d9ad92d321b23","datavalue":{"value":{"entity-type":"item","numeric-id":676452,"id":"Q676452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54611a26208003d8f067e86d734944433d6157c7","datavalue":{"value":{"amount":"+0.9033625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$26C1951D-F7F0-4C95-8B11-E4A1656C012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762738928a8ac359c67293d6d490bcadf1723e49","datavalue":{"value":{"entity-type":"item","numeric-id":607397,"id":"Q607397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf91daebeab961fb46381b10073a478d43394208","datavalue":{"value":{"amount":"+0.8929555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$278D880A-2E6E-42F8-B741-86893D00B3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7aea731ee25f9eca1a9c9f030fa529a6668af3","datavalue":{"value":{"entity-type":"item","numeric-id":673088,"id":"Q673088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f79acfd4305474c6dadbdfdd1b0bfef69c59ba","datavalue":{"value":{"amount":"+0.8746289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$F6523F05-8059-4373-A6A5-2EB58DE39BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c840045cdf6669c5d06531d11d1ce1a3a3e5d98","datavalue":{"value":{"entity-type":"item","numeric-id":972384,"id":"Q972384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d90da678cd2eb375721016833e6ade7c07d627c","datavalue":{"value":{"amount":"+0.8745388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$6F8126CB-173E-44CA-AC7D-101CEFB83C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"002eb07aee43aeecd2fa9b897a599543c97ed6f2","datavalue":{"value":{"entity-type":"item","numeric-id":4207601,"id":"Q4207601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e602c410b0514d3697c22e9576d3630904f16d0","datavalue":{"value":{"amount":"+0.868493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$888252CA-2147-4AE8-BF88-CEF1B19589E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4b24af917d0807424c6b4818df8e50dfe38bc7","datavalue":{"value":{"entity-type":"item","numeric-id":880178,"id":"Q880178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18fc8c20cf1641ac424d42e037f37c6a76aeefc","datavalue":{"value":{"amount":"+0.86833715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$800BA993-9295-4831-893C-D7083F436A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7d57e5e2a00bc8fe04f6fbfd38fe5dc99b5d57","datavalue":{"value":{"entity-type":"item","numeric-id":4256623,"id":"Q4256623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2099125059d00e8a438f7900512ea92f0e6b1d56","datavalue":{"value":{"amount":"+0.86548805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$BA90666D-6F9A-427C-9922-2FE850EC0B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1267b4984594a3667ace81d31c942b1631dda1b8","datavalue":{"value":{"entity-type":"item","numeric-id":2074222,"id":"Q2074222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28752291ff45a71d3622311fc9fc8b8692081753","datavalue":{"value":{"amount":"+0.86548793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$81FB80CB-9121-4FEA-967F-E8BD415E4ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81816d3f0b87787cf748a946ef7ba45410e68a79","datavalue":{"value":{"entity-type":"item","numeric-id":1334659,"id":"Q1334659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f28daef1a5bf93be19064e30a8f7f941750802","datavalue":{"value":{"amount":"+0.8635524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$564CB3B5-088F-4B49-8633-6D78AB3F17CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f895d8816878e4561969b25284aa234db4b0ed","datavalue":{"value":{"entity-type":"item","numeric-id":3617080,"id":"Q3617080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ec93ce58d8b6d95b5c62f39c6ac5fab08d3ae5","datavalue":{"value":{"amount":"+0.8605276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1084871$9847F31A-164B-4548-A416-243B20296648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1084871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1084871"}}}}}