{"entities":{"Q5055772":{"pageid":7085349,"ns":120,"title":"Item:Q5055772","lastrevid":47785858,"modified":"2026-01-02T16:50:01Z","type":"item","id":"Q5055772","labels":{"en":{"language":"en","value":"Incremental techniques for efficient normalization of nonlinear rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631179"}},"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":"Q5055772$7129982E-13C6-4172-8C59-BC1701B84978","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ab1ee737a39e1d5b64590548ca9ba0db28d6f8","datavalue":{"value":{"text":"Incremental techniques for efficient normalization of nonlinear rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055772$F3B5F78D-27EE-4253-B692-4AE6AAB8B3AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a71c84d028067f72cf8594e737417e0173f807b","datavalue":{"value":"1503.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055772$F6BEC3D5-F596-4767-B2F7-1206F7D3B10E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"062b4f7e861ed9ad61bc97f0ba74aed5c107cd64","datavalue":{"value":"10.1007/3-540-53904-2_108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055772$334730BD-F8C8-49BB-B5FF-E32B8A464937","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$DD5F4D89-40EA-4139-90E6-8DE224A24306","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055772$BF05E2E8-3557-49FA-A2E8-38460592AD24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055772$2F23CC62-91ED-42C5-B9B2-DC3B2AD70D05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7f4f2382b87e496e76df4b185a89a28fad2d132","datavalue":{"value":"7631179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055772$9D82F1F3-2ED7-42AB-8C29-15CAAF909F05","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":"Q5055772$B7CC3E90-A29F-4758-BC7D-36B108951C0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fb4b6c5b3e4b53b9790abf4c72e5910f27a70c8","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_108","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055772$496411D6-1A9D-4422-BB47-9F06844806ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"892c34b604addafe54c75a7908f777804491ceea","datavalue":{"value":"W1846042928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055772$0E80864F-BBCA-42D1-A6DB-7930B6A479F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e884892508373839ae801c95d241a499a8aaf0a5","datavalue":{"value":{"entity-type":"item","numeric-id":4055184,"id":"Q4055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$76A6C11F-C6D2-4A3E-8ADB-B8CA6C233217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da27a4326fd8fa70eedf4043be0b333c57e46e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3933760,"id":"Q3933760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$7A337270-DC3A-43FC-8408-0AD88DD98A12","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":"Q5055772$0F8D45D7-DE42-4FBD-85B1-30F459D3B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$0FAD95B4-904F-4670-8252-4950BD17AEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$3E368F4E-114F-4640-8E44-73AFAF25D26C","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":"Q5055772$822EB6B9-DCC3-4580-9510-ABC3270D875D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae502ea5e9f551947c6cc6445dd3187d9f68e29","datavalue":{"value":{"entity-type":"item","numeric-id":3795241,"id":"Q3795241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$9DC875CA-A124-48B7-B0D4-DD32FAD96A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aedf0bd731edb6f5b3bc2ce4a66c3c462944cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4027620,"id":"Q4027620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$BC459FD1-81D2-4C07-B19C-2F630DA349E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$B9FDFD8C-9CC8-4E31-9539-8BAB05AA7599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253537a25f3c5bdadc682f8d4950de820eb0598a","datavalue":{"value":{"entity-type":"item","numeric-id":5055772,"id":"Q5055772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055772$20A08772-CB2C-4E7D-B50F-B1D175814536","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27778614758ad94df18488255b0f6f111a6feba","datavalue":{"value":{"entity-type":"item","numeric-id":4038705,"id":"Q4038705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6b1036cad7da2c0788ddbf06f6ae36e1f38c30","datavalue":{"value":{"amount":"+0.8154305219650269","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":"Q5055772$A0670F84-9377-4BB6-B1E8-1A1FF00C8B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c1dbe6d9ebe6c77c34ace2d6ece643d9255a53","datavalue":{"value":{"entity-type":"item","numeric-id":5055800,"id":"Q5055800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e16180d59deff1639489df152ce200d789069d6","datavalue":{"value":{"amount":"+0.7899557948112488","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":"Q5055772$8CDC3119-FAAF-4119-878D-259127E0F912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459ddb6c349fbf11778bc73dfadcfd5aad055cc1","datavalue":{"value":{"entity-type":"item","numeric-id":3795241,"id":"Q3795241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745c8ada437df94e82a80406f3d0519b2ccff5b0","datavalue":{"value":{"amount":"+0.7459961771965027","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":"Q5055772$241C9688-765F-47F6-AE31-6DF81B637D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b117f47e517a14f701137bf8c7f1ef6ec3c1ec00","datavalue":{"value":{"entity-type":"item","numeric-id":4302812,"id":"Q4302812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0559e68e4919c1a405c4768230a89dd055bcb892","datavalue":{"value":{"amount":"+0.7455443739891052","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":"Q5055772$BC74D8D8-C5AA-4804-A82F-408CA12E5113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe410e145f09f8f7827f881db95254d6355a0424","datavalue":{"value":{"entity-type":"item","numeric-id":3550843,"id":"Q3550843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfd1b02d3f3acbd20d4de6dd6c40742490f07c7","datavalue":{"value":{"amount":"+0.7439051270484924","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":"Q5055772$D69618C1-6594-4F7B-9AF0-ECB76539389D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055772"}}}}}