{"entities":{"Q3938536":{"pageid":5968441,"ns":120,"title":"Item:Q3938536","lastrevid":55044928,"modified":"2026-02-03T03:25:45Z","type":"item","id":"Q3938536","labels":{"en":{"language":"en","value":"Complete Sets of Reductions for Some Equational Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3754083"}},"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":"Q3938536$F5FF317E-20E7-4C5A-9858-A9226D19EFB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ab72f697d5379c372eabacb47e4d94428101c0","datavalue":{"value":{"text":"Complete Sets of Reductions for Some Equational Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3938536$9780732C-38C5-455D-8C85-38A0EDFE86E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9583228949cf49f33392b88b0c573995904a0382","datavalue":{"value":"0479.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938536$1E16355B-4C80-4D86-9B89-3CFD179671E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82d8c668d512ac38f4f90db39c64c8b9694b9fc0","datavalue":{"value":"10.1145/322248.322251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938536$231F43AD-FF2A-40CC-BE36-6F3CC14AF4C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"328e72d2c847d33960a5c4c90013eca0c0cd7490","datavalue":{"value":{"entity-type":"item","numeric-id":757092,"id":"Q757092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938536$0724738B-5ABF-411B-8A57-D166C470DD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586ab04ae742da0d5be5693eb9382676e10f577c","datavalue":{"value":{"entity-type":"item","numeric-id":1101258,"id":"Q1101258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938536$F23422C1-22A7-48E3-A5D2-31533A6940BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938536$95EDC201-D4F6-4489-B0BC-F7D32B4A30C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3938536$447B332C-3F99-44A9-8953-F07D95433D0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938536$3DED251A-44D5-4762-822E-5704EA26B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71b29e038927835d80b9bb53b3e801af19bf25ea","datavalue":{"value":"08-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938536$4B58311A-BBEE-4B02-84BC-CBBC0182253C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d5ba9b69cff404dd497e0c92c4232656fe16142","datavalue":{"value":"3754083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938536$36DB7D15-C65D-448C-BE54-2CEDA97B4AF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe11a0ad0afdaa969c7d97396bbddec643b42db1","datavalue":{"value":"complete unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$424681C4-F84B-47A9-B90B-548A372F250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ff7e85afc26d09be6943084bd703c245643b477","datavalue":{"value":"unique termination property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$BEAFF8E9-89D3-402A-8FBF-F0B0B5D63316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84274f87e1c48622098a7087eb666c63132ca30c","datavalue":{"value":"finite termination property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$57BE18D2-DCF8-4706-84BF-308D9FE38A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b320d45dc99ecd610b427c553166863319a84a","datavalue":{"value":"well-founded partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$D31D8B62-BC73-48DE-8ED1-5D0E76EDE051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$26B8322A-CCF9-4037-A4DC-8FC7367BA46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240b720bc0a754e8196915c72cc85d4848e0c2a9","datavalue":{"value":"extension of the Knuth-Bendix algorithm for finding complete sets of reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$19A3DA54-D488-45B5-BAB1-C7D913ED7FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"759964634582850c41f887c74ee88fa6e6a50c98","datavalue":{"value":"theory of a finite number of associative and commutative functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$D45B4357-0895-4442-8047-F0B1BAD77360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32ff92eb3504fcc3c44a9f336a736feef0e42012","datavalue":{"value":"free commutative groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$DB8CF498-3AD6-46B1-A6BF-9C64EB5023D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5606d776172c43ba821d4da6b96f7097cfea11d9","datavalue":{"value":"commutative rings with unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$A35D0227-3037-4E19-A823-D88DD4F3409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938536$944D24B2-C59C-4283-B1E2-F0214561AC2A","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":"Q3938536$3A3433B4-F185-4D4E-A0FE-DCBD7B10FCC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2bcc7745a6e5ed0c825e2411e0efdc1c76bddd8","datavalue":{"value":"https://doi.org/10.1145/322248.322251","type":"string"},"datatype":"url"},"type":"statement","id":"Q3938536$FECDA812-B1E9-464F-92B3-056E6A5111AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b41223d67d5f6dc550c37b31e635f70ef0a158ce","datavalue":{"value":"W2056016391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938536$87E73C91-F276-4662-945B-83316AEC36FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3938536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3938536"}}}}}