{"entities":{"Q2819680":{"pageid":2830418,"ns":120,"title":"Item:Q2819680","lastrevid":83361341,"modified":"2026-05-07T07:22:17Z","type":"item","id":"Q2819680","labels":{"en":{"language":"en","value":"Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631193"}},"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":"Q2819680$6126FA74-B5B3-4592-83D9-CEB0692914F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13bd23777ea268be8f9c1f0845cb76cf14774358","datavalue":{"value":"1345.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819680$AA735F8B-ECB7-4644-BE8C-4D9DA04A29B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afaea27527170b2c0e8094be575120f4aa0ac6bf","datavalue":{"value":"10.1145/2628136.2628140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819680$90859FB2-E765-4BB4-BC12-46BD5BE6FACC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e63307f6f70c8e7ec856b37f05e8630cda02c05","datavalue":{"value":{"entity-type":"item","numeric-id":2819679,"id":"Q2819679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819680$456518BA-60E0-4A07-B036-3A34CE66F37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f286a3d179eabf5034208977d5ba450ad0931f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1085594,"id":"Q1085594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819680$EBA98E03-BA50-478D-9E00-193A581EC8FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819680$9181B6FC-5414-4051-8D8B-9E5E79FA164D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819680$CAA3AB37-6751-4939-80EC-ABE7D3EA7AFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819680$7FA167C2-5D7E-4435-8E41-A23B7807FDC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ca0604a38776edf0602edec1525d1fb8af4632","datavalue":{"value":"6631193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819680$9AAB2804-10A2-49A7-BA13-18621BE81295","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07a0aa66b3f585f82428643a3bce82292c505340","datavalue":{"value":"arrowchoice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819680$9DC88B44-3423-4500-9A49-944F4C6BBDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8742c738db45d5f18cc94f8b2e4802992bbfa780","datavalue":{"value":"arrows","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819680$F683DF58-011B-4A12-BC9E-BA3D5F7EC4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f729c7b4d6c32a59be7b197bc4567b41a91e9915","datavalue":{"value":"functional reactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819680$C72B0212-77E3-472C-A79F-9281A7E22F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9853bfbafcce8835b3c48c27918c23003cd23a6","datavalue":{"value":"switch","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819680$83D9793E-36C7-4FC2-8568-9F85B5B9317F","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":"Q2819680$1C22F9C9-3F19-4D10-A1D3-4B96C689319E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63ce044d08163c6cab5d8c9dfd938db08d8fa519","datavalue":{"value":"https://doi.org/10.1145/2628136.2628140","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819680$B61BA601-1A01-44A6-97A4-9FC5787E728A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8305e5e452af2a46f68fd93fc00863edaeb9ea2e","datavalue":{"value":"W2003774770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819680$BDCD9EFC-051A-40FB-AB4E-CFD3F2509FBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2c899d388e6ba1e3a924e6a747d786da02d81fb","datavalue":{"value":{"text":"Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819680$6A09D982-B13E-4AED-9C3E-1EC08AC587EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012531cc268ca83a41317ff012bb636389cf045f","datavalue":{"value":{"entity-type":"item","numeric-id":656853,"id":"Q656853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d7de4d902e470b213df61e69dd832e050eebcd","datavalue":{"value":{"amount":"+0.7785407900810242","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":"Q2819680$C80B402A-1BA8-40E8-B9DC-F112ACE3EB85","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":"c65eb91f160dc7c776caa4c7ed925d1d51f3eb68","datavalue":{"value":{"amount":"+0.7563627362251282","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":"Q2819680$45FCFF3B-0C9B-4ECB-9157-15E4531A89D3","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":"37cea9bf9470124b6f914a9926b470ecf4164e4e","datavalue":{"value":{"amount":"+0.734157919883728","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":"Q2819680$69F35CF4-148D-47C4-8704-2798B180C10B","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":"caecf6711cdcb67d6f9128e7a7bd8131da755176","datavalue":{"value":{"amount":"+0.7250610589981079","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":"Q2819680$643AC985-D0EE-41EF-B4FA-BD098F966633","rank":"normal"},{"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":"6fa43a62fe0d3cd964c658fdcb2f2d0ec7a1eb78","datavalue":{"value":{"amount":"+0.7243850827217102","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":"Q2819680$8DD14B86-EC4C-4701-AA1F-E5ECF6733A00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Settable_and_non-interfering_signal_functions_for_FRP:_how_a_first-order_switch_is_more_than_enough"}}}}}