{"entities":{"Q1683707":{"pageid":1694448,"ns":120,"title":"Item:Q1683707","lastrevid":71967291,"modified":"2026-04-14T01:46:09Z","type":"item","id":"Q1683707","labels":{"en":{"language":"en","value":"Reversible computation in term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814742"}},"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":"Q1683707$8E5DB51D-0C4A-4CEB-B24D-E58F20790DE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b3ef7e4d4f6e8d2d0c566245a67294e0d862e3e","datavalue":{"value":{"text":"Reversible computation in term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683707$8A8C20B3-2859-4D99-A877-092A958A371D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22fc3657c757edbe06863ce6f025953806b5315d","datavalue":{"value":"1381.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$E009D734-ACC9-4A03-9A24-B42B89D16EF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$49C4ED4C-2A20-4371-973D-4317A503EC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9362c006e2c53bbdf0cc4a4cc91296a9ebf329","datavalue":{"value":{"entity-type":"item","numeric-id":1648892,"id":"Q1648892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$5C2B7B4D-20BA-4213-AD2C-4C9249BF9539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$542538DB-420D-42DB-AE45-73EB3DB2B88A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$FD535114-A444-495E-924D-0CF0AD447E69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0b35d2e482cf5e430246ef005011e53c42974f0","datavalue":{"value":{"time":"+2017-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1683707$23837EB1-E478-4B87-B7D7-D9F78920EADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbf85668ba25632418b497f1497944ca46483723","datavalue":{"value":"https://arxiv.org/abs/1710.02804","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683707$22546A8F-86C8-4BF0-AE89-6C61698AE730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"16a657458a2097ec65443620dcc1211f160c9393","datavalue":{"value":"http://hdl.handle.net/10251/121738","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683707$FD591F76-056D-41AB-BF6F-57EC71157EC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$1E94174E-DDE7-4080-947B-4E0D2BD8BF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$8F03FCD8-2825-458D-A32F-FA7A28DE4B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$3900E2F5-9637-4219-8EBB-8341D56B5E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59be49e783f2083c6f377a3637eb47cb4dc1601d","datavalue":{"value":"6814742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$15082D7A-B8C8-49EE-BB79-741432370761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683707$86304F66-6E8F-4C17-AE19-125CBFDADD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683707$A86BB53E-DD14-49B0-BF99-D59341F2DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683707$E618DE77-CEB0-43AD-BA86-01005000CEB4","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":"Q1683707$D3E9539B-F096-4AEE-B7D2-6F3FF94D77DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5ab1ca14ca68f52edf7e5dc565024db4ed69b4a","datavalue":{"value":"W2763395989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$8A24CE04-5952-49EA-A51B-C776894F6757","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a731e50d0d2320a0ceb7d0fe57f7150953ee3c6","datavalue":{"value":"Q57573902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$7C19615F-0178-4FBC-8A4C-4EB592CE2101","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8f1d3251dc697a715b119d84609f1fde60d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2581367,"id":"Q2581367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$AA5FAF02-7E10-43A7-A508-5B1D4E2E7E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0acf0d5c7554b116bb4c18562bb16c21520eaf45","datavalue":{"value":{"entity-type":"item","numeric-id":3612954,"id":"Q3612954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$9DDA7B16-E0F9-4599-932A-D1D523D40E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ee72dfb42e2ffc1454ffd9bb23bca2c64af87","datavalue":{"value":{"entity-type":"item","numeric-id":3917520,"id":"Q3917520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$0FF4BA8D-19D8-4521-81D1-6E01BC98DA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$F811CD82-33B5-4C49-9A1F-74BC6FD412D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$2304B41E-6307-4709-AEDE-EE5BBE1BCFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46464bfdc472d0a4a532d2594b2e6a2ae38f7771","datavalue":{"value":{"entity-type":"item","numeric-id":673645,"id":"Q673645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$2461F90E-41C0-4C79-BA67-D9FEAF1DDD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8082a0d69a71871ad1ccdc0c78230d77ca7baaa","datavalue":{"value":{"entity-type":"item","numeric-id":5482262,"id":"Q5482262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$C563C05A-490F-40C0-B60B-7A6497037D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f795822a50f8c464c3462e79742cc6ef6b14c926","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$6AA3E81B-95C6-472A-86D7-A687643E3EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0617c9c3b9c3184f6798ba1239340057ee42116","datavalue":{"value":{"entity-type":"item","numeric-id":5277878,"id":"Q5277878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$7F331E08-E9EE-423D-8832-A8212C93516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015c19b9bb9fa4278ac8c5811b300995e5621223","datavalue":{"value":{"entity-type":"item","numeric-id":2441806,"id":"Q2441806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$636B4B1A-8EC6-48F7-B814-1C9E13502E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e754d2489cd4e938ceb6ef25e32ef535b674e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$E29D439E-4275-46BA-AC85-CF5A2C7DF80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$4A6DFC60-489B-4D39-A319-409D00BC4C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d1b5dbabfa4a05e9cbd66d4a8f6f09652433d","datavalue":{"value":{"entity-type":"item","numeric-id":5168924,"id":"Q5168924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$EE5687EE-BBCD-401E-AC39-18E7E9901538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$DAACDC6B-8E12-4CBC-A40A-19DC78A95902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a69a922f16d6b8c008dd120bc13fdfb3932a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":672388,"id":"Q672388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$8C8B5766-B3C7-4F7F-8555-DEC97DD53D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399d8656712797d2050a934e4b8a6c1866829f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2869782,"id":"Q2869782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$1AB51910-D487-4517-93B0-D7EABBF1B604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868c7510c9b056b25295e0eeecc1ca21781617ed","datavalue":{"value":{"entity-type":"item","numeric-id":5313091,"id":"Q5313091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$FBD9E632-BDCD-47BA-A4A5-73CB58E92293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c445290460d2abb21d142cb7393ff99b258bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1929232,"id":"Q1929232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$152274A7-CFE8-4FE5-A6F5-58C0D89DAA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dab39ef10951cbb1dcd869d43e48310b0bde6b93","datavalue":{"value":{"entity-type":"item","numeric-id":5369493,"id":"Q5369493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$2C30820C-6C22-414E-818D-FEA7CE2B1B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d7ea5ccd099e8647306ecad8d347ba71cbb0d4","datavalue":{"value":{"entity-type":"item","numeric-id":2904621,"id":"Q2904621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$5900724F-2F73-4797-9C3D-1C7F9DC4686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24149b905b46045e1dfc14b807b4a2f6e4b5b190","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$383504CA-2BB5-40F0-AFA2-10555EE6613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e2838844dc6cecc98c3019c0d683edb12f77c5","datavalue":{"value":{"entity-type":"item","numeric-id":2822496,"id":"Q2822496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$61C07BAA-BFD6-4AF6-B9AE-869D99B065F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$8C599586-B1A6-4BEA-99B0-B5C1BC7871C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be98c9771b642e657b2f29f2ed44379d0d37d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1241491,"id":"Q1241491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$5151FB4B-7B4B-49C5-B354-42F9BFE980CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4d87691b92efedd3c932a9e0f82d8b33f1bb76","datavalue":{"value":{"entity-type":"item","numeric-id":896906,"id":"Q896906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$AAB57466-372E-40A0-A7B9-1229F16C2792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97acd7dad682c3c767826ba4f87a0ec4ad0386ac","datavalue":{"value":{"entity-type":"item","numeric-id":3519506,"id":"Q3519506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683707$F827C1F2-139D-46D9-AC2D-FED9086D1EA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ab4ab17e7356e3a093d81ec40bb3a2c78aae903","datavalue":{"value":"10.1016/J.JLAMP.2017.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683707$58161E07-F99C-498E-9B30-E91B74690B4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778526c9fc53d106f89068a2c1be78f1d15f0ee7","datavalue":{"value":{"entity-type":"item","numeric-id":5369493,"id":"Q5369493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de46f28755233efc195f225bb409ac47db12c6c","datavalue":{"value":{"amount":"+0.979365050792694","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":"Q1683707$37DDB1B0-4A2B-454A-9D03-7DC15C4EC859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7647a12420b7a552fe1c8753f10b9a6203dc1628","datavalue":{"value":{"entity-type":"item","numeric-id":2409740,"id":"Q2409740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b16ab940d1ccecfbe995512d6457a13145a2a9d","datavalue":{"value":{"amount":"+0.7742601633071899","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":"Q1683707$3868CA8C-30B0-4EF2-9B67-8EA4CB1F3EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96871784cb9bf7f2cdb214e3100d7c0c0edaf55f","datavalue":{"value":{"entity-type":"item","numeric-id":2667186,"id":"Q2667186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472482f9b1f3e0b262ef96b0be915fbfdda8db69","datavalue":{"value":{"amount":"+0.7641043663024902","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":"Q1683707$AC67F820-B208-4372-9323-B20B361B3EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4696c928670db092c4a144afd3386b4229d3952","datavalue":{"value":{"entity-type":"item","numeric-id":1785852,"id":"Q1785852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42137fc42d6179f797a07af7e0acd502638fbe74","datavalue":{"value":{"amount":"+0.7569801211357117","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":"Q1683707$9880B897-273F-4C3A-99AD-CA27ADF42E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e8799463768b21d95350349f61898a7e5486d8","datavalue":{"value":{"entity-type":"item","numeric-id":6485502,"id":"Q6485502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a6e0076e833173afe0b8740ce8c6a35ff6a8bb","datavalue":{"value":{"amount":"+0.7561709880828857","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":"Q1683707$5E25DE5A-E443-4C03-BFD6-CB8032FD4F56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reversible computation in term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reversible_computation_in_term_rewriting"}}}}}