{"entities":{"Q672232":{"pageid":674081,"ns":120,"title":"Item:Q672232","lastrevid":63704172,"modified":"2026-04-11T14:58:26Z","type":"item","id":"Q672232","labels":{"en":{"language":"en","value":"Transformations and confluence for rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984875"}},"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":"Q672232$55753C30-A7BB-4A28-93F6-07BCE2A13B81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d50c7916230532ee66c230e96b8e36fe5d8c9d3","datavalue":{"value":{"text":"Transformations and confluence for rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672232$29467D0A-606F-495F-A2CA-8A629286100C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b93ef643e1efd12559f3e5332173cb1d43f761","datavalue":{"value":"0872.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672232$75160CBC-DCC3-4732-97D1-6E0DC43E8AFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1372d93e64828e60d2bbd9cf401a921e27f8205","datavalue":{"value":"10.1016/0304-3975(94)00255-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672232$3B643F68-8D72-4B17-B2F2-198E1B80E866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e9d6aca34018820a8270a63a5c8a8d5a7e983c","datavalue":{"value":{"entity-type":"item","numeric-id":287152,"id":"Q287152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$3A9A933A-E15F-478C-A959-9C7B05594B7C","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":"Q672232$016CBF58-720E-40EE-9BC2-8A01997070A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672232$A75E2FC0-45A5-47B9-8399-FFDE93FD7DB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672232$D1F88539-A412-44A0-8BCC-18ACDEF3FA1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d301b69593654acfa95d43e441a0003b49737926","datavalue":{"value":"984875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672232$EC08852C-5433-4DF5-87FA-B5C8BCF632EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e82718dde329bda91365d97a3c11dc14eb9276c9","datavalue":{"value":"constructor-based rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672232$8198FBC6-F2C2-48C7-A7A0-785A88A3F9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e232b1d4621dd3dabc7b9d897e727a114a97298","datavalue":{"value":"weakly persistent confluent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672232$65A66F15-AFC6-4810-A7C9-139B24AA8836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df39de3c2f742bd72b087126d78c76a4e25a97da","datavalue":{"value":"left-linear nonoverlapping systems with confluent root overlaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q672232$1821E317-7860-40BD-9505-43B22BE396A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4602736d9f82f563b8f56d8e146360dd4cdbf7e8","datavalue":{"value":"nonoverlapping noetherian systems with confluent root overlaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q672232$7CC1EFED-8755-4843-B7DA-759DB088E8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9743c5c7591b95671f06bae2311f6447fddaaf04","datavalue":{"value":"nonlinear systems with no overlaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q672232$98D2E222-C6BE-4353-917B-DDE3825A8BAD","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":"Q672232$C772097A-C8F7-4043-99F9-3664AB40B121","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ac261bd008486ec7abe3742ce237e68c337e0dd","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00255-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q672232$48DD0F20-D024-4107-8DB8-515A88DFE5EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b637d4f17fab0d35bbcf2a0474d73e779f3fe959","datavalue":{"value":"W2073349631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672232$81F2E4BE-D507-4F7B-934D-328F6E42DB17","rank":"normal"}],"P223":[{"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":"Q672232$6CB5F4BE-1620-4B19-BDD3-4F66022FEC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$A6F0F75C-A6F3-41F3-BDF2-2C1DEAD0B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$F5731CBB-DFF2-424D-9DB7-30F2175D7252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$DC47E747-6862-4F16-BB18-A18DADB26CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972bc1fa971fc360b4e9b78570fbe5c71387879c","datavalue":{"value":{"entity-type":"item","numeric-id":3939197,"id":"Q3939197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$6461E643-7B60-4A48-B6EB-83C2CDFC120E","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":"Q672232$9A3A11F6-2B84-4165-97C6-BF0A310C93CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b11400522d395eca046a008028b7c6f5d9f584","datavalue":{"value":{"entity-type":"item","numeric-id":3776597,"id":"Q3776597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$2423E59D-70A2-4ABD-86F6-C1075998BFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$563218AA-E90A-4498-A935-89C392873AD8","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":"Q672232$ED372326-E6A6-4B18-B7F2-959CF4046EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e4e42a3edfb7ef6001fb2d9dd412229b687ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5055735,"id":"Q5055735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$ACAB2549-AB4C-4B6C-9A7A-B44BD1E5B1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa703a3567d0034a8a5c9d58b556309ae4271aa","datavalue":{"value":{"entity-type":"item","numeric-id":689097,"id":"Q689097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$26776D9B-F6D7-4E88-98F7-A202F0A60486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016e8963cc34ca4f74cab0dbda793d95e86a5221","datavalue":{"value":{"entity-type":"item","numeric-id":1059392,"id":"Q1059392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$FB5569EF-195E-40C2-9B7D-3BAB516255D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4a81eda070c978bbd2c9bef29ea1181fd9aaa8","datavalue":{"value":{"entity-type":"item","numeric-id":1112601,"id":"Q1112601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$2EC7E26A-95D3-4C6F-B773-C642CFD80938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51920600db61de72e4a207f54827df6eacd4afd","datavalue":{"value":{"entity-type":"item","numeric-id":4038705,"id":"Q4038705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672232$95E07CF0-21B9-408A-ADD7-ED56C8BF3657","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2a133005182f645e20ab939d8ca4d7f80f04f6","datavalue":{"value":{"entity-type":"item","numeric-id":1763376,"id":"Q1763376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd0ad2050ca4a62711260f782aa841fb7c36cff","datavalue":{"value":{"amount":"+0.8832467794418335","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":"Q672232$EAFE4C2E-88DF-45B7-9262-9546F336A02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e48daaaea0bf594f26cb8f73f247323960dca62","datavalue":{"value":{"amount":"+0.8009224534034729","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":"Q672232$673553C9-CCF9-44BA-A8E9-D22F96FDDB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a97869af98f18763aaa8d7a88c62f50868fed","datavalue":{"value":{"entity-type":"item","numeric-id":1901710,"id":"Q1901710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e86da227746afd98f5171c1e61691a458ffe6ef","datavalue":{"value":{"amount":"+0.7980732321739197","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":"Q672232$597E3878-B558-4639-8CFF-32A034259A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739a644e41b5b65bbc27036dd91b6c83e011915d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e86da227746afd98f5171c1e61691a458ffe6ef","datavalue":{"value":{"amount":"+0.7980732321739197","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":"Q672232$8317FFF0-ED65-49B7-8BF7-60F8985B2FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97dd190fcd2611f6659572a5638cfc93eab9000","datavalue":{"value":{"amount":"+0.7922297120094299","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":"Q672232$204D1397-4F68-4F41-953E-C7C0B1D12D75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformations and confluence for rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transformations_and_confluence_for_rewrite_systems"}}}}}