{"entities":{"Q5244802":{"pageid":7274370,"ns":120,"title":"Item:Q5244802","lastrevid":91950107,"modified":"2026-06-05T00:29:09Z","type":"item","id":"Q5244802","labels":{"en":{"language":"en","value":"Higher-order functional reactive programming without spacetime leaks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421041"}},"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":"Q5244802$F91636DC-7AD7-4E32-9E36-8B904F6AD74C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd233097868b90352ef0ee60090fa3fd75aa96ed","datavalue":{"value":{"text":"Higher-order functional reactive programming without spacetime leaks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244802$4C754033-1BB7-4F6A-88AC-9E58EDF73BE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70937602c9dc5f4419e40951cd23d375e18eb22c","datavalue":{"value":"1323.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$7FF2ADF9-5CFD-4E42-ADB2-C185509EC5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"284e055d11be6754b8403c21eaa7f126e85318b5","datavalue":{"value":"10.1145/2500365.2500588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$6E7B305A-EA7C-4085-A8DC-4E489943CCC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244802$4210317B-A4D1-4762-B4EB-AC46ABEE5591","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":"Q5244802$B3912BFE-06CB-47A5-9082-84D314F841EC","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":"Q5244802$4A9FA10B-0A9C-4CFD-81C7-5C1EEC852887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$3947B38E-611D-4B48-9052-79FC5FD495B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$54B924AA-4210-4D2C-A15A-0E0BBE9EF317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$B4941CFB-26DD-41D6-A8DC-4AC32B61C1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$A1EBC514-3386-4290-9D9F-3AE577D87BDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6646ddb0ecce2baf82d6a44c6a0c328e2cfee51b","datavalue":{"value":"6421041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$31F756B8-A9BA-41B1-A4CF-719160353457","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967bc120c96b897d4c18218c9b1462d371d77694","datavalue":{"value":"capabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244802$DA00C38F-178C-4521-B838-E793A7B45FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244802$F692C28E-2219-4222-AC00-2B2CDC877C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44cefbf89f5a04149ccb87b348bb122b2cfc3b4b","datavalue":{"value":"dataflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244802$8D0B0461-1393-43B7-8C1A-23AD88A0ED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f729c7b4d6c32a59be7b197bc4567b41a91e9915","datavalue":{"value":"functional reactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244802$7C175392-6414-4D51-8EEF-AA430B313B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244802$B7CE04B3-41A3-4CBD-9664-D4CA16384E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb8bb414005f2b26adc63ec7daa96119fe3754d","datavalue":{"value":"Kripke logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244802$96FA4D19-CBCB-450C-BC1F-BAEEED5A8E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244802$6712A731-7003-4E1B-9DC1-D29F8824B4D4","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":"Q5244802$F5F2F1C2-FB59-45A5-82D2-05E608F965EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2551d5079976a8683f6b450b3814c3941c5431ae","datavalue":{"value":"https://doi.org/10.1145/2500365.2500588","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244802$03C4C9FB-ED0F-4F29-A8AD-CFCDC71D472E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a63568906f0afd84eb64c080ebb64e9b9a3f0be","datavalue":{"value":"W2139695229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244802$B73AB07A-BB4B-446F-B0C6-1F2DA41C970F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f5fe67bcd503573fb74f4e202348fe098af0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2942856,"id":"Q2942856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f2300bb80643b23095905f93955e6db50b6d2f","datavalue":{"value":{"amount":"+0.9112587571144104","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":"Q5244802$3F988327-7313-4217-87A2-F0EB34A9116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5e3ad7c9462a8ebadd294155660de313a39e24","datavalue":{"value":{"entity-type":"item","numeric-id":5178005,"id":"Q5178005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca607b7dc8e7784c4fb6de8e8cda81dc67dcf44a","datavalue":{"value":{"amount":"+0.7961425185203552","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":"Q5244802$C9384130-0BB1-43B9-8EE0-4FC3335429E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcca65723cb6ca9275bf191192c330eb1ba67656","datavalue":{"value":{"entity-type":"item","numeric-id":2981974,"id":"Q2981974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491cb32283bcc720ff8cfc803fb89cfb2b6560ac","datavalue":{"value":{"amount":"+0.7883944511413574","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":"Q5244802$93AD9A33-6C42-4AF9-9F17-056ED981B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe07d21a190611b51a8d9d9d502cf8ed5687304","datavalue":{"value":{"entity-type":"item","numeric-id":2936799,"id":"Q2936799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6e34a7c285adcc3e326ac6c7849ea6b8e3419f","datavalue":{"value":{"amount":"+0.787675678730011","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":"Q5244802$39F9D0CE-D548-480A-A272-76F991854B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3db692c18e568f02ab724bc05d5146b2a5784c","datavalue":{"value":{"entity-type":"item","numeric-id":5408431,"id":"Q5408431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70890369f5138ab2471bc6ecb7a70eed81fe97a3","datavalue":{"value":{"amount":"+0.7810867428779602","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":"Q5244802$FF6AE644-00D6-426C-A573-5E0313BF5838","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order functional reactive programming without spacetime leaks","badges":[]}}}}}