{"entities":{"Q789159":{"pageid":791007,"ns":120,"title":"Item:Q789159","lastrevid":64430910,"modified":"2026-04-11T19:49:46Z","type":"item","id":"Q789159","labels":{"en":{"language":"en","value":"Algebras of iteration theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845014"}},"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":"Q789159$CEF31E26-9028-433C-A15E-281AA7F60FE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb5edce658cdc1eed31a73c27535f99d8634c6d1","datavalue":{"value":{"text":"Algebras of iteration theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789159$F7ACF1FD-ABC5-4529-AD66-087513A65BFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28c42715cee891ff769f8dfa3f03341ab388639d","datavalue":{"value":"0532.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789159$D3B3D8FC-4761-4F2B-9B99-3AF46AD73E83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a00df1fbb43b7a90d2d3341282f4a17c128df043","datavalue":{"value":"10.1016/0022-0000(83)90044-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789159$76C22CEB-01CD-4769-80C8-AD436A0EED96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$CA687816-A914-4E3E-880E-CD479BE401E5","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":"Q789159$66039B71-02DC-4650-A19F-0FB66272CD4F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd7cc09c0a19bbe3c0c346fa106b6b0ed15eb85d","datavalue":{"value":"Iteration theories are what the author previously introduced as generalized iterative theories [Comput. Linguist. Comput. Lang. 14, 183- 207 (1980; Zbl 0466.68010)]. Quite a few impressive formal calculations have to be done before algebras for iteration theories (''iteration algebras'') can be defined in the same vein as in the algebras for iterative theories (''iterative algebras'') invented by \\textit{J. Tiuryn} [Theor. Comput. Sci. 12, 229-254 (1980; Zbl 0439.68026)]. Iteration algebras appear as generalizations of regular algebras [see \\textit{J. Tiuryn}, Fundam. Inf. 2, 103-127 (1978; Zbl 0401.68062)], and the absolutely free iteration algebras coincide with the absolutely free regular algebras. Every iterative algebra admits an extension to an iteration algebra with arbitrarily prescribed image of the identity injection under iteration.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789159$8D0AD6CD-5642-4F63-9316-DC72B59EA7E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789159$3A703EEF-D188-49ED-9DFE-7BE51379D0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789159$94C94359-986F-484C-A560-C3EE0FF8E24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789159$7DCF6C8B-E1CB-422C-8838-F0884A1E0BF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6237eabc0209524ca13b4d6f616d0e2e36d0885e","datavalue":{"value":"3845014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789159$376967EA-4AA0-4612-91EF-BCC376B4484C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c5a0d242e30258b97b8988a1da5a6a9e3e344f","datavalue":{"value":"iterative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q789159$2A4C57E7-1891-40C5-9886-8D647E0569CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515d3916acf8c87e9d6a57eec7bd685dfb958c96","datavalue":{"value":"iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q789159$E971010D-B55B-4D60-9533-A8440FA4D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288c39ee23f4e4c286ef690e23fc099cade10760","datavalue":{"value":"iteration theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q789159$51DED38B-87D5-4D16-B419-1AD601946100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760f932b174d152f2efd6944189018a5633ed282","datavalue":{"value":"iteration algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q789159$D84EFC24-1C7A-47E2-809E-3F9025467F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c88ba6a37516e0220a5bc3707ba980386b39c9","datavalue":{"value":"regular algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q789159$12381F1F-29B9-4AEC-ADA8-47F293FD1142","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$FBB28D27-DE69-4C10-A7CD-836489C79326","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$2EDDF4D7-41AD-465C-A83E-556D988C27A8","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":"Q789159$D2B52453-5605-4729-8D6C-832EEFCB7E86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed427f9cce3d15455bcdaf1adcc34e2a78da627a","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90044-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q789159$9209BC76-C645-4BB1-83DC-DF65A441A600","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7232976d94e11f9aa6a3db1710c10cf90267cf20","datavalue":{"value":"W2056520272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789159$40C6E586-6387-4970-AD25-3880C2119276","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$95A77007-B8EB-458D-A274-CED1424B9CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$D237D428-1D18-4E65-B14B-C66C5B287B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$1E0A598C-FE76-4748-8F79-C8A4BE7FBD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4816e1d3a572c04918b2f91bdf72de68672877bf","datavalue":{"value":{"entity-type":"item","numeric-id":3957911,"id":"Q3957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$5CDE2561-20EF-41FF-A5D0-0F056823B91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$1F8D179C-346B-4ABE-81C5-018F8A27C98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$49932A12-E066-4503-AAD2-7F087D4A30CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70ed351e18cd3b7335ab963a99bdb32bde11580","datavalue":{"value":{"entity-type":"item","numeric-id":3877027,"id":"Q3877027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$43D54A26-9A5F-49C1-8A38-5F22858D1348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900dcbd0437c0f7a103179892975c259ab9a8be7","datavalue":{"value":{"entity-type":"item","numeric-id":1142573,"id":"Q1142573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$E1B8BD18-CD03-4583-A3EE-E6DAC257E0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789159$C8AA1811-E8B3-46D1-8F08-312B2AA396B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e02b0b6be2d3c613c62a6703be419dec4369d9","datavalue":{"value":{"entity-type":"item","numeric-id":5286027,"id":"Q5286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44eb7116f9634ddc3fca733d8bb9dbeb665aae1b","datavalue":{"value":{"amount":"+0.8783047795295715","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":"Q789159$A7BCE25E-0F5D-493A-BAE6-EC8708A8345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a7c8e2e9a88cc37253fbd0c8479bee8158d0fb","datavalue":{"value":{"entity-type":"item","numeric-id":3419788,"id":"Q3419788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137edf849e1566f3b259c7667dd1c33e18f439ad","datavalue":{"value":{"amount":"+0.877553403377533","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":"Q789159$6A2E3118-0FC6-443D-A6A4-C2959990DA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc75bb582bb1ea46bede12bf504d34b4039952c","datavalue":{"value":{"entity-type":"item","numeric-id":2847804,"id":"Q2847804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902ed26d670efc96286a163cb4d5338dff567f77","datavalue":{"value":{"amount":"+0.8351801633834839","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":"Q789159$C4393355-DA42-4016-B660-B112F4F0B0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30cf8e1418b3b5d46e3e17d073ae799dec5d961","datavalue":{"value":{"entity-type":"item","numeric-id":4029614,"id":"Q4029614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b921d943ebd2138933f145c0fd5349f2c2a17d8","datavalue":{"value":{"amount":"+0.8317350149154663","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":"Q789159$7EE7CDA4-46A0-4552-8912-6323BED7FA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16a2abd6545c11860bcefc1e6fa0d8ad2fe2ac5","datavalue":{"value":{"entity-type":"item","numeric-id":790606,"id":"Q790606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a27010ab3491bd027b1e64626e0e91194c456b","datavalue":{"value":{"amount":"+0.8315240740776062","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":"Q789159$AB4E94DB-CE69-434B-B800-B0FC36698B0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras of iteration theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebras_of_iteration_theories"}}}}}