{"entities":{"Q5402519":{"pageid":7432093,"ns":120,"title":"Item:Q5402519","lastrevid":74421459,"modified":"2026-04-14T22:12:25Z","type":"item","id":"Q5402519","labels":{"en":{"language":"en","value":"Formalization of properties of recursively defined functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6270073"}},"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":"Q5402519$BF6752F3-19FB-414C-9D40-B51146B210A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6cdbdb63f8608db5eb85c603cd8414e6f23df97","datavalue":{"value":{"text":"Formalization of properties of recursively defined functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5402519$E307C3D1-95D9-4B4F-A50C-89E895A59F8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b2a5b85b5adb7b7902250b4d275128f4630320e","datavalue":{"value":"1283.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402519$E568443D-7214-49DD-85B3-7ECBF9A055A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85c8b2467bfdf7308852a1c70375d1c4e0882b75","datavalue":{"value":"10.1145/800169.805434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402519$4D665A24-0715-4C9E-9466-E22623ABCD46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402519$AA159EB4-9246-4D99-A47A-A068A699716F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402519$17F95D43-ECB8-4F77-ABD9-10C28B88ADF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea15c5f7efcabdf1e2be0c80ad61739f649622cb","datavalue":{"value":{"entity-type":"item","numeric-id":5402497,"id":"Q5402497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5402519$CDCEBFFD-5317-4293-8E19-D81EB7A9562C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b43a2c2b6eb630f564616ba070a6751b081d8977","datavalue":{"value":{"time":"+2014-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5402519$DA0AB56D-4BD6-4F79-B2E1-ABBBC6335D15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402519$16031F9A-A0E9-4B99-9A5C-FD1D2AE327FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402519$DFFC3E87-7DCB-4D83-839D-E4CBCF099D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f0c903f73d500255eb4365600e3dd224462e0f1","datavalue":{"value":"6270073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402519$18924CB8-3436-4E8B-80FC-27D9420AAA16","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":"Q5402519$D32FC939-F567-476A-98FC-320446478ECE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95e14e0812e0f948e527fe037d67e930859c2f6e","datavalue":{"value":"https://doi.org/10.1145/800169.805434","type":"string"},"datatype":"url"},"type":"statement","id":"Q5402519$8BB56C10-8247-4973-B73E-9AE2F2FC168F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a50a5db8fc5e40b52c5c32b076880c1295ec401f","datavalue":{"value":"W2071011601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5402519$5233A2D2-A770-4955-B566-03E8FEEA0853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of properties of recursively defined functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_properties_of_recursively_defined_functions"}}}}}