{"entities":{"Q790606":{"pageid":792454,"ns":120,"title":"Item:Q790606","lastrevid":64403100,"modified":"2026-04-11T19:37:46Z","type":"item","id":"Q790606","labels":{"en":{"language":"en","value":"Iterative factor algebras and induced metrics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3848591"}},"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":"Q790606$A307F8B0-77DB-4238-BDB1-DA6F3033DAD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8f9a2e93a3c42c38b6b2fdefd44d006aac7b5e0","datavalue":{"value":{"text":"Iterative factor algebras and induced metrics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790606$6F85990F-E598-4C5E-A829-96B672FC1644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b6f546a6aca122da35d5000962927693e178d3c","datavalue":{"value":"0534.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$BE2D4A1D-936A-4610-98D4-C68B26659FC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed60462ca1184b59c087ab6ab0052c8c6025f90e","datavalue":{"value":"10.1016/0304-3975(83)90025-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$161AD669-15EA-4293-B08A-413FD3098D40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f3d17dde2255cf0d5e0bd87a89e512588d50f0","datavalue":{"value":{"entity-type":"item","numeric-id":790605,"id":"Q790605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$7C724FF4-B7E0-4B45-8C50-A83D51C8C5AE","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":"Q790606$B894AA8F-6B9A-4370-BB5F-2C1B77244917","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q790606$E30CA199-54CB-432D-A234-72C26BB26B89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67fe55647707338a8e7bf48111868fb69e9924f1","datavalue":{"value":"Iterative theories were introduced by \\textit{C. C. Elgot} to study the semantics of flowchart algorithms [Logic Colloquium '73, Proc., Bristol 1973, 175-230 (1975; Zbl 0327.02040)]. These theories may also be studied in the form of algebras in which every nontrival system of fixed point equations has a unique solution. It was shown by the reviewer [Universal algebra and applications, Semester 1978, Banach Center Publ. 9. 209-224 (1982; Zbl 0516.18007)] that all of the standard examples of iterative theories could be equipped with complete metrics so that the non-trivial polynomials induced contraction mappings. In particular, the free iterative theories, which may be represented as regular trees have this property. The present paper gives a necessary and sufficient condition for a congruence K on a free theory R to have the property that R/K is again an iterative theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$FD7DA5AA-1248-4976-854B-67081306C629","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bab6095f1b641fc3add262714cd80d4bd006795a","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$B89B0E1A-9AA3-4683-A10A-674C8CE4ACDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$30E469EE-702B-4441-927A-49CB244F77F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$2CC41348-EEA6-43BE-9EF4-04827E486310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$AB97B649-0CC1-48D1-8A3C-0BB93DB46C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$95F643C3-75A4-45AE-9BE8-E1B0D9A90191","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32aed40381bf16d970f8331621b96cc30b8c8f02","datavalue":{"value":"3848591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$BF983B8A-82D3-44E0-B2BE-973FE5B89EC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$31C69191-6275-43E9-8AE4-7662D03BDB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06951125bd6d9baeeb32c698800139655b211905","datavalue":{"value":"flowchart algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$BDCECEE8-84C0-4637-8F24-FACAFF25F2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36f41659f406fe5e6141df559369fc6476249c0","datavalue":{"value":"fixed point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$2BFC3F63-00ED-48E4-9FA4-AA0CD1FA3BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f67ccffebb56c14cfda39d34ee2f65797afd4960","datavalue":{"value":"fixed point equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$18FFD8D1-8507-49B5-A930-BDC6EA1C5057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffb400aa4ef86c9a78ee11d9caeb14d4973b384","datavalue":{"value":"iterative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$091EC195-750F-40C4-BC41-0B60F7FB5B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72fcea79040fe752741ed81eb422eb839fe75bb6","datavalue":{"value":"complete metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$25245C22-6010-4B7A-BD99-6904C5D92869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d29ca336072ae94a5956b220f122b324d515839","datavalue":{"value":"regular trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$81240F9D-0817-4B33-85BC-E7F8AAA9898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9559e90eacc64838e25a50b2283346d27466dca6","datavalue":{"value":"free theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q790606$8BF9C032-ECB3-437B-AB0F-5D44CBBFB0FD","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":"Q790606$B86C06A6-501B-4A56-8075-D5867FBFEA17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a19863ead8d206ab81e513d1864d168ced69ecf","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90025-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q790606$1AC216E1-D5F8-4525-9B4F-5B4B88B68961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf4d886193146f02b7b5c6d7d86800e4db960e3d","datavalue":{"value":"W1965831438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790606$F1D96DEA-2D84-488A-AF62-3C2B39B71D20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c266f094e8ed663c2592fb2b333744340f7ee29","datavalue":{"value":{"entity-type":"item","numeric-id":3960142,"id":"Q3960142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$226C2428-9993-46D7-B9A7-B0CC26A19C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"511c0f4d0fed4628c9d364bd6839717d6eef6d55","datavalue":{"value":{"entity-type":"item","numeric-id":3663501,"id":"Q3663501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$80131D7E-CFEB-48FB-9EE7-86740E49B776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16ad904f76e6f0cc6057e01088da66a8b30e916","datavalue":{"value":{"entity-type":"item","numeric-id":4192947,"id":"Q4192947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$F379AF58-F008-4F23-8EA7-E97D2B364A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$DAC7B49D-210E-45F6-B99E-3F5CBB4C9CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedb8152d416af671d1c0c35ead4948aa4fef20d","datavalue":{"value":{"entity-type":"item","numeric-id":1169813,"id":"Q1169813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$5143CD7D-8C1F-4A1A-AE1F-289A7D09AE7E","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":"Q790606$DB9383E9-8466-4102-A77F-0015E3B46B91","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":"Q790606$1972FA39-B283-4FE6-9B7C-6E917EE5D633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$64F1FA74-564D-4E18-8821-26981E2117EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a26290365b209f3364d39da8d2aa2cea9451d5","datavalue":{"value":{"entity-type":"item","numeric-id":789385,"id":"Q789385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$E1D572C6-0915-4429-88C1-9AE977A56659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$27B97BFC-17FD-43E2-973C-065AC1E8F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4de5277d518627d5ad08f2d376e1e191eae4d20","datavalue":{"value":{"entity-type":"item","numeric-id":792751,"id":"Q792751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$9E99CE00-683D-4DA7-BE3C-060AFF40FE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9df03a59df4dd5bd6b1e9f7f562a6de5d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5636307,"id":"Q5636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790606$5C01CCCA-E62D-4B1C-8541-8EF4147CC0E4","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":"Q790606$C5E81C67-191F-49A0-B012-36729F40022D","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":"Q790606$5D8173A0-F3A1-4960-9D99-7ECCAE1A4C7C","rank":"normal"}],"P1643":[{"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":"e4f690b7a757d52211a157456e8a835d0315f409","datavalue":{"value":{"amount":"+0.8422120809555054","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":"Q790606$4EC48CF5-CB52-4C32-ADCC-247C1E6F0667","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":"691d0d05cb848993bceff96ef277eec9a6840923","datavalue":{"value":{"amount":"+0.8405221700668335","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":"Q790606$19568E62-D778-47E7-B44E-9F74013E8FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a7c365c52c013f42ac5192d8aa46fcacf2adea","datavalue":{"value":{"entity-type":"item","numeric-id":789159,"id":"Q789159"},"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":"Q790606$D4F57158-D0A5-43CC-805E-31202642E4A6","rank":"normal"},{"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":"9054b1110abc3f8828ac2e2694fd05ea2ba6ccfc","datavalue":{"value":{"amount":"+0.8286110162734985","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":"Q790606$0703DE0C-AA0D-4D6A-A7CA-84C183CEA64A","rank":"normal"},{"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":"c6bda482521d3e669501de9adb8d8c7448f2c2a4","datavalue":{"value":{"amount":"+0.8265808820724487","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":"Q790606$76E8EC15-1379-4D30-9495-1D71629F495C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterative factor algebras and induced metrics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterative_factor_algebras_and_induced_metrics"}}}}}