{"entities":{"Q1935775":{"pageid":1946517,"ns":120,"title":"Item:Q1935775","lastrevid":43431445,"modified":"2025-07-25T18:57:46Z","type":"item","id":"Q1935775","labels":{"en":{"language":"en","value":"Functions and sequences generated by reaction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137324"}},"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":"Q1935775$9D652F29-785D-41A7-96BA-35FB3D963702","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20b79b322e38a6542dff869679bcb22b976972c6","datavalue":{"value":{"text":"Functions and sequences generated by reaction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935775$C4AF1EFE-8A53-4E02-9362-B481F2D46093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8055d1b10a5b302d2be6f7bf536e834174ade20d","datavalue":{"value":"1321.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935775$C118AEC7-458F-4F34-BD29-B58ED0EEF6CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f58f3719f2f81c417cf620530e45b407dd1c4f1c","datavalue":{"value":{"entity-type":"item","numeric-id":235701,"id":"Q235701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935775$A0967DB9-B397-45A4-ACAD-0BE26A32EE89","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":"Q1935775$3B13223A-2781-45C8-BFA1-605786136857","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935775$C0265F8E-0A41-4FEA-930D-55C90BCD265B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61d4754faf1b6d3cb66b0a34513915584ce97add","datavalue":{"value":"A reaction system, introduced in [\\textit{A. Ehrenfeucht} and \\textit{G. Rozenberg}, Fundam. Inform. 75, No. 1--4, 263--280 (2007; Zbl 1108.68056)], defines a function from \\(2^S\\) (the set of subsets of a finite set \\(S\\)) into \\(2^S\\) itself: it consists of triples of the form \\((R, I, P)\\) (with \\(R\\), \\(I\\), \\(P\\) being subsets of \\(S\\)). The triples are called reactions, they are applied to a set as follows: \\(R\\) is the set of reactants, each of which has to be present for the reaction to take place, \\(I\\) is its set of inhibitors, none of which is allowed to be present, and \\(P\\) is its set of products, each of which will be present after a successful reaction. The reaction system maps a subset \\(T\\) of \\(S\\) to \\(T'\\) by applying all the reactions that are enabled in \\(T\\), and collecting all the products in \\(T'\\). Such a function is total if it is defined for all proper nonempty subsets of \\(S\\), and a reaction system is functionally complete if all total functions are defined by systems that are so-called `core equivalent' to it. The paper gives a characterization of reaction systems defining total functions in the case of having singleton sets as reactants and inhibitors, and gives a characterization of functionally complete systems as well. Hierarchies of functions are also presented based on the amount of resources, that is, the maximal cardinality of the sets of reactants and inhibitors. In the last part of the paper, sequences and cycles of sets generated by reaction systems are also considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$2A8821DA-EDA4-46DA-8F42-159637A664F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"756de708358bc609c95044a04b01ef86eef90753","datavalue":{"value":{"entity-type":"item","numeric-id":407597,"id":"Q407597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935775$26E5FA6E-AA53-4154-8EE5-01E5445B5F59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935775$7CAB9675-74D2-4DBE-86B5-5311C851E63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935775$80C6B548-7FB1-496F-A77F-6D071FABF32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935775$1B6AEAF4-62F3-46AA-A8C1-26E53F45D9FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ff18bcfb5f317dceedf15cd0fea94426e1a9238","datavalue":{"value":"6137324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935775$AB420CE7-5182-432D-AF5B-10FCE323F4D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5691bdc0a94e7b9c4c2d3747058c217b7b05a653","datavalue":{"value":"reaction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$919E061A-F39F-4FCA-B768-3A2E9B1A1E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274d092672a414a51cbf1f9c6392a720be1e7927","datavalue":{"value":"core","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$7B71AA57-5594-420F-8A16-ACD06D532083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fdf22c5f890b8c0e88c457d24a967d9fed81725","datavalue":{"value":"inhibitor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$D5805F90-FF03-4B7E-9E74-01ED92F739FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2360aa42678600ae6683475557d78e59ae172daa","datavalue":{"value":"reactant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$DBF3E2C6-3598-47BC-A168-844B7C3A7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3954763f90149a6656f9fc40b4790038c105b554","datavalue":{"value":"definability of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$A994FF16-A386-4EDB-951E-B24791D60188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a67b95fec50cc1a7d9a06d82752c3ce5f5af41d","datavalue":{"value":"total function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$E61EC388-0966-41FF-BE42-1247F48DA30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$15791DD1-65C2-4D16-B19E-DC46A465DF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a1ffc5b15d5c5997350f0c161b172fdd75dfa2","datavalue":{"value":"state sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935775$D5192561-4F0C-40EB-8670-7E7C7837BFE4","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":"Q1935775$A115E939-5EDB-4CF4-A008-FF340664ACC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d723b3877bb01f686ada0843e4b8caa2a710a584","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.07.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935775$E0F5AEDA-715C-4BB3-AE46-F4D64665F3FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31f224b6a22c08b5414eaee80da4cb0c3cd4d94d","datavalue":{"value":"W2023752208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935775$53D65F90-B50B-4675-B753-809228A3969C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fad4415ce71d3d8c49c11b75d18252242931459","datavalue":{"value":{"entity-type":"item","numeric-id":2909091,"id":"Q2909091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935775$0AAE9AE8-4D27-4F14-B529-677E8564D7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12eb1b00cd700375a319d9eff0e665861dba3282","datavalue":{"value":{"entity-type":"item","numeric-id":3076610,"id":"Q3076610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935775$6B970E03-2259-4F8B-9E19-4AA4E87E8FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56d54f0f6b107eb4ab9aa281a6e9b10fb7af93e","datavalue":{"value":{"entity-type":"item","numeric-id":3425581,"id":"Q3425581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935775$618DADC9-066E-4C76-A8E1-A60462027372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935775$4B1F62D9-33A4-4687-B48B-345D239FC9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc0229b15d74a11f89af43b2ad328b902f976f0","datavalue":{"value":{"entity-type":"item","numeric-id":2897958,"id":"Q2897958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935775$6EF1A5F7-65C3-40F7-BDE1-ABF74361A7DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bcda84cca92ff70e07b79e20399cff665dc3c3d","datavalue":{"value":"10.1016/J.TCS.2012.07.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935775$5A922C3E-595E-46E5-9176-56B1DE1E7544","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4f81bd5929b2f4e95263fbc3dec1182f6c29ad","datavalue":{"value":{"entity-type":"item","numeric-id":2944907,"id":"Q2944907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98c37c3f9e22e4db72edf07ff7d5e38f0947e63","datavalue":{"value":{"amount":"+0.86088824","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":"Q1935775$7E499F89-DB37-44C3-B130-B6D8D3B8A292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45cc1f0009e217a5287c777a28d626c09bf58ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2803045,"id":"Q2803045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bde404732d8cf2c00a34dc08e8a198f615e01c6","datavalue":{"value":{"amount":"+0.8590855","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":"Q1935775$1AAD94C9-3FC5-413D-8E50-BEA83C593ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f61ca0fc880a44d6cc6a8ce603efcec27da6e2","datavalue":{"value":{"entity-type":"item","numeric-id":2841991,"id":"Q2841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d90ce16c1c4a3c5596deface4601f6adc8133a","datavalue":{"value":{"amount":"+0.8403118","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":"Q1935775$11F48B77-6D7C-4F11-937D-B71CF5C736C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35ca641bc1c127e104d9713384f61ad9207f2dd","datavalue":{"value":{"entity-type":"item","numeric-id":3076610,"id":"Q3076610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f6f7d0bf9bceafe36e4a4dae016307924f5a55","datavalue":{"value":{"amount":"+0.832721","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":"Q1935775$E04B6547-2D36-4A79-835B-C14070807306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"589c9d6a35979a8209eb4e11e03e45458f7272f0","datavalue":{"value":{"entity-type":"item","numeric-id":2417853,"id":"Q2417853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c92a1191c02eef0fe013d1ca02cef5ef1802b0b","datavalue":{"value":{"amount":"+0.83174616","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":"Q1935775$AF86D3C2-ABED-455E-BCFA-03AF4AD0FEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a3fda5c9f2519ff22cfd5a2cec11f64265a2a4","datavalue":{"value":{"entity-type":"item","numeric-id":5507076,"id":"Q5507076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387e9f4b3b2b53b53263c1203ec1715726b75e53","datavalue":{"value":{"amount":"+0.82886815","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":"Q1935775$F2123866-F992-4EBA-99AA-65711F37AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d94aef7234451e620da0d716c19e658f760ecf0","datavalue":{"value":{"entity-type":"item","numeric-id":272776,"id":"Q272776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71e97b9590916123b61e18155162040fcc533ce","datavalue":{"value":{"amount":"+0.8255879","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":"Q1935775$EC5E6622-34DB-416C-A45F-D665F070EFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40e3ad8a9b551c5125ac1e6d9b913ae894800ed","datavalue":{"value":{"entity-type":"item","numeric-id":511004,"id":"Q511004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02214b9617e795f012076f5f7a3ec8a6a911884b","datavalue":{"value":{"amount":"+0.81816095","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":"Q1935775$6EB08029-6A52-4C8A-B592-F2958001A7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa741d352eea6e861b2624f3d4deecfd39e250d","datavalue":{"value":{"entity-type":"item","numeric-id":2929628,"id":"Q2929628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d098a3aebf16e1eb420e834b524b92d0ecb94b","datavalue":{"value":{"amount":"+0.8180464","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":"Q1935775$03AB9E6E-CE52-49DB-8BCA-501A92241189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d6c9769ec9327c57f7f24b3a1162133b6e33c0","datavalue":{"value":{"entity-type":"item","numeric-id":2044948,"id":"Q2044948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e24e985ba497183e4d0541754f7fde44b691ee","datavalue":{"value":{"amount":"+0.81197053","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":"Q1935775$EED043A1-5C55-42FC-B91A-4D90CE787E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935775"}}}}}