{"entities":{"Q5244800":{"pageid":7274368,"ns":120,"title":"Item:Q5244800","lastrevid":52236098,"modified":"2026-01-21T05:34:14Z","type":"item","id":"Q5244800","labels":{"en":{"language":"en","value":"Productive coprogramming with guarded recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421039"}},"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":"Q5244800$3F80D857-35C5-4DF1-A731-99D729358C0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2323af34f7fe32fec1c1dcce563e270ab3fca79e","datavalue":{"value":{"text":"Productive coprogramming with guarded recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244800$9E81F3AE-D411-41FA-B9D7-21F13E05A528","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8ce1e59b8cd37f952a42c560542e43e9381124d","datavalue":{"value":"1323.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244800$740F2338-33E4-4B38-8B5B-361AA248968D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"684c8efaf2297532ec35d4c0871f7b094e391bd0","datavalue":{"value":"10.1145/2500365.2500597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244800$B61EFF1C-89B7-42AD-81C9-AAF2F34DAD8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244800$1319BF18-417C-4702-9572-171F074E17DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aea849f9d31d470a57d9a5c902b7b2098fef91","datavalue":{"value":{"entity-type":"item","numeric-id":2392479,"id":"Q2392479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244800$2F672B82-70FC-4D20-BCBE-58C1EA38EFFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244800$CE77F1A6-EA54-4E32-A956-4F01200E917F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244800$C08836D1-2228-49E9-A109-93A1B59FD6A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bf1d3a3bf593e5b3ebdf116e442c08a8af6deed","datavalue":{"value":"https://strathprints.strath.ac.uk/44848/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244800$8FE468C0-BA3C-41BF-9E8E-FDD28CD8DF74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244800$DEF78C56-76E5-4F31-A233-8D18AAEA4E87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34e0b9be21281ec54f19a2bdc2bccb61d0286398","datavalue":{"value":"6421039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244800$E8B895F1-7316-4CE0-984E-6E4F1F2208DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244800$2CB21C2A-0966-40A7-A7A4-7D6FACE835B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244800$E773ABE0-E098-4DBC-AC9C-F1B7B303C42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244800$7C234DEC-64CB-4BE8-BA6A-39DC6FDDB0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b32e88c574153630d3d046092221e2d1c76f937","datavalue":{"value":"total functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244800$FDDDE0A8-462B-4B47-BC05-551BB9015716","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244800$1027EEA8-1847-455E-8866-A2A42E06336F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244800$8759DB19-2172-45A8-AAD7-43BF8935C983","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":"Q5244800$BAE0584E-A91F-4228-BCC6-E5A46D6E21C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1d6d3e309be1bd738a046a88f8f8d95fa7ac312","datavalue":{"value":"W1969167499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244800$CCA47826-0110-4484-A62A-7AB440B86718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c3fd0446b514853334ac69119827a8eca4b15e","datavalue":{"value":{"entity-type":"item","numeric-id":4635656,"id":"Q4635656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06bc8f59fe615414de2f975a36a3ab88cae5728","datavalue":{"value":{"amount":"+0.7933743000030518","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":"Q5244800$BBA326F2-E63F-4B5C-93EB-008D252AB7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e691b540aff59dddc761b99e49777d978e5ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5971393,"id":"Q5971393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69290f9a286abb6319b5e6ab9a96917d6fba4af4","datavalue":{"value":{"amount":"+0.768510639667511","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":"Q5244800$DE8BF38D-2C8B-4D09-888C-E5D14914EF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3061c25d6f2c9d8be47fee4dfab609b514b4579a","datavalue":{"value":{"entity-type":"item","numeric-id":5144643,"id":"Q5144643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e5b47e5c3b5d36c0576bfbd47e447f6813d7cd","datavalue":{"value":{"amount":"+0.7675526142120361","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":"Q5244800$40567072-986F-401F-B0C0-7CBE60DCC0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892fc98bbefb0a9f2ddd559807aca5e8db6622b","datavalue":{"value":{"entity-type":"item","numeric-id":2949454,"id":"Q2949454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e55c58f210c8b26b178ffbae77a8427bf02870d","datavalue":{"value":{"amount":"+0.7662160396575928","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":"Q5244800$D425204D-669C-491A-BA46-0E1F8B8196E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6922a340f259f222c652fb9237b5b015ff20319","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfeffe79fbfda74b24b7df8248a1a06947c3f638","datavalue":{"value":{"amount":"+0.7588131427764893","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":"Q5244800$E5DD9433-C2A8-4712-854C-205388CA724B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5244800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5244800"}}}}}