{"entities":{"Q1098285":{"pageid":1109037,"ns":120,"title":"Item:Q1098285","lastrevid":66125979,"modified":"2026-04-12T07:43:25Z","type":"item","id":"Q1098285","labels":{"en":{"language":"en","value":"A note on unification type zero"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037183"}},"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":"Q1098285$B64ABB1A-C9BC-4EE1-B2C5-CC9D290D0A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21f88673d6aac1fe3dcaee8dc016e3b4579b0d63","datavalue":{"value":{"text":"A note on unification type zero","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098285$1F5B9B60-9B77-449E-A928-D317258B4329","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dcdb01c2db6b887b696029308ab255f9556fa12","datavalue":{"value":"0636.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$30B402D0-ADE8-4A6A-A5FF-E8F9B0395EC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a9320944717670cd16f99484a056ab5752891a1","datavalue":{"value":"10.1016/0020-0190(88)90098-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$99335D5C-3D64-4131-88EB-96B0839AF2B3","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":"Q1098285$207522C0-05E0-4376-A8B3-E0314BECDD75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098285$24296821-944C-4224-9DAA-6678FA04BB1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1098285$05275D81-0235-4D6B-A471-3413CEA9884C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa9a22faa34a20c92de5c7e3b8b6aeb8d1bcfd7a","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 Fages 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":"Q1098285$1F4DF2AC-589B-45F8-ACAC-1CC73EEFCA0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$DFDDDED8-2743-4250-8BE1-2BB93CC7F60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$6F0D10F9-DD4D-4743-A4C7-CBC3C23825CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$3949A039-1231-4DE4-80A5-E1544EAB2ED9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"536bb8f58ba00e2dba4c919996232ac270ee1167","datavalue":{"value":"4037183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$A16FAD72-9E6C-4CCF-AEA5-51087727F3A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098285$4EDBD57B-21D5-468C-B886-8BE740F09E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098285$22C1D7AF-F37C-4CC5-937C-DE17B5173017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098285$CE294322-B4BB-4570-A003-D112E51C43BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442ec2ace9bdee263c4fcd3365a5cf7cb3b41067","datavalue":{"value":"idempotent semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098285$6A3029DD-E042-475A-A14C-BFFDF1424AAB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ed5591774ed6b91ed214aa3b9b682b44c5c2ac4a","datavalue":{"value":"Q57383758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$B7F69DB3-9F40-432F-9AA3-15EB16D3D152","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":"Q1098285$2F49071A-2BFF-4832-9923-43C588311B68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1cab7d08c0c981b1942f868c49a5b7500b00770","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90098-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098285$54EF89D0-CA5D-496D-A20B-3E9388ABB2CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dffe7a69e55cfd6b0690c88ffe766ec1887001cf","datavalue":{"value":"W2030476257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$E45806BC-A35B-4785-A60D-D3002659D11B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ebe282e06ee5417251ceb207554999700031ba","datavalue":{"value":{"entity-type":"item","numeric-id":581000,"id":"Q581000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098285$4B22871B-E212-4EA0-AE41-93A916DB51C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10388a21a0433090bc8fa41982aae790dd491eb","datavalue":{"value":{"entity-type":"item","numeric-id":1092171,"id":"Q1092171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098285$CAE5ED74-DC4C-47CF-B863-C0C539E31534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6935dc55ba37c30b0106e3fd9b123c1fe0b814fe","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098285$E4C2A331-8171-41AF-8DDC-50B75DE18615","rank":"normal"},{"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":"Q1098285$DF4CA807-0BAE-4D2F-81BA-CD92936E1988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098285$46BD1903-F3A5-4BA7-A538-37444632CFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098285$B00DC1D0-2926-4CDC-8F62-FF29B60E7C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36616b185d46b86df03954cf9c690775b1d779e","datavalue":{"value":{"entity-type":"item","numeric-id":580999,"id":"Q580999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098285$9663D907-B673-486B-93D5-5E89BEBF9717","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5712fa2902a4843cf9c489e450836fed833669e9","datavalue":{"value":"journals/ipl/Baader88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098285$6A471A4B-CAF6-4CB0-B067-5DC2DA0F24F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ea63d76a32b1812b07ec9573b00cde487dec7b","datavalue":{"value":{"entity-type":"item","numeric-id":581000,"id":"Q581000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61da29dc6b0e42561662309ecdb42c01c6a53646","datavalue":{"value":{"amount":"+0.96696937084198","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":"Q1098285$EE794F95-8D24-4268-BCB5-C51E191272D9","rank":"normal"},{"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":"e2d236310d521a29a11c43b331110bfcb6bfdb97","datavalue":{"value":{"amount":"+0.8602104783058167","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":"Q1098285$20A89018-7E48-412E-8C5E-E1035848F0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8052409c93ae54a67ce094fd79c1cb37e4e01c","datavalue":{"value":{"entity-type":"item","numeric-id":580999,"id":"Q580999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76162294bfec2d44761a3d49f2bf7edeaa2e9f78","datavalue":{"value":{"amount":"+0.8569360375404358","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":"Q1098285$F2ADC2F8-8FF2-4D8F-B2F6-35A14BCAE4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d4d4fd58dbc4400847b884214524503a25112f","datavalue":{"value":{"entity-type":"item","numeric-id":5055707,"id":"Q5055707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0693ecf99d663e0409e998d66514b9ac5c3b0bb7","datavalue":{"value":{"amount":"+0.8485079407691956","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":"Q1098285$07A19AF5-5DD6-4D82-8EF8-07BC015A70DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3550eee67ef915f9151c7b65b064ed3643c7a8","datavalue":{"value":{"entity-type":"item","numeric-id":582071,"id":"Q582071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631a16bb99af0a7103f0aa61444fea5bde050479","datavalue":{"value":{"amount":"+0.812389075756073","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":"Q1098285$1783D4C3-4FB6-44FF-B934-4087B55BBC38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on unification type zero","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_unification_type_zero"}}}}}