{"entities":{"Q1331928":{"pageid":1342678,"ns":120,"title":"Item:Q1331928","lastrevid":70733583,"modified":"2026-04-13T16:24:04Z","type":"item","id":"Q1331928","labels":{"en":{"language":"en","value":"Term graph rewriting and garbage collection using opfibrations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626280"}},"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":"Q1331928$A2742C16-4623-4865-8460-8E1547C37E01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12d65b8d159ae91257b9fe991d083d6f250169cd","datavalue":{"value":{"text":"Term graph rewriting and garbage collection using opfibrations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1331928$85AB1F75-4EDD-495D-A0B5-D7C211AF5CF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"197a1a62ba93605f3ec3259bb58273ae389a1326","datavalue":{"value":"0817.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$F8790144-9C6F-49C0-A3E5-A16284BD331E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddc4a540971eef446f14e986036cfe0902c70dce","datavalue":{"value":"10.1016/0304-3975(94)90090-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$DBEFA72F-68ED-459E-8DD9-7302A038BB18","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":"Q1331928$D74BEA29-E36B-4C13-ADE3-E94A206E371A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"296e27d463d3900033f46b0b76e9d36986969605","datavalue":{"value":{"time":"+1995-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1331928$89BBC9F2-AE62-4B15-9EE0-D38910948097","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28af02807f3eed9d0f2f48f467cc17e7a0fa8d64","datavalue":{"value":"Many constructions using pullbacks can be generalized to fibrations. This paper employs the dual process: pushouts are replaced by opfibrations. Specifically, the term graph rewriting language DACTL is modelled by an opfibration in which the rewrite rules appear as arrows of the base category, while actual rewrites appear in the fibres. The main advantages seem to be that all the rules of DACTL are modelled correctly (unlike earlier efforts) and that the semantics gives a clear account of garbage collection.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331928$AC359D4F-CC2D-4E10-A3B7-884AF01E207D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$0C7A8C51-7B21-46D0-B2AA-8C812858F338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$5A06E905-2B08-490F-B8B6-4FA8DA651269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$16030FFF-5BE2-40AE-8235-8DC3A7754534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$85705E43-E63B-4857-8918-339233CE54B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32d6efe20ef1459b9f462ca2883a6cae2bf9d97d","datavalue":{"value":"626280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$3A0AFF26-A4D2-4361-95D4-4213B22B4A1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39cc7b263a34ebcbfc3b70de9b3b0a8338f53ba","datavalue":{"value":"pushouts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331928$B1B7F28D-4B69-4B57-B809-EF9273BECAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1372673e990d85bf950da8307a773826862889d1","datavalue":{"value":"opfibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331928$A0018552-EA75-4DCC-94CF-B787B016605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73173930e9b803d40b07b0264ce98c462ef1ab0b","datavalue":{"value":"term graph rewriting language DACTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331928$41F7827B-673F-49DE-B485-0497C61605F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331928$6DF72122-9941-4C4C-A119-7C723CE80A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331928$CA66ECC8-332E-4A82-9F86-8BF4FAB4E0F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647a97c372a5d4c8dcce8ebf8c15a7dcfc380752","datavalue":{"value":{"entity-type":"item","numeric-id":470017,"id":"Q470017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$A4244751-F619-4AC6-ACA3-3BA1C0FA3702","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4d689c90f6c1b8c995f1f1bf164eddcb0b84e87","datavalue":{"value":{"entity-type":"item","numeric-id":584379,"id":"Q584379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$0FAA9A21-0DA9-46B3-8DF7-48907C00C444","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0306070baa0de02fe62952cd1baba7228e1bcc1","datavalue":{"value":{"entity-type":"item","numeric-id":15409,"id":"Q15409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$0F27AFD7-417C-4D86-9B72-5ECCAD871544","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":"Q1331928$2567C1E7-B79E-4A84-9D9F-A74C694642B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d870bb34af213897b106eea14bfb4f69adcc844","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90090-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1331928$C7B3974B-420F-447C-8E87-B09EF486CCE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f884a89ff1099a6eb9594ce6e805b8c99e5f8d5","datavalue":{"value":"W2048022954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331928$92242909-16DC-4009-82DF-3496639D24E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b6e6faa0ad1fe45ea4f887ca0f65eb0939efee","datavalue":{"value":{"entity-type":"item","numeric-id":1193592,"id":"Q1193592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$D62C9FCB-3820-4C8A-BA3D-23EFC9E7E1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c78af8d246ef1bfc930307d12dcab2f42b205eb","datavalue":{"value":{"entity-type":"item","numeric-id":2366051,"id":"Q2366051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$0D631589-15C4-43B8-84DF-29ED8E919EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5a16b889a55b8ab0bc43e030a5cca97f6aa3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1823673,"id":"Q1823673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$F31488AC-15B6-4BE9-BE68-23E9901CA33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$3D07CD6D-C700-4057-B5E8-1173F0ACCCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$01397619-4973-4514-9DD3-5F5ADB627EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce27b34c5913a9a5be3e2058b13a183be76a74e","datavalue":{"value":{"entity-type":"item","numeric-id":2736360,"id":"Q2736360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$216DB0A5-F524-45C3-BC3E-48EFB06D503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$1273B273-7BD8-4CEA-9A21-6A74A0204F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef15b3970454943801ea6f54009a29a9b0eb4583","datavalue":{"value":{"entity-type":"item","numeric-id":4194478,"id":"Q4194478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$1AE1C9A2-E6B9-4188-A19C-B853D6B31982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8978e0bffd78764b88445d11983abc2c804bb","datavalue":{"value":{"entity-type":"item","numeric-id":3785984,"id":"Q3785984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$5D8BE0E0-B48E-49B5-AA57-6093FB532C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1918f5bb53459939633cf3c465067b1eaa7154","datavalue":{"value":{"entity-type":"item","numeric-id":3210897,"id":"Q3210897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$77167C4C-C106-403F-AE0F-7F761CF925CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180ef3e6188c2327140304e3cfecd387b0746da3","datavalue":{"value":{"entity-type":"item","numeric-id":5586462,"id":"Q5586462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$62066FF0-B37A-45BA-9FE4-8D9B56772379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6e3cc4bf8da153d85970140689074f6156376a","datavalue":{"value":{"entity-type":"item","numeric-id":5637011,"id":"Q5637011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$9668B2CE-DE77-420E-BC82-A48B83AB40F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"301bc211990d85775003aa8ab88b24d7023fabbc","datavalue":{"value":{"entity-type":"item","numeric-id":3486869,"id":"Q3486869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$44C94E7E-6BE6-4E88-A7FE-A44BDB04F13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76455a2a850811610b1f370ea4e4e3939f04e100","datavalue":{"value":{"entity-type":"item","numeric-id":3490954,"id":"Q3490954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$D46D65AE-6C77-4204-89FD-CD4FF23C45DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$FD2C9AEE-2681-44AC-A1DB-D12974FFBC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a67affafa3f34e350565a1c328ca12c72e4e899b","datavalue":{"value":{"entity-type":"item","numeric-id":1098284,"id":"Q1098284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$30607861-67DB-4713-B941-D5866A61936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0502312492d47f0538ce9ddce69dec8afdb0d178","datavalue":{"value":{"entity-type":"item","numeric-id":912591,"id":"Q912591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$1AB6DF34-C74D-406E-B70C-14444AD83550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10841eca5989462fddeafdffc233c69631f3c459","datavalue":{"value":{"entity-type":"item","numeric-id":4037323,"id":"Q4037323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$ED01A783-8481-413F-B3EA-936DAA086E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47887b51bb71d03f5d015de9e3f52fc32bc9e63e","datavalue":{"value":{"entity-type":"item","numeric-id":5055744,"id":"Q5055744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$BB011292-0DF0-4B2C-94ED-0FB9CD748DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4036741779f44e2e455e7f0e46a1f3075d932eae","datavalue":{"value":{"entity-type":"item","numeric-id":4028126,"id":"Q4028126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$58B56C4E-F651-49C6-83E3-7EE4D51AF112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e999bae0a616c880e150ce22a0e3ec926e7ed4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4713399,"id":"Q4713399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$809D8F96-9B57-4AC9-B726-2557FFE8AFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a966b7dd9391e5b0404874614af99be0db5840","datavalue":{"value":{"entity-type":"item","numeric-id":3785985,"id":"Q3785985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$F90B0453-BFDB-4FCB-9806-FE29B08C9D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afca6a0bfe95374e05775132ba6a5aacdd8086f8","datavalue":{"value":{"entity-type":"item","numeric-id":800736,"id":"Q800736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$C6B962DD-674E-47FB-B8D1-1167DD5DB782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901aa73880ac9d92db68726744c0489f3c5d22cf","datavalue":{"value":{"entity-type":"item","numeric-id":1134513,"id":"Q1134513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$D1C4F3F9-66C0-4A24-AD58-5D60B3BBD3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63dfda117f8d9db17374cd8229188786824720d","datavalue":{"value":{"entity-type":"item","numeric-id":1136217,"id":"Q1136217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$23A1F21B-F065-453F-8905-5E134BFEFF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47dc26f159e332d12c946fd59950a6e5c494ec24","datavalue":{"value":{"entity-type":"item","numeric-id":1142046,"id":"Q1142046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331928$B482ACCC-163F-459F-B168-9CAEABABF091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4b99e555cc79aa627b4bceb8875641484bb607","datavalue":{"value":{"entity-type":"item","numeric-id":4222779,"id":"Q4222779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b906911ad8d09c4012d804f2881330305c8b42","datavalue":{"value":{"amount":"+0.7999382019042969","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":"Q1331928$1FA924E0-F56B-490C-9940-B61F3D93F546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9e987da0f25c856fbd45069bc8457e555d3e7b","datavalue":{"value":{"entity-type":"item","numeric-id":5432337,"id":"Q5432337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8f92259189a7b71ce632aeb3b9ffef6e339e08","datavalue":{"value":{"amount":"+0.7595340013504028","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":"Q1331928$6993D189-D738-4A77-8E16-BF2515B971C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d1bab6934178f0cd6662a8827c259ce640cf3a","datavalue":{"value":{"entity-type":"item","numeric-id":4037323,"id":"Q4037323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98e99b2fc9b18b717393442867adebf35021099","datavalue":{"value":{"amount":"+0.7467833757400513","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":"Q1331928$D1CE2DDD-55BA-4E3E-87ED-56DA06DF181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f8fc64d7db5b68c74728d3364d52a76fec7c2b","datavalue":{"value":{"entity-type":"item","numeric-id":4943554,"id":"Q4943554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc8b18f96e42fffbb1cc372c4001680da664dc9","datavalue":{"value":{"amount":"+0.7357251644134521","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":"Q1331928$1ACD1FBA-AD7D-46DC-B84C-4A19D352B681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term graph rewriting and garbage collection using opfibrations","badges":[]}}}}}