{"entities":{"Q4647522":{"pageid":6677103,"ns":120,"title":"Item:Q4647522","lastrevid":97925180,"modified":"2026-06-05T15:49:20Z","type":"item","id":"Q4647522","labels":{"en":{"language":"en","value":"Unification and matching modulo nilpotence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001914"}},"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":"Q4647522$21FFD185-A2F7-4781-840F-61709894D2D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f4238c2eee177f6a4741c7e80e8625486caa752","datavalue":{"value":{"text":"Unification and matching modulo nilpotence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647522$84872314-3588-4557-A75D-D409AEB2FE87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"974f2859e8e0dedb6d673d04331461bf219c6900","datavalue":{"value":"1412.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647522$1A1060E4-D30E-436F-9F46-C5545035F587","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2d5d427cfa1e4c5e6d7b12fa83ceb8f603f5dae","datavalue":{"value":"10.1007/3-540-61511-3_90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647522$242CAE9B-DCF9-4C8C-9DEC-0E1066D0CD28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"664114a618a048378633452bdcb8062dd1c60d77","datavalue":{"value":{"entity-type":"item","numeric-id":250007,"id":"Q250007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$D95199E8-9934-4700-AA56-58EB2C055011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$D2855C58-DF88-48DC-BF8D-D206734E48A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"998d15757c31c4085737f7ae10fa09232a6e0136","datavalue":{"value":{"entity-type":"item","numeric-id":1262769,"id":"Q1262769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$9B477377-D588-4737-B9C1-D81C17F24BBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$95D56572-43CE-4F04-ADFC-C081C03004E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647522$2023659A-BCFE-4227-865B-6C634852AADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647522$DE456CF3-8D9B-4C32-AB9F-F46648CEC9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647522$3815A1F7-0B12-4EA7-9A98-F7E769B3EA71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1934ea5f26d456bd270bc7907dbd126809bda04","datavalue":{"value":"7001914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647522$8F278000-7B99-4D56-BC24-D2E05B5D55E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647522$3EF8EEA1-D5D7-42B5-99FA-9DAE3A0E5D37","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":"Q4647522$8CDE2020-8624-4DE4-B21E-0E0E60F91EB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6826fc897876a9786cd03fb808b7d27161bab078","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_90","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647522$47D8E41D-C394-4E69-BF8D-37B7024E4529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e858305a6d21744204b57e4a7ad3273396d9788","datavalue":{"value":"W1602675124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647522$D5692CAB-AF23-4B97-956C-62FB07589D08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd6e5fe7b0ce21ee3d0c33d6486157ae53e98b3","datavalue":{"value":{"entity-type":"item","numeric-id":4525271,"id":"Q4525271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$D7D60088-6664-438D-B283-E890225D7F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5350caf2a1c571bfb5eddddcbc9777cba40a148a","datavalue":{"value":{"entity-type":"item","numeric-id":3140014,"id":"Q3140014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$D7A67AED-497D-4A67-8458-D1D13E4B05B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2982208fc0f6ac8534792493830a65f91c11f47","datavalue":{"value":{"entity-type":"item","numeric-id":4264733,"id":"Q4264733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$5B17051A-60F6-458E-925E-009AC2806B43","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":"Q4647522$06C216A7-1A3D-46C0-A3D4-8226DC6437DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$4D1AFB37-93F1-42FB-AFBD-F33D7FAE227A","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":"Q4647522$3F762F30-6222-4E78-BE04-6DFF2BE19039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$5E4EAC6C-22EA-43B1-BB6F-FF462B262049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727079b56cd73b62009131634b9e239952aac993","datavalue":{"value":{"entity-type":"item","numeric-id":3802506,"id":"Q3802506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$52FFF8DE-00EC-4C64-8CDE-A0F997BDF90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c99fa0a7e611b596ab488618416f0f46dc94a1e","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$3F7BC105-04A8-4975-89B3-FD6DCDDEC67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32eeb969eda472fde77b77bf83c3f4e02690290","datavalue":{"value":{"entity-type":"item","numeric-id":3785940,"id":"Q3785940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$07877B44-73F8-4CE9-B012-36C589216FE3","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":"Q4647522$26AD5266-6F0F-465B-B348-69312A34CECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c29adcde92bedeab1ce895d4e77941c3d8e5b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4358059,"id":"Q4358059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$9BDD1EBF-1278-4A7A-BAD9-548027A5795C","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":"Q4647522$CB2195B5-6C38-4D32-9527-CC2498E57964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$02F8B1A4-A2AC-4BD9-850F-563E0C760076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36a71b29d604eef73543c48ebaf0f67c4b252d3","datavalue":{"value":{"entity-type":"item","numeric-id":1275018,"id":"Q1275018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$BCD129B5-FE9F-4C8E-8C38-7A7DB4EA2DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa0765caab346a3b62249e972a08bd2d2d383d","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$CB20B6F5-0E36-469C-A1C1-820CBA1F9D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7434998b2e70f40dde05d79beb9ec28871dffc0","datavalue":{"value":{"entity-type":"item","numeric-id":6488564,"id":"Q6488564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647522$185CD26C-F52F-402D-BDFA-14A28D1616DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d6dd9ccf31e3b013d42524deb6b7becf4d2480","datavalue":{"value":{"entity-type":"item","numeric-id":1854363,"id":"Q1854363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ed799fdb3b729f25e92260eb1f86400ef0fb35","datavalue":{"value":{"amount":"+0.9715384840965272","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":"Q4647522$A75CB42A-0632-48D5-B604-BAEA9DC91D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e9ac5a5bfb86231181d74c08ae7a77e6769fca","datavalue":{"value":{"entity-type":"item","numeric-id":4840300,"id":"Q4840300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1114254b6f37bc7928ab5f465c18c35f9f0174ec","datavalue":{"value":{"amount":"+0.7853476405143738","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":"Q4647522$F8BB3397-E829-4D9F-8577-1B99C5392D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68bd24ab10c6d29dde8da1258e35270129453d3","datavalue":{"value":{"entity-type":"item","numeric-id":4835712,"id":"Q4835712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216b24d66421107b627d1eeac7638f65044b9af6","datavalue":{"value":{"amount":"+0.7852973341941833","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":"Q4647522$60AACCF2-9A87-4EE1-8639-FA945C7034B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c122343b89aca893a9682d4aab926cc985746ce9","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03430530b5f865182c53881e0fe98130ac724b1b","datavalue":{"value":{"amount":"+0.766362190246582","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":"Q4647522$07A26BFB-A349-4CA4-8C72-19A9E23C4186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e2d62fa38030d87dcb1175c16e960a084b84a6","datavalue":{"value":{"entity-type":"item","numeric-id":3785940,"id":"Q3785940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bef3e9f09b05b7a5b706ce2ce99a9181744d395","datavalue":{"value":{"amount":"+0.7661707997322083","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":"Q4647522$58661CD3-A175-415A-9C90-3FBD3AC441CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification and matching modulo nilpotence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_and_matching_modulo_nilpotence"}}}}}