{"entities":{"Q1127334":{"pageid":1138083,"ns":120,"title":"Item:Q1127334","lastrevid":46712376,"modified":"2025-12-25T11:06:27Z","type":"item","id":"Q1127334","labels":{"en":{"language":"en","value":"Higher-order rewrite systems and their confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189646"}},"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":"Q1127334$46FA8DFD-DE87-43A1-BD3B-DF6FA0967D9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5befa44958644af499a410a1c709606c8603c03","datavalue":{"value":{"text":"Higher-order rewrite systems and their confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127334$7C63ED76-9D0D-4AD7-BF17-0727160A2D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1703fe77e24398d340c3965ac9b8681734dcea4b","datavalue":{"value":"0895.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127334$729A2AB7-C895-408C-A363-9226DD20D6A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce217fd9628a82ffa3c469f28174643ee714d7ad","datavalue":{"value":"10.1016/S0304-3975(97)00143-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127334$CE4355FB-3DA9-4274-AE50-DC82F7605175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$83F4BABF-FA15-4764-8B05-28BF88A7EC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$3086DACE-D756-4831-AAF9-389C3938D5B1","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":"Q1127334$ECFC8E4E-C458-4B19-A0D7-19CB5E40BAA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127334$C4ABC9D4-90D7-4ACC-98FE-9111482E8A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127334$B93473D1-3C2F-4046-9729-F02C7ADC5026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33c2fbbdabf59840266073f22b70fefff1c4c27d","datavalue":{"value":"1189646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127334$9749864D-0D33-4C7E-8944-51BD9080F3F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cb73a196f288816b2323e6b141f990d504f58c","datavalue":{"value":"higher-order rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127334$13609B12-0FFE-4E70-8595-7E46BDF016DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$B786D4FE-A732-4EF2-ABBC-132614DA46F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$6C175846-1405-47F4-BA80-89F3F4728448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$5C3DD981-B438-475D-92F5-80C44A3FFC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$FEF560E0-068C-48DA-9B12-908765466D82","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":"Q1127334$FE27B7DE-00FE-48F9-8959-5188075D7A68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$7E15F1CA-A591-48F8-A771-83E99AAAFCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$2CBC3CBC-74F8-4F31-A793-884FDF8AE080","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":"Q1127334$3600303A-1693-43A3-843C-FFD3FE95A768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac5bf346078724a042be8b8754730cf82bf4290","datavalue":{"value":{"entity-type":"item","numeric-id":5055747,"id":"Q5055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$7FDB46A5-71CF-4E46-BD4F-77CCEF829AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$56871423-FEED-40CF-9FE4-341FD5D51E4B","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":"Q1127334$BBF5841D-C8C8-4170-8542-FEA658808906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$F4670503-5379-4030-9C19-EF985E228ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$BB773BBE-3962-4CEE-89E7-9095A5493F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$88E29B3F-445F-4773-BC51-EDBEB48E5A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$7609A5C8-5818-4B26-83FF-ACF069B6CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5464a240ea005d91846c0ed6384f1e539280600","datavalue":{"value":{"entity-type":"item","numeric-id":5055834,"id":"Q5055834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$2FE10327-52B9-4A09-B0B7-87BB15808BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a2688c4f9444f4596962720b8437ba0a3089e0","datavalue":{"value":{"entity-type":"item","numeric-id":4645807,"id":"Q4645807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$93845F14-E569-452D-A772-BD629AAAAE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$34CDC97C-30F8-48D6-A24B-AC345A1830F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$983B5713-AFB5-4A9D-863B-652C8FE1EFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$F820B1B6-9BEC-439D-A491-EF138393DAB0","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":"Q1127334$53403576-7E6E-4CFF-8307-95FCF671E6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e9db7d26f0c7b0b45d432b73750c58bf2f80eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$1173F80A-5C5C-49B9-8D21-DE32FBA158E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$539DCD90-E0EB-4F5A-B5DF-534E06A0DB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa450a5d448e189b7fde1b225d7e590c3e691b01","datavalue":{"value":{"entity-type":"item","numeric-id":1197987,"id":"Q1197987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$7092031B-3BE2-4A57-8378-5DD741244C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626360b19484c605a96c967a546d1aee007f849d","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$E06027B9-B77A-47D0-B88C-B30DEBE9D2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$429439DE-748E-4ECA-BFF7-49085358E58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a413d72385fbce7e63ede411ad18800925449","datavalue":{"value":{"entity-type":"item","numeric-id":4501166,"id":"Q4501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$8FF93860-82C5-4A12-A496-85E0BB47C994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348ed0d21d4cc0d93a24f6ef713029bdde0aabd9","datavalue":{"value":{"entity-type":"item","numeric-id":3024847,"id":"Q3024847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$B14A71A8-DA1E-4039-99D0-C1D2711B1343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$3E215E45-F53F-46D2-BB17-527B6238A287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a08da25acfeab974424d372ebc069467b68e8","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$DA5A6375-FA2B-46FD-B518-72F6D3CB75DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ff1b1b2acb9048cb1a6bab022cee0521c66786","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$458188E7-8C7C-4479-A9EE-EC8F0C21BB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf342fddd58fb44da44d430a6ce43a05ffd194d","datavalue":{"value":{"entity-type":"item","numeric-id":5055793,"id":"Q5055793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$E93BF99D-2DAA-4C02-8172-88BCF4D35FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$47B06873-B953-476A-BC35-202A699EEB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ffc2be128e31683affc5fc5c3859e56e03338f","datavalue":{"value":{"entity-type":"item","numeric-id":4281488,"id":"Q4281488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127334$4EE78EAD-69C9-480B-9C25-A391A9C86C5A","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":"Q1127334$1B493AB5-D09B-4F8D-B5E4-FEBB50B2AA9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac98df1bfe54e0bb7d681e0dfb64b6127b73d52b","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00143-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127334$E3E657B6-67E0-40F3-A767-68F691D8A5F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57c9ff140836d5eb9e1844b431c15329a34f3232","datavalue":{"value":"W1975808446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127334$BAF5A244-1664-4CC9-9607-6157BEFB83A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd9e52499b3432a3e90d58155d673c3eb24b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4524793,"id":"Q4524793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4245412ba849fbb0bd7b41f473067715df9d56fd","datavalue":{"value":{"amount":"+0.9035364389419556","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":"Q1127334$ECCB33DC-5511-406C-B405-600ADCFA3FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237588a6fe4edd6b90ac6a947a7aeb658914a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108ad805503839b4a0a6ca7da80b0ea588a28ddb","datavalue":{"value":{"amount":"+0.8893389701843262","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":"Q1127334$483ADD25-60CC-4054-AEF5-2C077EF551F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7725392132cdba5f03ccf1995b80047465cf0a","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0435d8bda86ca9c9813566faa07bfeb28c39c15","datavalue":{"value":{"amount":"+0.8512061238288879","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":"Q1127334$4DCDE732-D78F-48CC-A06A-AD87214276AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1127334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1127334"}}}}}