{"entities":{"Q2464938":{"pageid":2475681,"ns":120,"title":"Item:Q2464938","lastrevid":73453170,"modified":"2026-04-14T16:03:07Z","type":"item","id":"Q2464938","labels":{"en":{"language":"en","value":"Algebras with parametrized iterativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221240"}},"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":"Q2464938$9B4F3058-C40E-45CA-9027-E800E81597B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69a63465ec2227768256624c5d9f4cf82c81c038","datavalue":{"value":{"text":"Algebras with parametrized iterativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464938$4E36FFF8-8AA3-45BA-A93A-9B57D78B9EC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eee1db44fb8bc2d404b2ac1749328d4a2848cf92","datavalue":{"value":"1131.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464938$FC5CD82B-225D-47D0-A86B-F4570D6B1CE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$CE22CB48-4300-467C-883D-CC9E6636CBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$B54E6990-F524-4CEB-9912-89B8DE309749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28684bd1f4bbc00add773aebdab5a83cf01fa02","datavalue":{"value":{"entity-type":"item","numeric-id":234458,"id":"Q234458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$F9694EA1-A975-45BE-8569-3BC05CD6F5F1","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":"Q2464938$0605B9CE-0832-4703-9AD1-FA3514FBD18F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464938$E3C36C7A-0374-4DA1-A1D8-1392344718AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd69dd141fbc987cc3d546b6f9b05e0423ea981c","datavalue":{"value":"Following the idea of \\textit{T. Uustalu} [Theor. Inform. Appl. 37, No.~4, 315--336 (2003; Zbl 1042.18003)], algebras for parametrized endofunctors \\(H:{\\mathcal S}et\\times {\\mathcal S}et\\rightarrow Set\\) are studied having the property that certain recursive finitary equations have unique solutions. In order to formalize the concept of these equations and their solutions, a base is introduced and it is proved that every object generates a free algebra with the above parametrized iterativity. The corresponding monad \\(R\\) on \\({\\mathcal S}et\\) (called the rational monad of \\(H\\)) is described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464938$7FC9F15E-0BDF-4FAC-B982-9FE9BD48B573","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ee60e048f57d786cf4faf8663c70804ed6a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$D8A572B1-9269-431F-9B7F-0D7B7A5465AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464938$3570D67F-6EAD-40B0-A8C5-BDCA9392525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464938$DE16645F-29F7-43EA-A732-EE9FFBD6D8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464938$98514C43-9826-4380-853E-B8D75D9C9FD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ee4b1517ccb15d6ecff0d2dc530893d5a6ac028","datavalue":{"value":"5221240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464938$02A93160-6708-4490-A8C9-D71DF6D6DA18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c5a0d242e30258b97b8988a1da5a6a9e3e344f","datavalue":{"value":"iterative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464938$64739E09-4F6D-4AA0-983A-C8647B2A037E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515d3916acf8c87e9d6a57eec7bd685dfb958c96","datavalue":{"value":"iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464938$26A7FFFD-77DE-48FE-B607-7ED47995DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ac081990aafc2fc4434a4904b753f3eba84af0","datavalue":{"value":"parametrized endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464938$9198F2B0-20D2-4A46-A3FF-AACE10AF5071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b1a079a9c7e2eedd38a38b1cd14e2081b7308f","datavalue":{"value":"algebra for an endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464938$1338D9E0-7E5A-4970-8C04-30CF622AD10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071398ca0dd04dce8f63435cb0877ccc4dd0bcb5","datavalue":{"value":"rational trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464938$1E209E3F-4783-42B1-89B5-127B25C42BA8","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":"Q2464938$56F23F0B-EA4E-42A9-83DD-34A0C10F4AA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de0c19ca50286fa5f76b146dd40632d70815bcc1","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.06.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464938$5A186192-7BFA-42C7-92C0-B30574DC6F9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e3f0ec84557c95b2632621dc17f8be5128f770f","datavalue":{"value":"W1992909223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464938$57F083FB-5534-4C03-9D84-A58482207CEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$45FBDEA9-DFBB-4755-88C1-BCC7FB9DF80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6069fe941b593d2933dca9b2b6dea1fb51529c05","datavalue":{"value":{"entity-type":"item","numeric-id":4408807,"id":"Q4408807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$A655F450-F883-4A1C-89A7-5B619BF098E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4df99ff633e9700862fe1851a2c91cb54da95e5","datavalue":{"value":{"entity-type":"item","numeric-id":3419788,"id":"Q3419788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$DD78A920-74E7-4412-B9FE-7932CEC1FE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c677847f7c07357808fc860928f56717d8fcce6","datavalue":{"value":{"entity-type":"item","numeric-id":2849883,"id":"Q2849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$E19735D5-EC97-4259-90E3-E7E2E3E3CF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$3E8E8A4B-AC57-4647-B543-33263C1992F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e8bde5035730a3f9e7ab7cb0e5d7ed63423c1","datavalue":{"value":{"entity-type":"item","numeric-id":2538652,"id":"Q2538652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$E6026A37-6EE7-48FA-84DA-FCEB57ED458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$B3FD8763-5397-4D81-B81A-7C9E4375F1C9","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":"Q2464938$8C3D343C-A700-4AD7-8D40-B0ECF3E3C8BE","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":"Q2464938$DE2C295D-E722-490D-AF87-73319B9F2F53","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":"Q2464938$4CC12107-965E-443F-A6D5-F02039168649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac76dbbb149e2f7839e5c1fe16a794ce092e6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4460688,"id":"Q4460688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464938$E53335A6-3701-40F3-B42C-1E9AB79C3F7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74f4f58228403c1d3b2bd3ad7374e0340dd6557f","datavalue":{"value":"10.1016/J.TCS.2007.06.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464938$8967E8E7-2D33-4B87-BA46-A5EF2735803A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5743479573114d7efb37561e2657f4523cc5a0","datavalue":{"value":{"entity-type":"item","numeric-id":1004388,"id":"Q1004388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d5120c280ee1e7faad6e094c1cc4832f78c3d1","datavalue":{"value":{"amount":"+0.8704763650894165","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":"Q2464938$49CAAC1F-CCAC-4670-93FA-4AD81F2751FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df0dede34f866eba73757a9aed4bb232e49014","datavalue":{"value":{"entity-type":"item","numeric-id":3564343,"id":"Q3564343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b4a83ee449983cf2c7041195ae8ab913ddfe48","datavalue":{"value":{"amount":"+0.8692699074745178","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":"Q2464938$A8881169-4108-4541-BF2A-D74BF2093712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929a744df4c370e88a6f53d0af435f28efdfd9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2849883,"id":"Q2849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7276e181f218cab6679dca509d9c5a75bce7406","datavalue":{"value":{"amount":"+0.8368574976921082","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":"Q2464938$89E61012-997D-4668-960D-1198B521FDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b983d8d1da11e96e0f955a47066e0628edde22","datavalue":{"value":{"entity-type":"item","numeric-id":2842813,"id":"Q2842813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bee8deea733b84e434ad47fa41a163bcf6cd941","datavalue":{"value":{"amount":"+0.8095889687538147","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":"Q2464938$A21EBD6E-C018-4451-B59B-84D7A1ED55CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8ff493cf64877408dc70639b06aa1632e8bce2","datavalue":{"value":{"entity-type":"item","numeric-id":2435311,"id":"Q2435311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c95948eee2cb5d6c29e22422111875a640d1bd0","datavalue":{"value":{"amount":"+0.8092798590660095","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":"Q2464938$569CEF20-794B-4A11-9172-426FC65FA7EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras with parametrized iterativity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebras_with_parametrized_iterativity"}}}}}