{"entities":{"Q790235":{"pageid":792083,"ns":120,"title":"Item:Q790235","lastrevid":64492347,"modified":"2026-04-11T20:14:42Z","type":"item","id":"Q790235","labels":{"en":{"language":"en","value":"Recursion and iteration in continuous theories: the ''M-construction''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847632"}},"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":"Q790235$5A4E549D-8A4A-44C6-960F-B44FF5DD90B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b736747f93c13dd03e95dc9142035e7ec587bc","datavalue":{"value":{"text":"Recursion and iteration in continuous theories: the ''M-construction''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790235$F8F44252-F4E9-4CA3-9633-4CD6592E61E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e3d348d8796c3025e989a19b8e652a5b10b815","datavalue":{"value":"0534.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790235$8058304A-6B20-411E-A0E1-000A28D4FA9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be031813704e54ef2ea98e4aeca9ca7a892aafbe","datavalue":{"value":"10.1016/0022-0000(83)90037-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790235$838D015B-7F21-4611-99E6-B849EB0995FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$B984436D-3E15-45CC-893B-F4E0A9EC633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa50387195ea933c70c4b167e4687f57bfd1c56","datavalue":{"value":{"entity-type":"item","numeric-id":790234,"id":"Q790234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$1D1419C3-56C0-4662-B55E-ADAABE2AF7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebf9d7de436e661fe44c64998a85f0c878859fe","datavalue":{"value":{"entity-type":"item","numeric-id":751296,"id":"Q751296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$0C882D86-E049-4AA7-ACA7-1AC44CBF5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"191379b41427d8c6d00cad3d62bd8a7dc640fe68","datavalue":{"value":{"entity-type":"item","numeric-id":770741,"id":"Q770741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$F60C3495-D937-4841-BFCA-3E516EAA6EC9","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":"Q790235$CE63644D-7FBE-4DE3-A8D8-5184C40200D3","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":"Q790235$A20E4BA0-C27A-492C-9D2F-D2882191C798","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c799bb70a01c57cd8a81a6ea14709fab8155e93b","datavalue":{"value":"A functor \\(M\\) is described assigning to each continuous algebraic theory \\(T\\) another theory \\(M(T)\\) whose morphisms correspond to systems of recursive equations in \\(T\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q790235$FE764924-E1F7-48A0-AB9D-213CB6DDF128","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e0f347ef0578eddd2127c28322dfd018af75e2d8","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$CDAC31BB-3A33-4AD2-9066-5A04550DDCBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790235$4E123066-A2DA-4B2E-A1D1-EEBEE39DA319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790235$EE5C13F5-B730-4E70-A4A7-B183F58FF6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"576862348ac8aa00dd58c6583a85361d546860f7","datavalue":{"value":"3847632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790235$FF36E636-F542-4359-926C-9F7D21BE503B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810a081fc50c3c7d3de09811494d0d7ebc0735a5","datavalue":{"value":"M-construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q790235$C201FFEC-D0EF-4B65-A716-3796525F45CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd2564c48e8b2fa1ea72fe726b7e5fdcb03b368","datavalue":{"value":"continuous algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q790235$62E77A1D-CEB0-4695-9A5E-CE3E1DCB29BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5457712a80eabe5a3ea24233157de144f75a171","datavalue":{"value":"systems of recursive equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q790235$C749B4DC-0717-4D29-92A7-0802A0C1EF70","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":"Q790235$44ABB2F3-8A43-4F2E-80E6-8972BE9B893E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1102bce887efe66cf12a89ede5571bec5e140fec","datavalue":{"value":"https://doi.org/10.1016/0022-0000(83)90037-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q790235$CFDA8B96-BEAC-49C2-8A8D-80626D99C8D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc8a7b1bfe30e0de0b47008dbb114449f35a3429","datavalue":{"value":"W2031167121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790235$F73C9C27-387F-4F95-9603-0BED485BA7BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$D4C54C21-BDB4-47C9-9DB4-A73D4AD6C5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c8cb30ad32b9270e4d5117a37a9038bce01a05","datavalue":{"value":{"entity-type":"item","numeric-id":1238420,"id":"Q1238420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$DA3EF86E-C234-4A87-8CE5-EE2F689D657F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bd32c43f80b4526740c56b9e5f69eb0bf94371","datavalue":{"value":{"entity-type":"item","numeric-id":1228350,"id":"Q1228350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$5F6D116B-FD17-4883-9506-56D4AF2FD5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$57C342D5-E7E1-44A3-A793-EA8EDC0268C3","rank":"normal"},{"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":"Q790235$B930BD17-7D84-4221-AFA6-D6C4D355B0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$55616BCC-39D1-4675-88B4-863D77161A1E","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":"Q790235$850723EB-C20B-48F6-96CA-A5B94E8BE411","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":"Q790235$BAFE980D-7944-4533-B28E-27D5606C6268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$0DA77273-DC8C-4C67-B79C-27692B5936D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b95baa492519ccfdc0b72a6bca33db189a5e71","datavalue":{"value":{"entity-type":"item","numeric-id":4176939,"id":"Q4176939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790235$39B44EC5-54F1-4757-81F0-549083AC26A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion and iteration in continuous theories: the ''M-construction''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursion_and_iteration_in_continuous_theories:_the_%27%27M-construction%27%27"}}}}}