{"entities":{"Q789385":{"pageid":791233,"ns":120,"title":"Item:Q789385","lastrevid":64352427,"modified":"2026-04-11T19:17:07Z","type":"item","id":"Q789385","labels":{"en":{"language":"en","value":"Iterative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845558"}},"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":"Q789385$D3F337CF-A8E6-46A0-A61F-095ABC2B1B67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aa9b7e74c82d55f3d851f44dd0d36348294ab1b","datavalue":{"value":{"text":"Iterative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789385$6623C4FF-947E-4643-BF51-F51C4A737248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4865184eb42e767eb043d41f1e03b1fadaad21b","datavalue":{"value":"0533.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$C1D880D7-E353-438B-838F-ED5E52D9D39A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5cce7f3f9cff44a46c0245f99353f39ae0107d0","datavalue":{"value":"10.1016/0304-3975(83)90014-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$DA61F9F2-6601-44DA-9652-4AFF4C507ADF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca7f12f19652bd51d566dcf8d18844f5d751616","datavalue":{"value":{"entity-type":"item","numeric-id":762514,"id":"Q762514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789385$93DEDCAD-6CCA-4361-B7C1-606F29004446","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":"Q789385$7ED30CAE-51D0-455C-BE91-5EAAB227DBCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q789385$D9ABD0AA-5552-42AF-AA70-3AD1B13E24BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c2781ca208b54b9584c58353365e8b4cdbe554c","datavalue":{"value":"The problem (which arises for example when modelling loops in flow charts or when studying formal grammars) are equations of the form \\(y_ j=t_ j(x_ 1,...,x_ k,y_ 1,...,y_ n)\\) (1\\(\\leq j\\leq n)\\) for terms \\(t_ j\\) and ''fixed'' \\(x_ i\\). These systems are called ''iterative systems''. The author considers classes of algebras where certain classes of iterative systems or all non-trivial iterative systems are solvable. For any type \\(\\Sigma\\) and any set V, \\(T_{\\Sigma}V\\), the algebra of V- labelled \\(\\Sigma\\)-trees, is defined as a generalization of \\(F_{\\Sigma}V\\subseteq T_{\\Sigma}V\\), the algebra of \\(\\Sigma\\)-terms over V. A further subset of \\(T_{\\Sigma}V\\) is \\(R_{\\Sigma}V\\), the algebra of regular V-labelled \\(\\Sigma\\)-trees - \\(F_{\\Sigma}V\\subseteq R_{\\Sigma}V\\subseteq T_{\\Sigma}V\\). Whereas \\(F_{\\Sigma}V\\) is the free \\(\\Sigma\\)-algebra over V in the class of all \\(\\Sigma\\)-algebras, \\(R_{\\Sigma}V\\) is the free \\(\\Sigma\\)-algebra in the class of all \\(\\Sigma\\)-algebras where all non-trivial iterative systems are uniquely solvable. These considerations are specialized and carried further for the algebras of languages, where the context free languages are unique solutions of iterative systems. Finally this approach is compared with an approach of \\textit{C. C. Elgot} [Logic Colloq. '73, Proc., Bristol 1973, 175-230 (1975; Zbl 0327.02040)] which uses algebraic theories in the sense of Lawvere.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789385$2D0BFAF4-5E04-4D9A-B744-903F22DC12F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$9A5C5FB7-89C1-4ED3-A888-136759EC14F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$C1146C49-4977-48F6-BF82-C382F1A64A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$4C5AC313-139A-4D9A-A996-834E397D0D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$32A0DF37-D88C-49C9-8EB1-5AE6B0D8811B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$0DBB82EB-D3E1-4765-BCE6-4E3FEFCAC931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa502395e07a40eb1d6503488efb44651e6e3127","datavalue":{"value":"3845558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$4D28BE86-98DB-4B49-82AC-F149CFA68782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c2c95369d45ff6eba72c2a560a1851e764a16c","datavalue":{"value":"loops in flow charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q789385$9822C4CC-AC13-4729-91D1-193337326EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419b0e7c5cabec84942237fc345f3ebbecbeb8e9","datavalue":{"value":"formal grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q789385$D5D3C374-BBC0-46D1-918E-110087084E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cb9062e8525294af575ddb9740626996b75a62","datavalue":{"value":"iterative systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q789385$38C5385E-0B7D-4F35-ACC8-BD4DB1AF9704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f548ff3571929922f835f3a064eecaecb877bc5","datavalue":{"value":"algebras of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q789385$E7716E28-DC56-4241-9428-CCB73D6291C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f339416e02f3bcd9d0434bf78c9fe30dd31810ce","datavalue":{"value":"Q64357043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$37DC40B6-4330-44AC-8240-35818EAD1A5E","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":"Q789385$59615E55-05D4-421D-B346-4E5E8D2795B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a5870f5f708bd6497d5276258292ecf79a275db","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90014-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q789385$8FF93401-DD43-4CD6-9016-4F60E2BF1F1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41fb55c99a5d41793ce2e24b94c1898c33b02029","datavalue":{"value":"W4210428601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$AED9E135-0ED0-4645-AA0E-91A069E155A1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8457387c346331188641873963390c219ad7a267","datavalue":{"value":"journals/tcs/Nelson83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789385$EF1237D9-7F0E-4484-97E7-C3A2F1FD2210","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a45738c5678ffcd30c32134f602034ecac93f82","datavalue":{"value":{"entity-type":"item","numeric-id":5454623,"id":"Q5454623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee7870296abb307696c66f9515ebd48a2b985f7","datavalue":{"value":{"amount":"+0.8621659874916077","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":"Q789385$472F48E6-94C7-4364-AFEF-AD977CADCCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94571ccf0efd75475bc4fa641868f2c8dabcb2c","datavalue":{"value":{"entity-type":"item","numeric-id":792751,"id":"Q792751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435c30a644d17ed93aef9c450b1965ddd0b83369","datavalue":{"value":{"amount":"+0.8521446585655212","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":"Q789385$53CC676F-F94C-4E7F-90CF-24AD71E94EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e7162da03ac82476c8ed9cbd88f9261e5b55ad","datavalue":{"value":{"entity-type":"item","numeric-id":2863900,"id":"Q2863900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac2b549c0a3aca26285e72dc2471946b48f3c4e","datavalue":{"value":{"amount":"+0.8515450358390808","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":"Q789385$AC0BCE16-B46E-42B5-BE32-D71C3FD3D8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba107d6af9542b3faaf584014ec47ee613578cf","datavalue":{"value":{"entity-type":"item","numeric-id":3317088,"id":"Q3317088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13992b3bedb00a3045a619b5c1a8361694ff423a","datavalue":{"value":{"amount":"+0.8430442810058594","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":"Q789385$81ABD490-5FAD-4FB6-8FC9-457D65B2BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3c2ce42cf683ba172f399c5964db86f040b471","datavalue":{"value":{"entity-type":"item","numeric-id":3549320,"id":"Q3549320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a52498ba5b4ef79ad25e81dd44210c68ace7f92","datavalue":{"value":{"amount":"+0.8390682339668274","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":"Q789385$4AC7FB5F-A991-4E53-B3A6-69C5E42FDDF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterative algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterative_algebras"}}}}}