{"entities":{"Q1190480":{"pageid":1201229,"ns":120,"title":"Item:Q1190480","lastrevid":66517776,"modified":"2026-04-12T10:36:58Z","type":"item","id":"Q1190480","labels":{"en":{"language":"en","value":"Recursive programming with proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55538"}},"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":"Q1190480$AF6D3909-F37F-4FB3-B058-BDA20535311A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61c43695df6a19004fd199f792064eb9b7f2a469","datavalue":{"value":{"text":"Recursive programming with proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190480$71685DD6-16CB-4AE3-B40D-994B13D90F99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83eae852131b8ca0469278119506f1ad63078b86","datavalue":{"value":"0759.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190480$582B9BA2-492B-4CDC-B205-C0421D0C4173","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"527926c02427a72ca7d51300d3c9156582f8fb55","datavalue":{"value":"10.1016/0304-3975(92)90042-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190480$A7C6D55C-1D15-479C-AE2A-FC98B625ADA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb422b0a71c7373d6ef3f0283ecc33ac78f3208","datavalue":{"value":{"entity-type":"item","numeric-id":1083859,"id":"Q1083859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190480$9D850D92-CC8D-4F78-9897-A68A1BC414C8","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":"Q1190480$D4018B2F-1E19-4D05-B837-19E8D9E484EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190480$CC304EFB-C820-49AC-9BB0-D74082C997AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77aa41ff6cb869d39cf66a6b43494c01731e4a87","datavalue":{"value":"We present some methods for programming with recursive data types using a fixed-point combinator, which allows one to construct programs having their intended behaviour.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190480$738A3B68-8FA1-4A61-8CAE-2503C405FCD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190480$C2542433-00BC-4AB3-BBB1-C76BB3EE27CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190480$85E6A989-FD79-4C06-8773-635BAB354A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0ecacf99d017836e356d763f39c8b5ed53f3f6c","datavalue":{"value":"55538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190480$A28F8665-9B0F-40D4-B1AB-5AD7CC5FC28C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f4055b1c6dc5c4f2947a03fea4194c69ef6b9fc","datavalue":{"value":"recursive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190480$3D6B61A6-9583-4DFA-87CB-FCDA1CC810DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8cc72b4ee2c79695d0f24bfa899a33762792a3","datavalue":{"value":"programming with recursive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190480$A860FE9D-0C18-4B77-BB7F-0EF739175FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0f6551bcb23ed41e5369d3fd68ea904341b37d","datavalue":{"value":"fixed-point combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190480$4435BCFC-7DA1-4231-A604-ABAC2B07E45C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190480$A7D5CFCC-8A93-4E55-A7C2-D7B3F679CBC4","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":"Q1190480$A906F734-28C2-4A16-9D48-97614762E581","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190480$4626F353-E667-45EC-A3FC-7AEFD844EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b355c034a15b6951cab8a2fb9dd01fb3be3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190480$76F44758-0201-4A26-B1E9-75A742304CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190480$792A15C5-F318-4205-898D-290ACFFB4914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190480$3619027D-DC9E-46ED-AFDA-ECAC43E84AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0882b92509d86167082a58bce5848b4bbe9f50ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268477,"id":"Q4268477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190480$C255D7AE-9276-424A-B445-ACBA85044EDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive programming with proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursive_programming_with_proofs"}}}}}