{"entities":{"Q876048":{"pageid":877896,"ns":120,"title":"Item:Q876048","lastrevid":65018853,"modified":"2026-04-11T23:46:30Z","type":"item","id":"Q876048","labels":{"en":{"language":"en","value":"Permutative rewriting and unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5143641"}},"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":"Q876048$76DAB22E-0AFC-4934-9065-4CC133FB88FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa0411ea065d71eea5162ccc77bb44738556947d","datavalue":{"value":{"text":"Permutative rewriting and unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q876048$F2769484-FADE-4697-B145-DBA35DDD2C66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c38c5d10385d14850f36acb869869ccce782bb5","datavalue":{"value":"1112.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876048$EB57580A-D9F9-4E8A-832A-0AD68968714B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a7d31a5fa985909a1afa7682bc15a58433895f","datavalue":{"value":{"entity-type":"item","numeric-id":331618,"id":"Q331618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$38A40FE8-D01B-4735-BCC5-939DF82D769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$7EF88EF8-A866-4A3A-A5F8-2628EBCA1A42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$B067781D-8B0C-438B-A4C0-B9BD59316858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d952bbb2d53d4bd5a9de3b9e090440b84b7e8929","datavalue":{"value":{"time":"+2007-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q876048$BCF5733D-E25A-44E4-97FD-9E10431E8093","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876048$7DAB437F-27C9-4ECF-ADD2-7FB1B574DA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876048$15CDC6BC-EE35-478A-BE49-FE68E1B09C0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79f3a8708b53c64a3462dcfb0c09acd49d5e56d9","datavalue":{"value":"5143641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876048$E6E4DF17-DE17-4E63-8557-CD77CD6D8885","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q876048$369BB44D-0E4C-48D7-99C9-4E615E78C04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q876048$4269F0E3-6551-49BD-96AC-CA0FB30F741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd488957e6565f193db2bea6a9ea9616ae78730","datavalue":{"value":"\\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q876048$3D1CEE9F-D53E-4697-A352-439CC554AB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e3f7e0d18e9c7e5b9f5b19131aa549a1a707c3","datavalue":{"value":"permutation groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q876048$A0FA05C4-CC91-4715-9AAC-FA6AFA01C2F1","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":"Q876048$F4A206C7-72A0-4314-BD9D-15158AD31624","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4364553a056a05cf6ab5b03cb5d5548f25466eb1","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q876048$8CC8BA08-0396-49C3-95E1-817AC58EBC86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"704586a3badd039b6a61eb40a1d72e20b9731db0","datavalue":{"value":"W1967953866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876048$4F9C01E2-7906-4365-B7DC-451F1DD3081B","rank":"normal"}],"P223":[{"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":"Q876048$097AB5B0-630F-49A2-B20C-7FDA06E41E0F","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":"Q876048$2A833C4B-62E9-4621-ABFC-BE4375F8F37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fa3583dfbb4851eda22c85aac406a10864fc0c","datavalue":{"value":{"entity-type":"item","numeric-id":5307078,"id":"Q5307078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$5656D5CC-13E8-4C06-894F-A29007EAAC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515eb0b676e4d4d96f540730b5fd829f0efd7160","datavalue":{"value":{"entity-type":"item","numeric-id":5703878,"id":"Q5703878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$F1BE2BD4-44D6-4478-9F6A-42BC39F2DA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1519b5e6862874de8e92dc40fa2f5effa5340f99","datavalue":{"value":{"entity-type":"item","numeric-id":1202170,"id":"Q1202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$7E2172D5-C934-4E14-8824-12336983F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271f4a7c2003a89ce24a1f14fd1296133af596ac","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$0CE76780-164E-4FBC-936F-B9E69C3BA8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfefaf545f8420285613dd73f63e7d1e8ffb778","datavalue":{"value":{"entity-type":"item","numeric-id":1099654,"id":"Q1099654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$F610EBB7-6F50-468D-8CF3-DA7588341668","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":"Q876048$286D2F82-DE7D-4D41-B8C4-5C2D42ECC5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c435d235f5dd5d88317484b4ce4d5923395e2745","datavalue":{"value":{"entity-type":"item","numeric-id":1165581,"id":"Q1165581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$1EA85BB9-E6B2-46AE-A1EA-C6B2A75FD51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$E03B9978-A886-4676-9912-BD2E87D42AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39151ca4f018fc969e7df5f188b3da6d2cf53a44","datavalue":{"value":{"entity-type":"item","numeric-id":4809079,"id":"Q4809079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$7C48638C-C465-44EA-9023-29F115D0FAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f3ed3a545e57dba8c6e9a27c60bdc876178e69","datavalue":{"value":{"entity-type":"item","numeric-id":1367080,"id":"Q1367080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$5DBD8BC2-F410-457C-9A52-F9659DC2E49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e64e058c77c68876e6e64015cfc0c88d8aac522","datavalue":{"value":{"entity-type":"item","numeric-id":1281494,"id":"Q1281494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$F98F664E-C912-499A-8BCC-4F3390411BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00553ac092d6334e80ed96d2588d20d133dd4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876048$8E3CE93B-5591-45D6-8808-973829D7FC73","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":"Q876048$86822F3F-A41D-4674-9334-E0ACCDF0F092","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f43f9c3d5513ad74e9e5d5c518df0f9f6a013789","datavalue":{"value":"10.1016/J.IC.2006.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876048$0FAEC49D-3D9D-4FE4-AC7A-395B62EE1916","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac33aa4a8756a5d3ba6baddc6003fd470d3606c5","datavalue":{"value":{"entity-type":"item","numeric-id":5703878,"id":"Q5703878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7d2abe7a2e8d257f88ac7fdcf80e11ba75661e","datavalue":{"value":{"amount":"+0.8727039098739624","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":"Q876048$52D4A78F-4754-45DB-BCA4-803B6630385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a36fb51386e62798bc3f7843b86d7be672c0de1","datavalue":{"value":{"entity-type":"item","numeric-id":3541715,"id":"Q3541715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82b4804c1fa350e636690ab39652802d35041a7","datavalue":{"value":{"amount":"+0.8034418821334839","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":"Q876048$00FF51AE-4EDE-4E75-A8E5-B0C6FDE53126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba898bea6155fcee2418be216d03006af9eab268","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59170c46e0ffdc2ff2a5e1c153ead36f1e83528","datavalue":{"value":{"amount":"+0.7871904969215393","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":"Q876048$FCE3BAB4-871B-46CC-818B-3367CA77D83B","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":"8439a58dd0988c7a1ca82e4182c4b259eb268433","datavalue":{"value":{"amount":"+0.7852866649627686","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":"Q876048$98711A20-6A7D-4203-9616-7DB23B23E85C","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":"23185d311b57ef82149bf03618d0b9a4314725c2","datavalue":{"value":{"amount":"+0.7832096219062805","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":"Q876048$CF03A8D2-0858-4DCE-9CEA-0F6EE91C2001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Permutative rewriting and unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Permutative_rewriting_and_unification"}}}}}