{"entities":{"Q1820872":{"pageid":1831614,"ns":120,"title":"Item:Q1820872","lastrevid":69037212,"modified":"2026-04-13T03:55:55Z","type":"item","id":"Q1820872","labels":{"en":{"language":"en","value":"Normal forms for band free products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995985"}},"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":"Q1820872$735CCAB0-CC31-490B-A597-1D6BE35CC937","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c7ddfe70cb5e5c4656999e9b728e0338e8d0fb","datavalue":{"value":{"text":"Normal forms for band free products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820872$8668AA77-3165-42B8-A995-22CC41EF78D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0664adb6b7644f1d26be63efee656da47ac4d646","datavalue":{"value":"0615.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820872$5238A5C7-A325-41BD-A05E-F2DA025DA55D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fa795993b78c4eb1511106e58e15e3876a66291","datavalue":{"value":"10.1007/BF02573111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820872$8C9F364C-7D26-4EAC-A0FC-B80CD03EB933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9640c747b0d7f9ec10d9aa67c77b8ff4564fb27","datavalue":{"value":{"entity-type":"item","numeric-id":1149002,"id":"Q1149002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$189306E0-282B-47B6-AE90-D620BE6BDBE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$1D6BC0EB-B56F-4C7A-BA57-B8E0AFD115FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1820872$C8AC8D3A-49E8-44A2-AB8A-CE7EBA334D11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f7bd6e037503a41ba769067a2d387369eff9873","datavalue":{"value":"https://eudml.org/doc/134875","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820872$BC6F6EC7-F06E-49FF-B855-E89DE2228587","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb56c9b0f06c0d63394329538293f77651dfcd31","datavalue":{"value":"Bands are idempotent \\((x^ 2=x)\\) semigroups. U bd V denotes the free product \\((=coproduct)\\) of two bands U, V relative to the variety of all bands. Members of U bd V are congruence classes [w] of words w in the semigroup free product of U and V. This paper aims for, but falls short of, a unique normal form theorem for members of U bd V. Instead such a result is obtained in the restricted case that U and V are normal bands. However, the restricted result is enough to show that the word problem is unsolvable - that is, two normal bands U, V are effectively given such that the question \\([w_ 1]=?\\) \\([w_ 2]\\) is unsolvable in U bd V.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820872$2BB72575-E509-4EF0-B9F4-768842C9371C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820872$83107C9D-7730-4724-B979-79FD5673987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820872$9A821451-7FA7-4CED-A272-0B40C45212A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34cc116c782527930ab4b2a584d326cd68febc23","datavalue":{"value":"3995985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820872$DB0D37CA-AD94-4ECE-B0F0-010876824E5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442ec2ace9bdee263c4fcd3365a5cf7cb3b41067","datavalue":{"value":"idempotent semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820872$CD256339-4716-45F0-B487-A9EE957596B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a596b3eea41eb3c24ef44d19817c650922d080","datavalue":{"value":"variety of bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820872$CA7BFAD4-6BE7-4C9D-981E-7CA2601C5FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3e638b439a8ce33a8e994eaa7d1ef9ec9b9535","datavalue":{"value":"free product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820872$E34160BE-8755-4B21-AD97-DFA63258AB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820872$993767C1-3C04-4754-A03E-3A2802F95E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38fc21fd6608ceb08249b3fe9ba6ac7f649946b2","datavalue":{"value":"normal bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820872$E4EEBCBE-9758-4E50-821B-E885ACAB6321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820872$FCC01B01-844B-4EEC-B895-FF037ED2AD68","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":"Q1820872$18628945-A91B-4BE6-B7EB-33F9E8117236","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$5F70B701-B8E0-49F9-88FB-DC5DB44CE54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1380734ff8a59df3703ef4bc8d36d02182761de","datavalue":{"value":{"entity-type":"item","numeric-id":1146771,"id":"Q1146771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$87881C40-FE46-4AEA-BAE5-6E5A67C7BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb9af7797e0df18d3ef039f6faddda640baabaa","datavalue":{"value":{"entity-type":"item","numeric-id":1149003,"id":"Q1149003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$BFA62D38-9A27-4738-9630-78B2D253493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb22d5ba2abcec0669c55b931c7798bedeb91cc","datavalue":{"value":{"entity-type":"item","numeric-id":1820247,"id":"Q1820247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$4B178D19-F387-4486-81DE-6979665C9609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3178c3d40d66f56d2d200dcb9a13a12b2140b77b","datavalue":{"value":{"entity-type":"item","numeric-id":4148155,"id":"Q4148155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$46510D2B-8906-40E6-89EE-B35B4151D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb700403dec5460bad10ae54509ce7f848cf7e71","datavalue":{"value":{"entity-type":"item","numeric-id":1251298,"id":"Q1251298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820872$10FE9435-ED59-44DD-852F-33DD68D372D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"decc45638a14a08187227119ec7a83b8dad03a1b","datavalue":{"value":{"entity-type":"item","numeric-id":4301765,"id":"Q4301765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5974157db75fd921e67567c06fb2cc009a0bd261","datavalue":{"value":{"amount":"+0.87121934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$5694FC80-59EB-4FD9-B97F-53EDF12B1AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281ecf6e11d73ef1a2dd89e4c0609ecc80cdeae0","datavalue":{"value":{"entity-type":"item","numeric-id":757604,"id":"Q757604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57001eb788e39063e9f0a8f80ad82dbfce9fcb9","datavalue":{"value":{"amount":"+0.8633617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$56129321-AF99-4877-AC54-3A6A7EB7170E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad5a9e18113f030ea5d4068b6469b08ac8c6176","datavalue":{"value":{"entity-type":"item","numeric-id":3520435,"id":"Q3520435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63c39978c30634a3bb1cbf1f481a30b3106e0af","datavalue":{"value":{"amount":"+0.8577623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$72C0A12B-75F1-47CB-8CCD-5A192C57384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2deead1f0bf2097d2dce6aef857ac96d287ff265","datavalue":{"value":{"entity-type":"item","numeric-id":3150095,"id":"Q3150095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37c0fdd7413dee5fd1fa5d4cad4942370c8a6ed","datavalue":{"value":{"amount":"+0.8558031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$D6243810-C99D-4AFF-A00B-89CD95ACF843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014b0d6aa81e10ea86b335209dbdad0a69e88d22","datavalue":{"value":{"entity-type":"item","numeric-id":4786300,"id":"Q4786300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e231825e41a976af315ee83d26ed3576480eb514","datavalue":{"value":{"amount":"+0.85527205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$78FFD11C-9BDD-494C-88FB-6A1313F1813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4f8896ac7cda7a65d77f93dbf480bac4ea49a4","datavalue":{"value":{"entity-type":"item","numeric-id":2423246,"id":"Q2423246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c6b7e3e684f660966ada251ce6e6cf2a1fc8cb","datavalue":{"value":{"amount":"+0.853055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$64C7431F-B50B-445B-82CB-538B5FB1DF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff689f4527dbaa3de8b00c1e2547ea4460db25fa","datavalue":{"value":{"entity-type":"item","numeric-id":1345685,"id":"Q1345685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8124de6af884bc47a885255c191f8d4c5f4293a","datavalue":{"value":{"amount":"+0.84965146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$A70CEA88-55F9-47BB-B5FA-8089C549E1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae1484656d598cefdbeb6a9d23f82c702fbf563","datavalue":{"value":{"entity-type":"item","numeric-id":2693634,"id":"Q2693634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19e29dee76cca8ba702cdb9d3b86c0efc9979ca","datavalue":{"value":{"amount":"+0.8495437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$2A424670-F3FB-498F-9165-93E91AE4D716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d666f9e2c7369ec76a32b1029e3fb0d0b285ec","datavalue":{"value":{"entity-type":"item","numeric-id":785976,"id":"Q785976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e83ff87f0e89186bb571f98ae80c6b0cf5c7cc","datavalue":{"value":{"amount":"+0.848837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$FF637402-0B59-48B8-885C-BC981CB87197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1da0043cecb968cb979b8152c002118d5af3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5319274,"id":"Q5319274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"accc82b1b93a4fbbbbce5207098610bc12891952","datavalue":{"value":{"amount":"+0.8448622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820872$6D91562E-75E2-4896-97E7-C7C3AC8A11CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal forms for band free products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_forms_for_band_free_products"}}}}}