{"entities":{"Q1328994":{"pageid":1339744,"ns":120,"title":"Item:Q1328994","lastrevid":68480682,"modified":"2026-04-12T23:59:32Z","type":"item","id":"Q1328994","labels":{"en":{"language":"en","value":"Free products of combinatorial strict inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 597576"}},"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":"Q1328994$D6C6E953-53B0-45D1-8700-28D49EC1BC97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3dcae137fed4b8e344686e2ead932d38e2d9adc","datavalue":{"value":{"text":"Free products of combinatorial strict inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328994$032B2BD0-CD60-4DA1-9C4D-2107827B1286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44f7088ef27816c1df5e046417e9fd5f1d8cb644","datavalue":{"value":"0802.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328994$D5F14350-494B-4EE1-B040-719A49372F79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328994$85622BB4-C5DE-4FA4-9BA8-5B261A42451A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328994$A373FC61-DE4E-4568-9817-3A32831A7781","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af45782979ff1886ba932072cbd11c58ccf43482","datavalue":{"value":"Each combinatorial strict inverse semigroup \\(S\\) is determined by (1) a partially ordered set \\(X\\) which in fact is the partially ordered set of the \\(\\mathcal J\\)-classes of \\(S\\), (2) pairwise disjoint sets \\(I_ \\alpha\\) indexed by the elements of \\(X\\) which in fact form the collection of \\(\\mathcal D\\)- (equivalently: \\(\\mathcal J\\)-) related idempotents and (3) structure mappings \\(f_{\\alpha,\\beta}: I_ \\alpha \\to I_ \\beta\\) for \\(\\alpha \\geq \\beta\\) satisfying certain compatibility conditions. The multiplication on \\(S\\) can be described in terms of the parameters \\(X\\), \\(I_ \\alpha\\), \\(f_{\\alpha,\\beta}\\). Conversely, the system \\((X;I_ \\alpha,f_{\\alpha,\\beta})\\) can be characterized abstractly so that it defines a uniquely determined combinatorial strict inverse semigroup. In this paper, the constituting parameters \\(X\\), \\(I_ \\alpha\\), \\(f_{\\alpha,\\beta}\\) of the combinatorial strict inverse free product \\(S\\) of a collection of combinatorial strict inverse semigroups \\(S_ i\\) are described in terms of the parameters of the semigroups \\(S_ i\\). As an application it is shown that the word problem for such a free product in general is not decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$03E16506-A726-49BF-9CF1-EC1A0D61F1B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328994$9E9BCF7C-F7D3-4071-AE53-21E743D09307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328994$ECB0DBDA-051D-4A70-82DC-DB912ADA9CB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23a2a055b0a1cd188a2caee290c12ffdbe5120f4","datavalue":{"value":"597576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328994$35218B50-C731-4A57-A7EE-7F2522558633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$21AF5DB2-CB2C-4EA9-B7B4-3CF253A173F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b2de3c034347c1361b02f0c65fe2e7ca1889d26","datavalue":{"value":"\\(\\mathcal J\\)-classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$7F6BB44E-AF31-48AA-8465-5BF5282EE47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$DBEA3238-3603-4AFA-93CC-526B8049B155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20b345fdd103e83848a7ae2bde1da592e6704db7","datavalue":{"value":"structure mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$924F7285-165C-4084-BA53-3840AA68C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b131468aabf33d1a3f9985ce8c54f1a834537b","datavalue":{"value":"combinatorial strict inverse free product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$D0631FB5-B8E1-486D-B0B1-DF9E6CA96BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe307848762036e7183b1f42fa4a14f3af686d5f","datavalue":{"value":"combinatorial strict inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$5D59DD9F-1D5C-4D99-B974-1F786BCB802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328994$EBE8C275-68BF-43D1-9D68-7D93D80BCDC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55ad2678fd55fa4c2c2f21892f089b657041976a","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328994$6B1806E6-47C5-419F-8FBC-FA9EE9039273","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"82b58a7a431ddd1d8859e52615fc9a1cc72e1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328994$DEEE409E-EDD4-4B5B-A377-EF7E47BC920C","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":"Q1328994$0DDF10E3-83F0-4F61-8CED-DBAA3A4432F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"211db8f15a06693b69cfd512bd74c5a2b2eebeeb","datavalue":{"value":"https://doi.org/10.2140/pjm.1994.164.201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328994$EC7D4AD2-2838-4D57-9D38-B2260E21A959","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64d3218937d550612ebad4575b31832757870d86","datavalue":{"value":"W2015302110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328994$6A65BC8F-1359-44EF-957B-0390F442B32E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8749967371adf46ff13f0b8bce9386a9efc429ee","datavalue":{"value":"10.2140/PJM.1994.164.201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328994$72BE7175-AE66-4517-8CE5-A7E74210FA4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2601319965cab196ee62ba288096e7087f282703","datavalue":{"value":{"entity-type":"item","numeric-id":3775721,"id":"Q3775721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3641655510983be14fc1cc6e6454b715f2048270","datavalue":{"value":{"amount":"+0.9613318","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":"Q1328994$A5F2FAA4-2C98-452F-824B-59756C52BA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c035ce06d3437890c097803af40da6d9cb4d8705","datavalue":{"value":{"entity-type":"item","numeric-id":3314058,"id":"Q3314058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9131e530f7b5f6f83e9ff99ecd44c35df74efc","datavalue":{"value":{"amount":"+0.95777345","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":"Q1328994$D5800097-B6ED-4ADD-8C7E-E3848CE2A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9551b3f71961a739fe9850738842dc0b748d1078","datavalue":{"value":{"entity-type":"item","numeric-id":4294349,"id":"Q4294349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62bc8828e9d09976261ca2f202f43731b1e5dad","datavalue":{"value":{"amount":"+0.9384749","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":"Q1328994$3FE3C838-6121-44ED-AC0F-F7B762544633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854f6d1d68aa75fef0be5bec237bcf2ee7dc5c95","datavalue":{"value":{"entity-type":"item","numeric-id":3979504,"id":"Q3979504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd59319e9cd5e9a2d5a9e9ac4ab8537957d7c73","datavalue":{"value":{"amount":"+0.9353921","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":"Q1328994$19107E58-42EB-4AC3-AFA6-3CAF6E52BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b374ea41031b13345ee8e92b253b685fea996588","datavalue":{"value":{"entity-type":"item","numeric-id":1802204,"id":"Q1802204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347bca1b05987cdaddafd09aedc8ef19aeee8673","datavalue":{"value":{"amount":"+0.9290465","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":"Q1328994$1D26A4AD-EA41-4F90-978A-305491718EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58923c36b03f8fed71435351eeaf7388c29ea11e","datavalue":{"value":{"entity-type":"item","numeric-id":4298980,"id":"Q4298980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ddfc809c2cc297050b5509feb4f8a2bf2e838fe","datavalue":{"value":{"amount":"+0.9231007","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":"Q1328994$53B65ED5-BF33-4B11-BAF5-99F9371FAE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e925c993f87bab2c315de2114f8ee73179481e40","datavalue":{"value":{"entity-type":"item","numeric-id":2306417,"id":"Q2306417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c41ace3b7efa8847de0796d58cbf2b598e2dc76","datavalue":{"value":{"amount":"+0.92211705","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":"Q1328994$EAAE110E-43BE-4D39-AE0F-DD91EAA222DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1ced8b5aa6692dbc04933d09c4ceca2214612b","datavalue":{"value":{"entity-type":"item","numeric-id":5906307,"id":"Q5906307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe282db05c5691f7347534bd3077875d9543b27","datavalue":{"value":{"amount":"+0.9164377","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":"Q1328994$F38332A0-84D1-426B-AA88-67ACB1A12A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155baa069a0a71778bc4c9259304ad4b24680e14","datavalue":{"value":{"entity-type":"item","numeric-id":5906846,"id":"Q5906846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe282db05c5691f7347534bd3077875d9543b27","datavalue":{"value":{"amount":"+0.9164377","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":"Q1328994$4E947914-2849-4083-A77E-216EF73A9375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ae0d3b4e68b0b9c0cde9bc99bb609894e0a77b","datavalue":{"value":{"entity-type":"item","numeric-id":3775722,"id":"Q3775722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7c3e939fcb3687d8756e5e99ed1995cc9d2da9","datavalue":{"value":{"amount":"+0.912159","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":"Q1328994$F7686C61-D6E5-4AF6-84C5-9F84C536D956","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free products of combinatorial strict inverse semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_products_of_combinatorial_strict_inverse_semigroups"}}}}}