{"entities":{"Q2936799":{"pageid":2947519,"ns":120,"title":"Item:Q2936799","lastrevid":52166627,"modified":"2026-01-21T02:06:09Z","type":"item","id":"Q2936799","labels":{"en":{"language":"en","value":"Safe functional reactive programming through dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383939"}},"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":"Q2936799$50AD6BB9-042D-4AFA-89FF-B3F024BE9BC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4671f69834bea77da00190c652b6d193d4d0050c","datavalue":{"value":{"text":"Safe functional reactive programming through dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936799$F7D98EDB-01B1-42C4-AA08-DC37483EFE42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"256314330287cb52210324545a0ac5b337de04a3","datavalue":{"value":"1302.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936799$AF2C5DE5-9A80-40EF-A9C6-7246196AC787","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"961efafd04cc127435cc836ecf3e38dbcb1ece2c","datavalue":{"value":"10.1145/1596550.1596558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936799$68894BB2-D94E-4728-9B73-6089287F0742","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d4e7dee45dfa7c8c56bf8bfbedd5f0803aca291","datavalue":{"value":{"entity-type":"item","numeric-id":656852,"id":"Q656852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936799$729AB8DA-90E8-4466-B4B4-2FFFCB6F2667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4cc5e16c079d886969a780597421726fa5e81b3","datavalue":{"value":{"entity-type":"item","numeric-id":526450,"id":"Q526450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936799$0790B0DC-535E-4521-8F22-990914E990BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"304e11f28f1f8f9fec1b2f20c4f059e0c713c531","datavalue":{"value":{"entity-type":"item","numeric-id":2936796,"id":"Q2936796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936799$43D46614-5FC2-4208-8080-EA20F74BB88E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936799$8D1B18FA-33B5-42A7-B3DA-8D67AEB8442B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1a48679ca37feb7c1c87eedde7ff8cd93df71c8","datavalue":{"value":"http://irep.ntu.ac.uk/id/eprint/29355/1/PS29355_Sculthorpe.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936799$B5C70F92-8362-4E6F-A866-45C40C2789FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936799$0A0DD278-D27E-4B96-A2C7-14A196241CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936799$0DCE8EF1-C1C3-4DA0-82CC-2E7E1F219884","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"724411b660faa452af8bd425238d8a82b1129e4c","datavalue":{"value":"6383939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936799$E7F029DA-B4BB-4008-934B-D416823B1C1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10685084f13d5aa79ade3a14fc892f092e6fb78b","datavalue":{"value":"DSELS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936799$B759A9BC-FEF7-4AE2-B3C1-23D76D2CAB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd6e4d3ecfbc6a028b627acd89af2be1863595b","datavalue":{"value":"FRP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936799$E660E65B-3021-4CF2-A19C-A33BE684D1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936799$5575B9D9-D016-4E34-A65A-0AED02B089D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936799$2AC3F5F2-C0FC-41B3-91A7-E54B52248709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936799$A5227F15-685D-4196-B705-A4EC77DF6AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63ab7a22eab8aed93a407a708b3197a291d2bf6","datavalue":{"value":"reactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936799$EDE6A1D5-4A41-4D6E-B4EC-635FE062213B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0267556cb932a7ce87c2fc9683ff69f29ed5ae17","datavalue":{"value":"synchronous data-flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936799$8FCA2409-7E0A-4D95-9A71-45600363909C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936799$8260F6FF-03AE-4260-A369-FACCF8E6B634","rank":"normal"},{"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":"Q2936799$6B51099E-D18D-4585-B5CB-0CF1797119A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"234c7233817dc03bae94fb1b417ef650c498d404","datavalue":{"value":{"entity-type":"item","numeric-id":25595,"id":"Q25595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936799$69FF1C5E-2562-4D37-AF8E-F5CFF7B2FB46","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":"Q2936799$96EC2946-8296-48AA-9723-997092B52C30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a96ce696f02396440c2ae6501f25c8d9b20a89f","datavalue":{"value":"W2105153579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936799$9C4B0B79-A2A6-473F-AB9D-2644BEF649C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16772858875784db480b6259c0d38ffbbd24c7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5244803,"id":"Q5244803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51838c24d14fcd382356c9234facea9d54878e07","datavalue":{"value":{"amount":"+0.7988700866699219","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":"Q2936799$8F4F1B6C-0BC4-43E4-9D7C-FF3936419B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ab279afc0b3f644777f9fcddd9de7d1674741f","datavalue":{"value":{"entity-type":"item","numeric-id":5244802,"id":"Q5244802"},"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":"Q2936799$C85073EB-13E9-4715-AE5D-664BA1869FC2","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":"8912e5174c0f30527953af2508c8baa508f00c3d","datavalue":{"value":{"amount":"+0.7777079343795776","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":"Q2936799$C02076BD-5E9E-4379-AD8B-3E1BFC3A1F7E","rank":"normal"},{"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":"a86ce03e9636d39a9d3a71e413221996acdd1762","datavalue":{"value":{"amount":"+0.7721853256225586","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":"Q2936799$50F0EBA9-D61F-4611-BA93-36A05E247260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ffc7633883166dd7e4baea77668d95f00b6d8ba","datavalue":{"value":{"entity-type":"item","numeric-id":4635639,"id":"Q4635639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bfdafe6ba3c183d76074d71a7457647017f8b2","datavalue":{"value":{"amount":"+0.7637874484062195","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":"Q2936799$7696A659-E0BF-4BFD-AB73-70F7C6FE0E86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936799"}}}}}