{"entities":{"Q1820760":{"pageid":1831502,"ns":120,"title":"Item:Q1820760","lastrevid":70908957,"modified":"2026-04-13T18:10:41Z","type":"item","id":"Q1820760","labels":{"en":{"language":"en","value":"Complete sets of unifiers and matchers in equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995626"}},"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":"Q1820760$6EFC6B5F-03FA-404C-9C15-D003B590025E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89b76e6ee2e6d4473e713cbc8143d9d4d722946d","datavalue":{"value":{"text":"Complete sets of unifiers and matchers in equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820760$E03DE49F-DDEE-4C89-8980-AA62A10A43DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"756e37ce5a9c122ed2b06f10ba5523b70bf1d5b8","datavalue":{"value":"0615.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$7DCBFA0D-A5CA-44D8-BF7B-66E65E5744BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8178874f2fc6988fa5b273a815225fc67ae7120d","datavalue":{"value":"10.1016/0304-3975(86)90175-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$B6C7A3EF-6397-446B-A688-C0E2189BD5CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5bd70bdf1aab77620ece66f5e40dd3ce66d83","datavalue":{"value":{"entity-type":"item","numeric-id":272012,"id":"Q272012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$BB922057-542A-4C89-9467-0116B61C1D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$F3307E0F-7C56-4B14-AEA7-0E9C3CE7E4F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$378ECFE5-E846-411A-86CD-39CA94297BF1","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":"Q1820760$6EEAA179-11BC-46F2-AD0A-8709006443D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e80978d3ea863603b6941eec243ddc7e19b2ea24","datavalue":{"value":"An abstract framework to present unification and matching problems is proposed. The nonexistence of complete sets of minimal unifiers (and matchers) in some equational theories, even regular, is proved. The paper (a preliminary version was presented at CAAP '83 [Lect. Notes Comput. Sci. 159, 205-220 (1983; Zbl 0545.03003)]) is also a good review of previous work related to the afore-mentioned problems and contains an excellent list of references.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820760$36EC2B3B-5131-4A51-9D70-4CA2C22AAF3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$B97D8EE5-820B-4E69-918E-E60A7FB89052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$6E153F79-C21B-474C-8F6E-1CFAF116EA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$E5C359EF-C47B-4DE8-8396-770AEDEF8FAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b886b175cce193d2418d85d6be88fc66d397d6c","datavalue":{"value":"3995626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$6DBDFB98-7F0F-4E44-8223-B2CE147BD5B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820760$6EE9E44C-26AA-4A1E-A217-BAFA1EE1FCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820760$4EE65683-A0AD-4367-A4C0-3F2F18188288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820760$9CDB4FBF-1B0B-4D05-B400-E49F30AF459B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d96eced49ac036af5c6631ee0311856e078c1c9","datavalue":{"value":"Q56092426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$6017D0BD-3C36-410F-A0A6-17DA2A720828","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":"Q1820760$EA576C76-68EE-4CB0-AC85-709C396B0927","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86db46ba8b70d4adc2f29736372ddc74b02bc05e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90175-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820760$44777D65-ACC7-4ABB-AC49-AEBDA4A7B8C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b8526c0716fa8bcd80bc5b08a72565a8b5a18b4","datavalue":{"value":"W2148193906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$61B96D82-3A5C-4DC2-954A-C02BC4FAE573","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7e2ef78f083d02279af924a8e9bf4fda73dd36","datavalue":{"value":{"entity-type":"item","numeric-id":4168907,"id":"Q4168907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$C4CCFD34-DC5F-4D9B-94A5-7985353BC173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e99bb2bc2e56d3cd49f80112c4e1a9a97625032","datavalue":{"value":{"entity-type":"item","numeric-id":5620341,"id":"Q5620341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$57722517-2C99-41B5-9069-9B1B11083293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$C36576A9-FDA9-45E5-A8AD-027D97EA1128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052186b747d379b95536dd183092a6d28a9a4c59","datavalue":{"value":{"entity-type":"item","numeric-id":3338216,"id":"Q3338216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$5D1759B3-475B-467C-9326-763D083EB509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$ED187E12-7347-4C6C-9A3D-C544DDE68EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855e761ede5bc65d1d5bf438ef81aa507f97446e","datavalue":{"value":{"entity-type":"item","numeric-id":5590039,"id":"Q5590039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$0863E893-1E4A-4689-A34F-05D542C5D6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$69D45A4D-F68F-49BF-8274-3DACA9213ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$198953FB-0A05-4DA6-84FB-C10D622E1861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03955cd9d1b12f908e9f0d19d305e55a944b1","datavalue":{"value":{"entity-type":"item","numeric-id":1246557,"id":"Q1246557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$82B5F8A6-7BE2-4301-85CE-2D8124E3AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ce06304bf3709cc235c3276b4f500aec1ac468","datavalue":{"value":{"entity-type":"item","numeric-id":1239309,"id":"Q1239309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$58B24136-9278-4A49-87AC-4D089B497EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$7E922F60-0582-4D37-9FAF-CA2A07A216EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ea43f4539b07f56dc7ca504e383937ea706cf","datavalue":{"value":{"entity-type":"item","numeric-id":3696522,"id":"Q3696522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$F105376B-4799-4AAD-A8F2-0868084D8238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$58FB94D8-B77A-48EF-9084-338BBDB75185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$2D4B994E-27E8-47A8-9D79-B607EC73E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abc42fc8ffc23569c13bf6c75648de9ca35ca32","datavalue":{"value":{"entity-type":"item","numeric-id":3219154,"id":"Q3219154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$BB124424-BF32-4593-9FFB-4093B8AA02FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092348088466a9288a4b352c8d624aae9ff71ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4159542,"id":"Q4159542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$6D0229E8-8C40-4B08-BF40-F5C3538669EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$CCD2E919-E0FB-44AD-8C0A-A4F6CD83FA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb13fd7a879cf924e93ab955eaa04a5e9c8430c","datavalue":{"value":{"entity-type":"item","numeric-id":5643974,"id":"Q5643974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$19091CB7-995D-4C42-95C3-5DD8EEFD60B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$E28DB48F-45C3-4478-ABE0-E31443DA6037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$2222B7D6-6319-42DF-8533-565E9205358B","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":"Q1820760$B2C3CD35-B5E7-4371-B303-9F12362BCAD5","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":"Q1820760$6CA9CE2C-DAE4-4B6C-84B7-655790ACB5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$D97BA424-4474-477D-BA79-83FAB67F1520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a7d163034968b8b573af486389b73d9c031e2e","datavalue":{"value":{"entity-type":"item","numeric-id":3707399,"id":"Q3707399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$159B0065-BD37-4DEF-82E3-39BBB259577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$CABDFFAC-C4F1-4447-A35C-B4857537EFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$CD6F0544-DF8B-447F-AA67-653350AB0E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a90dae25edd229a29235c4fe09574da60203068","datavalue":{"value":{"entity-type":"item","numeric-id":1228213,"id":"Q1228213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820760$67BBCA32-7386-4A36-AE23-FA2AF493D18D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"de518825fb73f3470e377e3ab0eb6fd080d77160","datavalue":{"value":"journals/tcs/FagesH86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820760$A17A928F-E62C-4674-BB48-7131F6766770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cefff5977717e3a72fba0ceb63884f6643e966","datavalue":{"value":{"entity-type":"item","numeric-id":3335752,"id":"Q3335752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4e6e5193ad54923b5f72e988627aa284b1116d","datavalue":{"value":{"amount":"+0.8978471159934998","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":"Q1820760$D85EAD8E-BDA7-4850-B342-7BCA1C7B122D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9414aa13640558dd6ab269b18c16fa6d6a3b9c","datavalue":{"value":{"entity-type":"item","numeric-id":582272,"id":"Q582272"},"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":"Q1820760$FD103F8A-AB24-426E-9626-0608045D3BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b636f4e8f1fa0aee790a7d6b8190c5680ec0a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11dcef2d79ae3ea72daa4a523538faf682f0b8a","datavalue":{"value":{"amount":"+0.8103647828102112","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":"Q1820760$10B2B0E8-2AB3-4FF0-9EA9-528496B2C244","rank":"normal"},{"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":"a9a0dba8c7a4e3dabf0dbf2f5a6085f54da512b3","datavalue":{"value":{"amount":"+0.8048630952835083","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":"Q1820760$2AB78710-9FA2-4210-8705-95266F0C10BD","rank":"normal"},{"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":"f1d9132797c0d2ea10dffd3b4983ba6a6a31545b","datavalue":{"value":{"amount":"+0.8033507466316223","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":"Q1820760$1CB89CCD-BBC5-470B-9CC0-3E111BA95833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete sets of unifiers and matchers in equational theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_sets_of_unifiers_and_matchers_in_equational_theories"}}}}}