{"entities":{"Q582272":{"pageid":584039,"ns":120,"title":"Item:Q582272","lastrevid":62937072,"modified":"2026-04-11T09:06:00Z","type":"item","id":"Q582272","labels":{"en":{"language":"en","value":"Matching - a special case of unification?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130342"}},"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":"Q582272$FBFA6D01-F5C3-4A8A-B2D3-C66DE1FD4655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"184735d4ea1789c0a5e954b153317bab683aac4c","datavalue":{"value":{"text":"Matching - a special case of unification?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582272$6BB8B2F9-0463-466C-B77E-EF320CD44C9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a253f40c7fd9591ebe491025caf552bbfbb47bf1","datavalue":{"value":"0691.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582272$94721021-8214-422A-80C9-40B7A6E683D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f994eeb568983ad3dab25f86b76272bcc29f9936","datavalue":{"value":"10.1016/S0747-7171(89)80057-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582272$BAB44C79-CDBF-4BA5-83D2-AF9E6FF08C85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"268d8070b0eaf8ae108a0d38babbf75408334f23","datavalue":{"value":{"entity-type":"item","numeric-id":582271,"id":"Q582271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$6E29D0C0-74F4-4886-9A1D-CE87E5C4660D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$3700267C-7082-4CA0-819C-A0B23AF14CC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q582272$31C481CF-8558-430F-8FF1-9860A91FC51B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa518654a8f85014abdf2bbbdc65bc4f1f7d2e8c","datavalue":{"value":"A generalization of the notions of matching and unrestricted unification - so-called variable-restricted unification - is proposed. The author investigates relationships between matching and unification and shows that for collapse-free theories (i.e. for theories where a non-variable term is never E-equal to a variable) matching and unification have similar behavior with respect to the existence and the cardinality of minimal complete sets of solutions. Some counter-examples where matching and unification behave differently are presented. It is shown that the existence of solutions is decidable for the unification problem but is undecidable for the matching problem.    Since the matching problem may be reduced to a unification problem by introducing new free constants in signature, these counterexamples show that a decidable unification problem may become undecidable after adding free constants to a signature.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582272$BCAE3883-5A40-4930-853F-5C42BB2E8B65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582272$7BB3C64F-C741-4C4D-8A58-FA2EDDB1D33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582272$2D8FDBED-94CB-4D5B-90F8-B6BBECB88643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7356a763c61e698916f474e56463cc1bbe3fdbc","datavalue":{"value":"4130342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582272$F34306B9-409A-4614-8CBB-6B5CA4C40603","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q582272$D4ADF574-14A3-404A-B5C8-C5BB3B926B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q582272$53510780-D658-4911-918E-F1E8616DACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q582272$6569DAF9-FB27-4BD0-8988-516FD750C1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae00dfc0e0c936c46e314f9b3ab993cf121f07b","datavalue":{"value":"variable-restricted unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q582272$E03A084B-3404-402A-89CB-9FD2F9987F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e0cdca37b0bc69d8f4ea7c5b9126190aeef371b","datavalue":{"value":"collapse-free theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q582272$19E5AA3D-E569-4902-A77E-74E875D1B051","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":"Q582272$49A475C1-419D-46C6-8EE0-2F7C69316E6C","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":"Q582272$3325A806-412F-46A2-8359-F8D522A07D1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$30B53E51-3007-4F6C-9A48-331032011FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$698922AB-FE27-4F16-8C8B-6A277F0206B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee85bdd68a367fe119a9847bb3cbe37c26807fa","datavalue":{"value":{"entity-type":"item","numeric-id":3786017,"id":"Q3786017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$F05D60F7-1006-4B0C-A977-B8F989D6B430","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":"Q582272$901279A0-B55F-4C6F-9E7F-D81D485D5F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf8150531dd139e92d199e5424737b99d920576","datavalue":{"value":{"entity-type":"item","numeric-id":3785921,"id":"Q3785921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$03156880-B0BA-44FD-9291-75C1BE437C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$BA18BB13-68C5-4061-9909-127AEFEBC275","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":"Q582272$F9DCEA3C-7EA6-49C5-9EA2-89D99E9213C4","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":"Q582272$0D727E37-DF53-4B17-9F30-6CD7D3FEEA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$C5D8A899-8F1F-436B-9FA0-575212702003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c1ba27129d07dafebc0bafb7063cfc377091f1","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$4E2066E1-F765-40F5-8E20-DD3434EBBB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fcc572e381221ccebe279c8d4080f86bc13bc4","datavalue":{"value":{"entity-type":"item","numeric-id":3786015,"id":"Q3786015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$5BDC202E-208E-43B5-A048-D32EDD38EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6d2a053c064f46255a86369491e6db14ea9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$B21E253D-1A37-4CC3-BB01-E8B188A1DCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4ab424c7c716907b90b46a0a393fa512730584","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$45D8DCDF-6644-4B63-AAE1-F802D3EAC649","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":"Q582272$8018DCBF-BDEC-428F-A198-240E63DD8CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456271b1daa1011563d4ee9eaedd8c2523eab20e","datavalue":{"value":{"entity-type":"item","numeric-id":3484383,"id":"Q3484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$2C5C1C2E-12B3-4621-B18B-7331077CCA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f90c485ed1d89b3250f5647f723259f01b989","datavalue":{"value":{"entity-type":"item","numeric-id":3313256,"id":"Q3313256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$E5AEC0F1-AEC2-4F08-8877-EBBC371D4AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2267a122409f407ec5bd02689483fa4a2c8f1d05","datavalue":{"value":{"entity-type":"item","numeric-id":3030272,"id":"Q3030272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$64DC630B-8AB3-470E-A1F7-EFADA6188906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0deeb2cb06267117731d61f48ec1b47953178b6","datavalue":{"value":{"entity-type":"item","numeric-id":3716322,"id":"Q3716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582272$0166BB06-633E-4250-A9B0-A1E99DF9E05A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f76e794d783ce320bf89e3bc71502426dd594c","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(89)80057-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q582272$D50E01C6-475A-437D-99BF-1045D3CB4065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92302cf656c606e629fa80723b3bf2e0db23b9e4","datavalue":{"value":"W2083402938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582272$A161F431-5A98-40FC-A824-01AC3980BC92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79df43a114291ed4d32034a5f054ed9c9bff9b83","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1389b9660cf78ba6f89ba238f1b659f74b1a0b7e","datavalue":{"value":{"amount":"+0.8248537182807922","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":"Q582272$2F2FAD18-BF49-4DEA-97E6-EA7BA9795DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c9cefb47efbb70d91db974839f9e5b97d14f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1077931,"id":"Q1077931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b485628000d62b24f3fe26775e52b3fbac3c5b62","datavalue":{"value":{"amount":"+0.8245090246200562","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":"Q582272$AB497257-456C-4153-BC6C-D6D1DEA0BE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b9fa2f98b387062a406593a7ae6cf73ac60fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1367080,"id":"Q1367080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c27739564f921681357e0c3930340f1b54dc458","datavalue":{"value":{"amount":"+0.8218294382095337","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":"Q582272$FE62DBD6-4E72-4B37-B329-2DD423C6656B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd92749e24b7eb03c2e71a7601384a8aeb0bccfd","datavalue":{"value":{"entity-type":"item","numeric-id":1917102,"id":"Q1917102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96db4a1c8116e852b72f716d7670382cefb7ae3c","datavalue":{"value":{"amount":"+0.8177516460418701","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":"Q582272$AE4389FC-A385-440E-B5F0-AF3D57CB4605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add8fe37c18a6ca4b2da75fb310531a7bcc6dfdc","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefb8dac5de393f79343da4c79fe3f5fec58f225","datavalue":{"value":{"amount":"+0.8118148446083069","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":"Q582272$7F0EFDB4-63F5-4757-9636-E11FD6F00E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matching - a special case of unification?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matching_-_a_special_case_of_unification%3F"}}}}}