{"entities":{"Q7361247":{"pageid":31519280,"ns":120,"title":"Item:Q7361247","lastrevid":105364307,"modified":"2026-10-07T13:35:16Z","type":"item","id":"Q7361247","labels":{"en":{"language":"en","value":"Mutually Recursive Partial Functions"}},"descriptions":{"en":{"language":"en","value":"AFP entry Partial_Function_MR"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f281030a3c18fd878db038e5b1ce84d1b914b105","datavalue":{"value":"https://isa-afp.org/entries/Partial_Function_MR.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361247$A9183037-8111-4F2A-A176-312A79DE3E39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b87db4e49c7d9953673df9b99634af9e21e51ceb","datavalue":{"value":{"time":"+2014-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361247$590E3776-7DA8-4B09-A142-2F37C6448646","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361247$73760B8D-B446-4DBA-AC45-83CA9B1B2FBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"837019a1c1e4674816bb2d5f1fe2469748552f5f","datavalue":{"value":{"text":"Mutually Recursive Partial Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361247$5D7A45BD-1B16-41B3-89B3-C1D5900BBAF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7785ee3e4c18511aea78fc49ba1d7e9bf5efcb42","datavalue":{"value":"We provide a wrapper around the partial-function command that supports mutual recursion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361247$56CA5FF0-D94F-4540-A25E-A33BB5A4E314","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361247$047AFFFD-B4DD-42FF-B46E-96AD34D7ACA7","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"eff161b7dcf55a20ec4d840b7f18d4148cc115e3","datavalue":{"value":{"entity-type":"item","numeric-id":7360789,"id":"Q7360789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361247$D8DCFCE3-8B6F-4C02-BFCB-B4D7BD903EE9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361247$A3889F08-CC02-446B-9EEA-8D3F63854A8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mutually Recursive Partial Functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mutually_Recursive_Partial_Functions"}}}}}