{"entities":{"Q6250985":{"pageid":13387764,"ns":120,"title":"Item:Q6250985","lastrevid":58860093,"modified":"2026-04-06T21:47:10Z","type":"item","id":"Q6250985","labels":{"en":{"language":"en","value":"Proving Termination of Unfolding Graph Rewriting for General Safe Recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900180698"}},"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":"Q6250985$41FEBC30-F76E-4621-A958-FE15E6326F50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f948fd99d5076165c83d676414494f03dfc11c9d","datavalue":{"value":{"time":"+2014-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":"Q6250985$8D119A65-273D-4FC5-8614-F76A4489A68A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"958b4e369eedfea95d82c99b3e4f883b2e4dfc91","datavalue":{"value":{"entity-type":"item","numeric-id":2346987,"id":"Q2346987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6250985$2315A979-4F55-4464-AD16-6012A8CBD655","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d51158db73d4c0ec6e9c631548e0df6ef8d15e40","datavalue":{"value":"900180698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6250985$76D91B51-5405-41E0-8053-AEC95D08BCE9","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":"Q6250985$BF369D63-531B-484E-800D-401530799194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6250985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6250985"}}}}}