{"entities":{"Q581000":{"pageid":582767,"ns":120,"title":"Item:Q581000","lastrevid":62924964,"modified":"2026-04-11T09:01:13Z","type":"item","id":"Q581000","labels":{"en":{"language":"en","value":"The theory of idempotent semigroups is of unification type zero"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018418"}},"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":"Q581000$377C0574-38A0-4959-97A4-575CA79F61EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78bb964ae69c13dca0f6d5ea7e7391c2e80d9ed4","datavalue":{"value":{"text":"The theory of idempotent semigroups is of unification type zero","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581000$9C197591-D391-459A-BF45-2E239236375E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1f90f7f8fbe7e9fed53286e7a0448741e8c3db1","datavalue":{"value":"0626.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581000$0E27CF15-E455-4DBE-A115-EFE2EB538097","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09b40c343662aaab51f246b7572fff86b4ab1f7f","datavalue":{"value":"10.1007/BF02328451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581000$C8090E3A-0D64-44B3-B9AD-5BEA358C0083","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581000$707A6FEB-9FAB-49F7-8559-472A785F86C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581000$D4C56D46-0AAD-4ABD-80F2-398EF6BC5420","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q581000$D363A74D-4ECD-4B02-9028-A7BAD1A20112","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b2b913dc45c4c2fcc8d30242648f410acdbf73c","datavalue":{"value":"An equational theory E is of unification type zero if there exist terms s, t for which there is no minimal complete set of E-unifiers of s, t. The existence of such a theory E was conjectured by Plotkin in 1972. The first example of a theory of this type was constructed by Fage and Huet in 1983. The present paper shows that the theory of idempotent semigroups is of unification type zero. This yields an example of a theory of type zero which is more natural than the example given by Fages and Huet.","type":"string"},"datatype":"string"},"type":"statement","id":"Q581000$BFED4428-CFFB-425A-81F3-57E9D0858CB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581000$4F15FAAE-B842-468A-8825-B58864885E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581000$9B8D5D93-3BFC-41B8-AB70-932A58BE1A83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005db7857b09f221a6ebe951d5280ac8b627a44b","datavalue":{"value":"4018418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581000$42287B2A-556F-4853-9A6B-03BBC697F808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q581000$FB590560-F03D-4540-A69A-0D7AF987C3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q581000$930CFB57-3413-4541-BA94-D9B62C523548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3fc13e1cb8858c2c3022283b5f73ea4962a637b","datavalue":{"value":"unification type zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q581000$3D83961A-1DDA-44F5-872B-334D7979D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdafdc932b6969549d349f690b73d9b74ad08e00","datavalue":{"value":"theory of idempotent semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q581000$1DC9A47E-8B58-46FF-937E-ED1F5C5C062F","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":"Q581000$0EF29571-0716-479F-9907-BDC18A75BFED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b8ed970ae9ead4b64df5c04442bc49643785d5","datavalue":{"value":{"entity-type":"item","numeric-id":3335752,"id":"Q3335752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581000$62672604-903D-4520-84C4-20191BE835EC","rank":"normal"},{"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":"Q581000$352357D7-2625-4DCE-A816-CDC3CCBCDA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edaa2535a00a6e8ea37a540bdfdf4b6f7d0a36d1","datavalue":{"value":{"entity-type":"item","numeric-id":770308,"id":"Q770308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581000$31687482-C9C5-4C5D-8B4F-C8D24058358F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9945fe8412d67b8b2272e38b7564c09d554fcb05","datavalue":{"value":{"entity-type":"item","numeric-id":5825703,"id":"Q5825703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581000$A63AE496-AA70-44E5-9FE7-3375C5554A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270c1c054c28939f7f15e01aa922e0cf1576a9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581000$B0ACD806-9CBB-462B-AAE9-3DF6F8F56C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe6c7975b9d29007f81ba1a0bee5e1e5d56fde2","datavalue":{"value":{"entity-type":"item","numeric-id":1168754,"id":"Q1168754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581000$4ECD5458-4F42-493C-AE74-AA9AA6214474","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481de34a8577bd0786a21e51a69fb8ec5373f651","datavalue":{"value":{"entity-type":"item","numeric-id":1092171,"id":"Q1092171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6531e094d7ae58267e0d0c29f0a270989a53b66e","datavalue":{"value":{"amount":"+0.9079847","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":"Q581000$91F30F2C-407D-45B2-80B3-8335B0DA29C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da05cc64f296b89bee52c265168e5308e488580a","datavalue":{"value":{"entity-type":"item","numeric-id":2041589,"id":"Q2041589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6c74bac5920bc34a3542d2de949603e5de8a56","datavalue":{"value":{"amount":"+0.87465215","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":"Q581000$E27A0F1C-A92B-48B9-8598-2F44C9756DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263ef5e4b8b44e29c5c528668f6e72b3bd71538c","datavalue":{"value":{"entity-type":"item","numeric-id":4384937,"id":"Q4384937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4bddffc3ecfd0d29d759054a4a14b56d82613d","datavalue":{"value":{"amount":"+0.86327827","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":"Q581000$F6F3E1B0-7421-4E79-A822-78AA1BB39086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec764cf39e408f0fa5403cc45afbdbbd32acf5a","datavalue":{"value":{"entity-type":"item","numeric-id":1352829,"id":"Q1352829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cb354a8b7f86fc2d399373d48920a3c47b00f3","datavalue":{"value":{"amount":"+0.86047673","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":"Q581000$D06DE602-7FD8-4B7B-B5AA-3AE639DB810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aba30fc4bdbad4b44f113305226e6970d34bb5f","datavalue":{"value":{"entity-type":"item","numeric-id":4469601,"id":"Q4469601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a889471f6f5228832a51b89600bb3acda46f8953","datavalue":{"value":{"amount":"+0.85983807","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":"Q581000$1076F303-08CD-402D-83B3-C20F4EEB929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3cb7f1540032248871673237bb84bcd58b4f7b","datavalue":{"value":{"entity-type":"item","numeric-id":4018704,"id":"Q4018704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ded6eda07348f311ab1c6dd1921a8f88e734080","datavalue":{"value":{"amount":"+0.85957646","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":"Q581000$1143A090-8AEC-41CF-A5B3-C7E5E27EEE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8725a9db44120e3d7e8865816f66153ebab916e1","datavalue":{"value":{"entity-type":"item","numeric-id":4313917,"id":"Q4313917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b179f603db9593b7a6764082982a120e0969a39","datavalue":{"value":{"amount":"+0.8586284","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":"Q581000$D99473F0-3B04-402F-B17C-D5E4258859C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894899b3e3027220a989255beba66b755af7e267","datavalue":{"value":{"entity-type":"item","numeric-id":4232247,"id":"Q4232247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df50235bb6b94ec99c402ce5ac8cc8307a89528c","datavalue":{"value":{"amount":"+0.8577603","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":"Q581000$4F3E2E8F-8B9D-4528-BB16-7E83DC567BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6a21b1c791e7245c8d92eeeec2065734cc5823","datavalue":{"value":{"entity-type":"item","numeric-id":5943065,"id":"Q5943065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393bbb619159e7508c40a834b9f0dd9a04c71dbb","datavalue":{"value":{"amount":"+0.8573164","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":"Q581000$34A412C5-1E12-4842-A253-77DEB20915C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6b78501c6b3cc03c6531fffc01140004d23db1","datavalue":{"value":{"entity-type":"item","numeric-id":2553533,"id":"Q2553533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145018ef5c61a538e35415a59befbc9b2c503acb","datavalue":{"value":{"amount":"+0.85661626","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":"Q581000$C43586F5-DBC2-4EC1-98BE-7BD488F92696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theory of idempotent semigroups is of unification type zero","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_theory_of_idempotent_semigroups_is_of_unification_type_zero"}}}}}