{"entities":{"Q305772":{"pageid":307539,"ns":120,"title":"Item:Q305772","lastrevid":60957483,"modified":"2026-04-10T20:14:29Z","type":"item","id":"Q305772","labels":{"en":{"language":"en","value":"The finite basis problem for words with at most two non-linear variables."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620658"}},"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":"Q305772$81E1F69C-4481-4EAF-9E5E-38DC95E4183E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"563484c482f0b619e930a41d1b82cc0468b9aa20","datavalue":{"value":{"text":"The finite basis problem for words with at most two non-linear variables.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q305772$DE1B803F-4D09-4264-9EA3-37D5428291EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56e89965da80b0ce5cb855520709e773c0b5a9d7","datavalue":{"value":"1350.20041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305772$4DFD3CC3-F919-4441-BADB-0A4DBA337C93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db859c0333cf546169f3854aca3485a3da15e86","datavalue":{"value":{"entity-type":"item","numeric-id":305771,"id":"Q305771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$C77B7457-F8C0-4876-837E-6FAC18F9EA2C","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":"Q305772$2AA4C916-F99F-4D27-9A56-772A4164127F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d9f70abb070df81833000bc59244d6fec26f1f","datavalue":{"value":{"time":"+2016-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":"Q305772$FC891FEC-4736-4B44-B528-76D3B82C9390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40d6c18c43faa8e6c49338dd8cd5a990f3898f3c","datavalue":{"value":"https://arxiv.org/abs/1403.6430","type":"string"},"datatype":"url"},"type":"statement","id":"Q305772$5CE4A22C-AE88-4DD2-BA83-F5295B4A1786","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf8429d7e5d733c978799d312d5ea3be27e1f3fb","datavalue":{"value":"Let \\(\\mathfrak A\\) be an alphabet (its elements are called variables), \\(W\\subseteq\\mathfrak A^*\\) and \\(S(W)\\) the Rees quotient over the ideal of \\(\\mathfrak A^*\\) consisting of all words that are not subwords of words from \\(W\\); \\(W\\) is called finitely based iff \\(S(W)\\) is finitely based, i.e. has finite basis of identities. Here are presented two algorithms for recognizing finitely based words with at most two non-linear variables, i.e. variables, occurring more than once.","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$16CBBA8B-D8BD-463E-BA4C-CBBB04425DCD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$0BAE5BAC-97EB-40D6-89FA-A48C9BA40337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305772$1B179AF9-668E-4A7F-BCA4-10AAC8415237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305772$BEE04EB6-7337-4830-99AC-3921FC21B5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305772$76452599-9229-46E6-A5F6-D4A9BDC05F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d228540c366cd42f092ff22283bc2be2cc0c138","datavalue":{"value":"6620658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305772$18DA15F0-C459-4E6A-A6B7-9A03EE45FBF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1178b35afc52e08d361283ac7c78b9537b115d23","datavalue":{"value":"semigroup identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$46C7483D-8C8B-46DD-8953-D61DE47AA688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$FE691C52-358E-47DE-9A21-96DDBF876190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$BF35AD06-58B4-47E3-92E8-162B4862E6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05403fffd1a8d14ac12d1e47938e2c311e244e39","datavalue":{"value":"isoterms","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$650DD1B9-B6D9-4F62-BDE0-DC60B0950E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e66ea799e08d4fa143be1cab8ede1fe5fd90e977","datavalue":{"value":"finitely based monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$77BE427D-C45E-49B7-8FF7-A047766FEFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$FA007343-C5DD-46DB-BB63-85C83026EC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd2f41b374b83ca1fb12e8e99dd550279b225620","datavalue":{"value":"alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$2AFF8F6E-3BC2-4637-A06C-982A35AF9C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$99A0894E-5584-407D-AE99-C2D02A54677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c0dc6670e1ab636fe149bfa608d1516c750b3b","datavalue":{"value":"Rees quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$0490B299-38A4-492E-B51F-9670B78A9235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53be0eb667b852b6a2c6fa52076d3e3ac1572644","datavalue":{"value":"inherently non-finitely based monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q305772$4BB9C7AB-6C64-485C-BF69-2EE07F076602","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":"Q305772$0A6624BF-689C-4219-B58D-82F42BACF15E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec82365f7e5e6b5b7f2e1f6e32d9443f476d6213","datavalue":{"value":"W3099273318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305772$9F0E24BE-D79F-4D9B-9ABC-312E953FAA84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$98CBFB9B-328D-4B9A-B474-43C62BA7D475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740cb886eb095d0a8c707aac801289b9db94804e","datavalue":{"value":{"entity-type":"item","numeric-id":3765976,"id":"Q3765976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$C34124F7-F96A-44C3-9786-F38FF3FFF192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d0d619725e78d8d62c35ba51dee2c8d62de95","datavalue":{"value":{"entity-type":"item","numeric-id":2740982,"id":"Q2740982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$FFF1A2C1-1970-404C-B79B-724D1BDB75B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8875edd74561cc5d1cd17aba7a5796ac3ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":3789786,"id":"Q3789786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$6101DA19-469E-4B26-B10F-33F15AC3E362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3197f0092d6c449135bd2a319f234cb43d164a","datavalue":{"value":{"entity-type":"item","numeric-id":3801785,"id":"Q3801785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$F6F897DF-F212-4EA1-872C-5AC92C0EB23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$555C69BD-91B8-4BCC-B39F-39AA2518B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4cb44920452e2a30ebec55d1554cafbdd5519f4","datavalue":{"value":{"entity-type":"item","numeric-id":2709973,"id":"Q2709973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$BA3BECB8-C26B-4F3A-BB53-A4341AD15E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81dd9fe9d3514639d7b5e595e63ffccff23c35a0","datavalue":{"value":{"entity-type":"item","numeric-id":3186380,"id":"Q3186380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$BD81FD1A-F64B-44E9-962A-37C0CE33516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d4d66dbb1bce2325b9304c2648be57cf1aa483","datavalue":{"value":{"entity-type":"item","numeric-id":3413479,"id":"Q3413479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$A6D43ACF-96E8-4997-A111-2386DA7B2816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bafad6b47f32898a7aff6c2c91214f930117a8","datavalue":{"value":{"entity-type":"item","numeric-id":1119746,"id":"Q1119746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$AB687333-EC36-4751-8ACA-FD0EBEEFFB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edb49b5476d9a05956126aad3c29b57e3522c71","datavalue":{"value":{"entity-type":"item","numeric-id":4786258,"id":"Q4786258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$EAE90000-0BAA-4D74-8DA0-3456E6D8228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757cee661acf600c705044282a138a430237c443","datavalue":{"value":{"entity-type":"item","numeric-id":1780019,"id":"Q1780019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$342D42CC-A46B-4619-83B0-586760180FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c221991077d12093166e46732087e429f7cd9c","datavalue":{"value":{"entity-type":"item","numeric-id":1940888,"id":"Q1940888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$9A75765F-7B76-42A6-9EB7-BDCF4C0D6464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f78b1813f5e4b4074e81cb1c203a268dadf5637","datavalue":{"value":{"entity-type":"item","numeric-id":744847,"id":"Q744847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$66E7625D-9BC8-4F20-973E-915A15A143B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bdd479e063fd36271574cc8464a255c0d64821e","datavalue":{"value":{"entity-type":"item","numeric-id":744848,"id":"Q744848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$2366C23C-8005-46E0-A72F-D66089A7EA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5284c4bd7f1d1b2f695bd5463e28ddc14a1bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":5404573,"id":"Q5404573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$4F9A414F-9723-477F-8772-D5E7B14852E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dff1a0e6ff2668153bb3863d9b258214c840012","datavalue":{"value":{"entity-type":"item","numeric-id":2754914,"id":"Q2754914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$067B40DB-8B23-4281-9C95-A45E13B3FBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$DEA3A522-F514-4B8A-8FB1-ED3F38B6AF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$DE99AD53-7A19-4774-B965-A41C875E49D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507b134c3ff0aaf66cee234e5db9596c48c8d355","datavalue":{"value":{"entity-type":"item","numeric-id":2009667,"id":"Q2009667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305772$CC3E28FC-C016-4FE0-BF3A-3F5E86972FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96662856d32f6fde4c62a3c879fb8692a85726e0","datavalue":{"value":"10.1007/S00233-016-9799-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305772$E82A48AA-CB94-4711-9F6A-6292AF981B19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e283365f34ccea8c445a7b760e669a82d8d38a","datavalue":{"value":{"entity-type":"item","numeric-id":1940888,"id":"Q1940888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaca4568ee561c4d264c5198a4da835d890e3d42","datavalue":{"value":{"amount":"+0.848985493183136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q305772$F9ED292C-FF9F-44B8-8986-76D1EF2A8643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a35e25f02f29e8483e977400a17271b3a2fba52","datavalue":{"value":{"entity-type":"item","numeric-id":2709973,"id":"Q2709973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324cf189e03952eb99daff81731a16e1e3752012","datavalue":{"value":{"amount":"+0.8458026051521301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q305772$6A65AD25-0AA0-4694-B475-91BF07B2F495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942c6ffc8b692543440d1c6f2c3a01f324b970d5","datavalue":{"value":{"entity-type":"item","numeric-id":4786258,"id":"Q4786258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f259d841157caf05889decb122fc63d94dfcaea","datavalue":{"value":{"amount":"+0.8367946147918701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q305772$D7EABFA3-6DCF-4A7D-87D7-5636A10549E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f856bca1c086cd778197756a3e179015a1bb8710","datavalue":{"value":{"entity-type":"item","numeric-id":2754914,"id":"Q2754914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9ba7e540573cc95c68fd153e24439f9b73a352","datavalue":{"value":{"amount":"+0.833330512046814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q305772$EB4E11D0-8C9D-4621-BCA5-62B8195B3E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605474812e18e582e69c9e6a66c9a4e454fdbd46","datavalue":{"value":{"entity-type":"item","numeric-id":4802802,"id":"Q4802802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9ba7e540573cc95c68fd153e24439f9b73a352","datavalue":{"value":{"amount":"+0.833330512046814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q305772$727B01D9-FF53-4241-83E5-F9807870A40C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite basis problem for words with at most two non-linear variables.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_basis_problem_for_words_with_at_most_two_non-linear_variables."}}}}}