{"entities":{"Q2494722":{"pageid":2505465,"ns":120,"title":"Item:Q2494722","lastrevid":44196435,"modified":"2025-11-20T18:45:22Z","type":"item","id":"Q2494722","labels":{"en":{"language":"en","value":"Essential unifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038064"}},"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":"Q2494722$690D84D6-2862-4F72-A6C9-FDC774F8999B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ab3503f2983ee24048c39d253c0dee2175cffdc","datavalue":{"value":{"text":"Essential unifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2494722$65C26425-6579-4F16-8138-4F5D9C3FB4B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d1138df21fec54b4d729017d9e510b8f9e29bbc","datavalue":{"value":"1108.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494722$6BEFB2DE-FAAD-49DE-ADD9-05F8A93FE2EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$B63468CD-961D-4588-8465-3BD90378165A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$C727BAF7-769C-41CD-960F-F5EF7FB86971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-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":"Q2494722$3D353DC2-3356-4977-AB70-FCCB33AE2CA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c2af73a9b205392220b77a4531ffd58391f3063","datavalue":{"value":"The authors propose some generalization of the notion of most general unifier for a free algebra of terms. This is called the essential unifier. Such approach opens a new view on classification of equational theories. The base of classification is the cardinality of minimal sets of unifiers.  The main result of the paper is a theorem which establishes that for idempotent semigroups the set of essential unifiers always exists and is finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$3CDA73C6-C738-4E75-B666-E518B28ECD7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494722$4E6F7A8B-42E5-48DF-822B-883EE7C8158C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494722$45760857-8E4F-4C6C-8126-3AB50ECCF0D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a56b53be98df75c6432d695dbe682d5f81c7f427","datavalue":{"value":"5038064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494722$9F0C26C1-F90D-445D-B570-432C048270F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd488957e6565f193db2bea6a9ea9616ae78730","datavalue":{"value":"\\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$22C88743-1C72-42AE-AA99-834B53D70E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$0C6D4E97-5576-44D6-821C-7EDF80B18363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab83b74f8204ae5e13a88c27dae843296e492dc0","datavalue":{"value":"substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$B3B48914-420D-4566-B750-D0ACCA983086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968da2c9d60402bdd320d2acd279d5ed358a23ff","datavalue":{"value":"terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$7A31737F-E2AC-4453-B6CF-4A13F1A4D967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3151651943eabb804fe809c0f7f7156bda75cefc","datavalue":{"value":"unification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$EBE318E0-6194-4728-AE45-1740AA93541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b17ea018c233cdb54f8146c44dd788bd05ab9a1","datavalue":{"value":"part ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$95168BA3-5CD7-4A2F-A436-FA1816F30D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$004D5D33-3143-4BE4-A8ED-11ABDEB0D7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2494722$A4A689BF-C29F-4026-88A0-F0DA105C199B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$47D3438F-51B5-4514-A6A4-6C1D293DAC47","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":"Q2494722$3151E90C-4767-4F96-A69B-C1B93D6DC23C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14e332e363fd2f45c64f9732791c1b4dfd40ece8","datavalue":{"value":"https://doi.org/10.1016/j.jal.2004.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2494722$7EA00F02-9715-4E21-8CE3-685F5B0C5DB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10b029a88a4d33be89d7b61edf44733dda33aa0a","datavalue":{"value":"W4212936901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494722$971922CC-C616-4D19-8A53-6E3CD78C17FA","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":"Q2494722$2AE098C9-B7BA-4A4A-B913-531691FC70F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$C0CD5285-315B-4C8C-A798-0B8F2F317C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$B604643A-ACB1-445C-9865-73CC84DD2479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46de5473f24f5d5442b7eab6c29167d52c46868","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$0888385E-A214-4056-8A3C-49C842A8C433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$0FC114C8-A95F-4553-8750-2F6C43284CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$B6F9379B-9652-4FD1-9D59-5121630DC194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$431846F2-1921-43EE-A073-D147C4921CFC","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":"Q2494722$F6FF6773-F302-4A13-92C8-FF37759CC1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$50B4A8D8-8FD2-4744-8598-1FC57D23BC27","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":"Q2494722$69974841-D591-45B9-A63E-07B18C7CEFE5","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":"Q2494722$290DED2E-A391-4D72-A47A-A44E3C20E4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$98D85185-7605-409D-B779-7A38B48B2CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22d3a1bb14bba47966248687e04ef3b2a1d543c","datavalue":{"value":{"entity-type":"item","numeric-id":4332082,"id":"Q4332082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2494722$276BE1C0-8896-483C-A10E-07BF9CE5E75C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69458f29e7859e30a86dc4f2f9df7698b76cbcbb","datavalue":{"value":"10.1016/J.JAL.2004.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2494722$00DF3EAB-65E8-4948-934D-7324AA18624B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7a85de369a018f61660f9b5d7e31a14e6ea8af","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f3e73692ad4f700dc6d6802d6524f27c8a4abf","datavalue":{"value":{"amount":"+0.80459523","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":"Q2494722$05F7A1B0-BF82-438F-9950-643A22B956AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca3461fdc3a539ccc3262d7e9116cd44283e539","datavalue":{"value":{"entity-type":"item","numeric-id":3707399,"id":"Q3707399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f3e73692ad4f700dc6d6802d6524f27c8a4abf","datavalue":{"value":{"amount":"+0.80459523","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":"Q2494722$F64BD3BC-9A25-4A8F-A62C-4D21042F441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e9141246e9874e8af5727ca5a5ac30b87e6234","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ce6ec006a575286d5c50abe872c7814dd49e4f","datavalue":{"value":{"amount":"+0.799224","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":"Q2494722$FDBB72C6-166B-4765-9341-5980949B02F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b22272a236fb8750cdffc447877fa14e32a514","datavalue":{"value":{"entity-type":"item","numeric-id":3028368,"id":"Q3028368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d49a9898bb5bb5bead68599d452ab5898c329d0","datavalue":{"value":{"amount":"+0.795905","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":"Q2494722$2EB38D8E-37B7-4124-BA19-A1E3185965E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d191968a34b1faef942b73bc6b005a3a3717a2","datavalue":{"value":{"entity-type":"item","numeric-id":2958381,"id":"Q2958381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0d41c425760e2c551b448e823606a9620f1464","datavalue":{"value":{"amount":"+0.7938541","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":"Q2494722$1EF62623-22D3-4020-A1D3-A98F04579187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"444dec335a5bab256ced0af3249a9c0c222e732b","datavalue":{"value":{"entity-type":"item","numeric-id":915420,"id":"Q915420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed4dd0c4af1d29337527e5a5f20adae4f7f72c2","datavalue":{"value":{"amount":"+0.7911846","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":"Q2494722$4DD6B2A0-CE8B-42BD-9B53-3BDC5D8D3FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272066dbb4c7a4058734c8a610c625ce7020d87c","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fe3c4007d96881f14cf73a7b6af72ba1529f38","datavalue":{"value":{"amount":"+0.7880951","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":"Q2494722$9C71AB21-5B74-42B1-80C0-3EC829628937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c46329da26eedd9a61f56824b6829971ae44cf","datavalue":{"value":{"entity-type":"item","numeric-id":1322773,"id":"Q1322773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ed74f12636c90bb63daec288d4ecc38a07c893","datavalue":{"value":{"amount":"+0.78774166","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":"Q2494722$4622AB30-8D34-4C38-B169-8AB2E3CD27D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62377eea4c7add607004408914d174f5374cf046","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc65aa68052b8e77e04f7b5149fb1f8404c4878","datavalue":{"value":{"amount":"+0.784845","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":"Q2494722$3BAD774D-4002-4314-8202-BCCE1055F894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2494722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2494722"}}}}}