{"entities":{"Q5389073":{"pageid":7418647,"ns":120,"title":"Item:Q5389073","lastrevid":51453596,"modified":"2026-01-18T07:44:41Z","type":"item","id":"Q5389073","labels":{"en":{"language":"en","value":"Anagopos: a reduction graph visualizer for term rewriting and lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027829"}},"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":"Q5389073$A1BC683D-B5DC-4A4C-82F7-2B92BF9590DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf2fcbd517d38947bbe1e2d33bb0d46714c0974a","datavalue":{"value":"1236.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389073$5827BFCB-F23F-43B9-9085-B9E0F37F9F39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"088a7465a79c040c98efdb10f821f184c9a42b86","datavalue":{"value":{"entity-type":"item","numeric-id":2938164,"id":"Q2938164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$7B974602-9F20-488F-8CBC-78ADC33C9132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d94ad8eaca8d42a872b0ff8ed0b890de4a90c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":550247,"id":"Q550247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$C1300294-E313-4A2C-99D7-BA8C60242238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4685e739c366599e24a38b204765d83cef0c1ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5389072,"id":"Q5389072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$D0F6DFA0-F367-40A6-B70C-5505CF3C0065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$D625209A-EC98-4283-A51D-608C0C08DA1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389073$C380AD32-4692-4A66-A250-460BCF355FC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc497d07aab30d510ad6f1fb6e4ea405ae0aca47","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_ddf8.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389073$110C2EF0-F8C2-47AA-80F0-46E4C7C306EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389073$6D33668C-1CB0-4C8F-BA8B-46EA45F6ED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389073$21F4A1B4-7501-4638-A80B-BC4F7EE69181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bfc0e767436bb39e1fffa95d0209e82739bbcf1","datavalue":{"value":"6027829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389073$BA516687-715C-4E75-912C-5F4CE275465B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389073$20A93417-BD41-4F44-8911-52BFEE00529A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389073$B610B86F-07F1-42FA-B98A-95629E17B019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8be5a67165b4b25a412fd5c7cbd85482310c03","datavalue":{"value":"reduction graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389073$03CB27A3-C114-47C0-964D-1F3B2265C132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf06a3bb780dfd41b625a200f022a01b57481b6","datavalue":{"value":"visualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389073$80E1183D-7A7A-4AA4-9BF8-D4C0AD988C8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7be44aca757f3adf49e3de3f5c22cd533ea232ed","datavalue":{"value":{"entity-type":"item","numeric-id":14023,"id":"Q14023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$9E8A09EC-EAB8-4A67-9BA8-F4DCB9075E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e07ab3c1f895d738c10a368a97d354a450f5fe18","datavalue":{"value":{"entity-type":"item","numeric-id":19494,"id":"Q19494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$55B66414-A5DE-411E-9BBC-ABA27CCBBD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6334b1510f87ac833cea372292f6ea170ac4d390","datavalue":{"value":{"entity-type":"item","numeric-id":29598,"id":"Q29598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$79B4B7C8-D563-4A4D-80A4-85532B34BD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77fe088316e67f659be5c6a722b5f92a38e5c37c","datavalue":{"value":{"entity-type":"item","numeric-id":29599,"id":"Q29599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389073$650D58F3-B456-4DD6-863C-07AED93D18BC","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":"Q5389073$EF0EF70F-CE6C-4699-8189-599C09B101E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19fe0e69507ae11a9948ef8cf9a2e2cb4f05dacc","datavalue":{"value":"10.4230/LIPICS.RTA.2011.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389073$7433096F-0754-4512-963A-1BB5BFF79DEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01139883031fe87bf499e2c4e740336ba881fc54","datavalue":{"value":{"entity-type":"item","numeric-id":4414741,"id":"Q4414741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed2fa6ae8e75abf5f8f05641e7df52e6f98b926","datavalue":{"value":{"amount":"+0.7441490888595581","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":"Q5389073$FB4AE11A-5B9A-484E-AB04-FC65E221D405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c50af5a20d4ff220ae196ad9d8fef2ed98e4ea","datavalue":{"value":{"entity-type":"item","numeric-id":2965883,"id":"Q2965883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8debffe708c6b0f4e20002be020f2ee0ada3148f","datavalue":{"value":{"amount":"+0.7337144613265991","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":"Q5389073$B249E17F-3AA4-4D36-A903-4B6307C3E9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d7d924fde776890ac71502db1f6424dfd0b7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1186104,"id":"Q1186104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7457ad430f48c82dbe8f15efa4797b2fb57de7e1","datavalue":{"value":{"amount":"+0.7328421473503113","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":"Q5389073$FB416F0C-F30C-4810-B977-D718E2A40586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bb15c94939ecdec7943b5e0e481b49dd97ead2","datavalue":{"value":{"entity-type":"item","numeric-id":792994,"id":"Q792994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299440cb10f65f98e7a1807bcd61f5049a588d36","datavalue":{"value":{"amount":"+0.7281039953231812","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":"Q5389073$1D5D9DC3-22A2-4709-8141-012695D557CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9667c8fe17f391f5e890b9504a3befcdc2bd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4522249,"id":"Q4522249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915bc1a0be0814db238b35c1f1fb85abe83c05d5","datavalue":{"value":{"amount":"+0.7269880771636963","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":"Q5389073$5D1F46DE-06D7-4CCC-8C7C-E71328CD2A33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389073"}}}}}