{"entities":{"Q338619":{"pageid":340386,"ns":120,"title":"Item:Q338619","lastrevid":61073130,"modified":"2026-04-10T21:00:12Z","type":"item","id":"Q338619","labels":{"en":{"language":"en","value":"Abstract categorical semantics for resourceful functional reactive programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6648212"}},"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":"Q338619$08898D69-7D46-4797-97F5-DFAD438FE079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfbce15ba8f44dc9adfdd1cbf644e3e89735800c","datavalue":{"value":{"text":"Abstract categorical semantics for resourceful functional reactive programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q338619$7F83264D-1ED2-4E57-964C-DEE9D68E9CAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbd8f6de4b8cb9ba7db8a6416cc66328f36f3be8","datavalue":{"value":"1353.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$85D83EE5-F17B-442B-A348-02D88124E88D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b89731b034e8b3a3ae574174873e56e95202442","datavalue":{"value":{"entity-type":"item","numeric-id":338618,"id":"Q338618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$CEB4943C-8156-4B85-BFBA-3641C5B4D7BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$42DAFB49-75CF-4035-85DB-723547773A7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0de08f7c166202c119e064327d0e745050bbcd53","datavalue":{"value":{"time":"+2016-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q338619$24BA33F3-7A5A-4377-A297-2D111D45D633","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$9C69D3B7-5798-488D-9A85-BF98B75E64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$E3C394B9-FD22-42EA-9092-1B839AF729D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$F1FB2DC7-A701-4755-B9AD-E5374B7CDDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$964C55C5-39C5-42F5-8023-0CA970294342","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0f803cabbe39f651d75cc802753781a46a4be32","datavalue":{"value":"6648212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$D131D95E-CBF8-4795-9B35-AE464DEFFD2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f729c7b4d6c32a59be7b197bc4567b41a91e9915","datavalue":{"value":"functional reactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q338619$E468D519-5136-4D00-9953-8B376A57B480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q338619$2A27E5FD-97BC-4423-889F-BFD8514AFC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q338619$1C0D84ED-BA67-4B9E-BE34-8FECA44EB004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q338619$3A97924C-526F-4890-86D0-3FD85F144639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q338619$F8A00A67-FF92-408E-AE20-8F33CE6D615B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82adb5dbb1a9555712e1c42eea72b6a4c4b90def","datavalue":{"value":{"entity-type":"item","numeric-id":33289,"id":"Q33289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$BAE91B55-D675-41CC-A973-99A22DA82236","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":"Q338619$34DF9C2E-B231-4F9B-B589-84CA3475A8DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a93cabd94882dda984875e522a9c494b1ceaeac","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q338619$1F88DEAB-C5F2-4B95-8AE0-E0DBE03ABDE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"945260b859d5c88dcd43ae3c7c2595e78d6cac76","datavalue":{"value":"W2460254609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$23475043-172F-4183-AE0B-F892E0D5FF7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc23e3b901610c59b53d4c7d357a311f296c04","datavalue":{"value":{"entity-type":"item","numeric-id":5284548,"id":"Q5284548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$D2908E67-BE0B-4014-B8AE-810BC980C317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$5E244CA6-D6DE-4A1D-8636-A1880836746F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f32995abc2c85fd634640bba366e05caeabe86","datavalue":{"value":{"entity-type":"item","numeric-id":5348880,"id":"Q5348880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$84819D8B-9F04-4053-A249-2CB0D6BA85C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72666d349dec07cd3b6ad3bd6910096ca351ec47","datavalue":{"value":{"entity-type":"item","numeric-id":3178285,"id":"Q3178285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$A9ECD17F-7844-43DF-B6D8-072120824A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb72cd6bda37262199f054c3e49ed1f627a6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$9F07660B-9B28-4113-96F1-95D7F5B81853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2ad650086ec286bf6bc13b3e8a0cde1d301894","datavalue":{"value":{"entity-type":"item","numeric-id":5176962,"id":"Q5176962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$A5949883-4546-431C-91CE-7FBE14B980C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a4230c1e113b1a8965564d38b5c0f44de4bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":2942856,"id":"Q2942856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$26C2BFF7-7DFA-46AD-8C51-5A49D706A09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338619$50C9BDDA-0D09-4616-A297-B2F615C8B723","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"942d71180f2bf4be0369a9492f1e7a483dd4eb6b","datavalue":{"value":"10.1016/J.JLAMP.2016.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338619$30CE9021-4402-4897-B9CC-0F7749246E3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69447ec2965fd7bfdae8503d729c9a4c33c4d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4995165,"id":"Q4995165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8184eee9de73117e1ba728c606ec5b20be6c16","datavalue":{"value":{"amount":"+0.8174374103546143","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":"Q338619$DB156839-36E3-4DBF-B0C1-FC9E2B53647F","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":"a1d74851198278ac19b37ad01f845b158988703a","datavalue":{"value":{"amount":"+0.7950471639633179","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":"Q338619$2A2BDEC1-1EC1-40E9-8EE1-5D84F7A338E1","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":"e31c56b8b423be4adc80e66a7d336d7f303e827d","datavalue":{"value":{"amount":"+0.7762043476104736","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":"Q338619$8B1305A1-FE93-4C33-A6DF-795C225EFD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf37f0b2d1c63fafe2a272c2d4777c1408fc63b","datavalue":{"value":{"entity-type":"item","numeric-id":3178285,"id":"Q3178285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f75a128ef6953cfc17c244731b58dc5ddf0628","datavalue":{"value":{"amount":"+0.7716553211212158","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":"Q338619$BD38BE43-B90B-45C2-9866-E9C3A34FBA13","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":"0f6905463c2ec15215f50ac6c4335ba6c549b61f","datavalue":{"value":{"amount":"+0.7638070583343506","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":"Q338619$F6C4801C-6AC1-4689-AEE8-3BEFDCDA9DC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract categorical semantics for resourceful functional reactive programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_categorical_semantics_for_resourceful_functional_reactive_programming"}}}}}