{"entities":{"Q2909193":{"pageid":2919918,"ns":120,"title":"Item:Q2909193","lastrevid":85041995,"modified":"2026-06-03T05:39:57Z","type":"item","id":"Q2909193","labels":{"en":{"language":"en","value":"A parameterization process: from a functorial point of view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073941"}},"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":"Q2909193$B6DBFC26-00C4-4DF9-9DB5-9FE9F5B05802","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a2336efae2b5c590fef0781f4c94b623d71d8c8","datavalue":{"value":"1269.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909193$B8FC6CEE-AAEE-4FAD-8B19-82AB5CEC14C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de9c409b43c023f4fea4e4cf7ef35987d86fc808","datavalue":{"value":"10.1142/S0129054112500050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909193$8E283364-64AE-400F-84B4-30FD1BF0DC98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c2f65d791882d0fe991234b07620a5de3e8f853","datavalue":{"value":{"entity-type":"item","numeric-id":631754,"id":"Q631754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$91B09CEB-D881-45DE-9E66-7F55CBAF6158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0053237aafbf1f84d532ac720618bcc7a9399d88","datavalue":{"value":{"entity-type":"item","numeric-id":382411,"id":"Q382411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$8EE9C6D4-DEB9-4EC1-89A7-9DA21C95854A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$86F9E677-39CA-4AFF-95A3-B632B878B40A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ea979e1010c32afb4768abd2ba95f7b0dc31ec2","datavalue":{"value":{"time":"+2012-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909193$9BAFCF6B-FB1C-4E49-B80B-206B22BB9A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909193$32637231-2917-4787-A715-C28E1F15AD4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"623d57ec43fec7530eb9f4d302e636b5c18fe70d","datavalue":{"value":"6073941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909193$653049FA-3DAA-4ADC-B81C-F34B88A0B392","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09d1f3d61c3142b08f5220336866ef2be18edc5f","datavalue":{"value":"parameterization process","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909193$3A276A3C-7EED-4F4B-B93B-602F7B1FA62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b43f46bec74390d461db63805f9693cb00197d5","datavalue":{"value":"symbolic computation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909193$CB6D0472-CABC-42D8-913A-0AE9BB058BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5894aee5069aa51eb9524bc757b718e4ba4fb2","datavalue":{"value":"categorical formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909193$42935D39-15CB-4872-AF9A-34B12D43FD8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9db21642bb525242f0a9c25c65251a61579aa2e","datavalue":{"value":{"entity-type":"item","numeric-id":21159,"id":"Q21159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$B8550D69-0335-4A8C-BA83-E86AA07B4841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$CBB5A425-77A9-492A-A2DE-2B31D93A1F15","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":"Q2909193$03423AA1-3D90-436B-A86F-949252951A25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$3B2E5A7F-5F6C-462D-8B0F-F453CC1FCFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb926e2e4ded73bb089dba8d4d2db6220bcd70b8","datavalue":{"value":{"entity-type":"item","numeric-id":3583026,"id":"Q3583026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$D5578452-F1A5-4D71-B683-BDD39A0CDAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f2c295c4449018ea4283ff294ef038c1799aae","datavalue":{"value":{"entity-type":"item","numeric-id":5441547,"id":"Q5441547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$C97B8CB0-0A32-4193-A10A-E1FCDFE9884E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6152c3aed59df772b207498bbd56cbea96f9d16c","datavalue":{"value":{"entity-type":"item","numeric-id":631755,"id":"Q631755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$4E077934-6025-48CA-A0A4-CCCF8160E2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$5713A533-A22D-4C4C-937D-73A3D6A0AEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a11b587785b43a7aba09896edc5ae68fbca055","datavalue":{"value":{"entity-type":"item","numeric-id":1413645,"id":"Q1413645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$D509A768-DD49-43F4-B299-20172CE49988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$7E6989C0-F947-436E-A7E4-6B61A0F02A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$1560E917-63BA-4670-8E7D-BF20C5186D1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f600268d6c05222f75abe945efd0df5bf110652","datavalue":{"value":"https://doi.org/10.1142/s0129054112500050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909193$1CBEB2CA-9EFD-4943-82CD-057E00B7D076","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b7521d18e9d6576062395fa5a34098f0b6c5658","datavalue":{"value":"W2109909359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909193$B4BC1DCF-53E8-4F84-9ED6-44B2E3EA7C8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f11f8f6913d31478bdaae2aa007f373760094e2","datavalue":{"value":{"entity-type":"item","numeric-id":1346622,"id":"Q1346622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3359a62a8c1b7823a5c57729e51554bee115e700","datavalue":{"value":{"amount":"+0.88020325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$CA44533C-8986-4858-B15C-E51EBEF788DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c805f24fe48d2f814c193abd5b5d27bc1f215548","datavalue":{"value":{"amount":"+0.8539948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$89B15E35-0193-4445-8891-B99BADB433A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ee9e89249cfb72015140dc8b9618cd6a4855cc","datavalue":{"value":{"entity-type":"item","numeric-id":4853312,"id":"Q4853312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df301356dcf567263a85a04c8ab6286599f6821","datavalue":{"value":{"amount":"+0.85055995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$EBC36AF9-B989-48E6-B93D-1A33D82C2DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb405f35fb9a6db152361f28f9823429a28821c","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e4d8f087b181c839d4aedef696d4c249343b59","datavalue":{"value":{"amount":"+0.8470466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$54741BBA-231F-4D28-94E6-6CAF05356391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744d7e6ebaf1a87a98927abf357ff3fc5374437f","datavalue":{"value":{"entity-type":"item","numeric-id":4811668,"id":"Q4811668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e108239f3641b76a4d6407e7c37a7ae9644c1f","datavalue":{"value":{"amount":"+0.8404037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$ABDDD460-71B1-48D5-B89F-7F69F7E889E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3f1d2fbaf9057601c7d88ec752e49550d44b99","datavalue":{"value":{"entity-type":"item","numeric-id":3156505,"id":"Q3156505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e59fdadbbbc99e4bb06a0c0839d7618e1d8b3bc","datavalue":{"value":{"amount":"+0.83979607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$7168283D-B148-40D2-8CFD-A91486A9608C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca141271c4bc33f7e1f6671eb93b040cdefaaca","datavalue":{"value":{"entity-type":"item","numeric-id":4848191,"id":"Q4848191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e402131df0717e32a0d581c5ef62edb5e39bcf91","datavalue":{"value":{"amount":"+0.8372524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$ED777686-1EC0-41FE-88C0-B2F2EC34024B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24efbe2eb7935421cfcfdeadbce4669e56d18e99","datavalue":{"value":{"entity-type":"item","numeric-id":2752013,"id":"Q2752013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf99edc106cbe496c49c8dbe4380dbf4bd80117f","datavalue":{"value":{"amount":"+0.8357779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$7D8B1825-1E05-4F0F-973E-390E713DCC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76508a94c2e7fc217dbcc27aa81bee2d4a0a96e6","datavalue":{"value":{"entity-type":"item","numeric-id":1887148,"id":"Q1887148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b821dcb5a363628a510bddde02b889e0d54f9cf7","datavalue":{"value":{"amount":"+0.8335357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$71DE6E83-F546-46E0-967D-D3B09956F01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abd8eb77f9680daa797e4a041153d8c1ad8f12f","datavalue":{"value":{"entity-type":"item","numeric-id":3808281,"id":"Q3808281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625f54bb62ccb2092f3f5c5cc738e24ee0d80c6a","datavalue":{"value":{"amount":"+0.8329502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2909193$ADAF928B-6F20-4B74-80CC-7F8C297BF153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8b3595cae79040a9314e3a4d558ff2e3bc50f93","datavalue":{"value":{"text":"A parameterization process: from a functorial point of view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909193$5A478E10-0ED7-4BEE-8E7D-EE74A3F42A58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"548273e3adeafbfb037288f5a129431a65250d0f","datavalue":{"value":"From the Introduction: ``Kenzo and its predecessor EAT are software systems devoted to symbolic computation in algebraic topology. They carry out calculations of homology groups of complex topological spaces, namely iterated loop spaces.NEWLINENEWLINEThis paper deals with generalization by parameterization in the sense of Kenzo and EAT, so that our parameters are symbolic constants of a given type, that will be replaced by arguments which are elements in a given set. The notion of parameterization in programming and specification languages bears several meanings, where the parameter may be a type or a specification. For instance, in object oriented programming, parametric polymorphism is called generic programming, in C++ it is characterized by the use of template parameters to represent abstract data types. On the other hand, in algebraic specifications, a parameterized specification is defined as a morphism of specifications where the parameter is the source and the parameter passing is defined as a pushout [\\textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 85, 157--168 (1980; Zbl 0456.68101)].NEWLINENEWLINEA theory \\(\\Theta\\) can be presented by a specification \\(\\Sigma\\), this means that \\(\\Sigma\\) generates \\(\\Theta\\).NEWLINENEWLINEThe parameterization process and its associated parameter passing process have been described for each given theory \\(\\Theta\\), but in fact they have the property of preserving the theory structure, which can be stated precisely in a categorical framework: this is the aim of this paper.''NEWLINENEWLINEThe authors also prove the following: ``Given a model of the parameterized specification, each interpretation of the parameter, called an argument, provides a model of the given specification. Moreover, under some relevant terminality assumption, this correspondence between the arguments and the models of the given specification is a bijection.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909193$23A13D80-8965-461A-9303-2E3F187512B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee65f653a4a5df6becf432e82d2389ff2079a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":303917,"id":"Q303917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909193$BFFBE38C-A1C4-4813-99E2-0A1AE0A5A69D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A parameterization process: from a functorial point of view","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_parameterization_process:_from_a_functorial_point_of_view"}}}}}