{"entities":{"Q2936790":{"pageid":2947510,"ns":120,"title":"Item:Q2936790","lastrevid":52166615,"modified":"2026-01-21T02:06:08Z","type":"item","id":"Q2936790","labels":{"en":{"language":"en","value":"A language-based approach to functionally correct imperative programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383932"}},"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":"Q2936790$BFC36616-D620-4DB7-84DF-D51D975F482C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e83b9462d94bce831f6d8ef136dec648ce1d56e","datavalue":{"value":{"text":"A language-based approach to functionally correct imperative programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936790$2D0317F5-0633-40A5-BDBE-513B66EEA4A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b1eec4406f82f4cfe3e1c585b79f8d9f57fed7b","datavalue":{"value":"1302.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936790$20EEB480-7F44-4482-90E0-F704A581DA49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f75a2c621b557693f8e968dba0f9d7cdb1ca101f","datavalue":{"value":"10.1145/1086365.1086400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936790$55A7821A-519A-4A58-A435-2E5F99317C40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b79c75e09fcebf6ce6803839c94737315e0df117","datavalue":{"value":{"entity-type":"item","numeric-id":2936789,"id":"Q2936789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936790$8DB6CD8D-36A6-41DA-9241-1559A374AD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936790$7F79149F-5161-42E1-8CCF-6FC4FBA77B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee1a73de8c9a8ae78945e6dd4e1521fdcc8b81ad","datavalue":{"value":{"entity-type":"item","numeric-id":549678,"id":"Q549678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936790$6C18792A-96E4-41E0-BC78-C706AC869834","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"009f14fcff92f2b9864a3e960eefae33e15fd175","datavalue":{"value":{"entity-type":"item","numeric-id":2936758,"id":"Q2936758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936790$FCBCA039-ED32-48B1-8FDC-7E15391CABFD","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":"Q2936790$20EC47EA-9C6E-482B-8A6B-D348390128B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"658a449e88e702f6f4b4dcb230f33c9aff485d96","datavalue":{"value":"https://openscholarship.wustl.edu/cse_research/951","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936790$624F4598-01B4-4C15-AD9C-1F07CDE8E20B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936790$F33919F6-1B73-4778-996D-9DA197E081AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1c4b0f37c5e81990d97396e6801811d700be772","datavalue":{"value":"6383932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936790$FE6EB26D-2DF5-43EC-A82F-8618133D6F01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d066c2be8a29d8d65221f45c710e021bba1b1d","datavalue":{"value":"RSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936790$DAD8E920-8DB6-480A-B2F1-02469F41C7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518622aaac57d9adedab1a8dd8bc9c046a6f8796","datavalue":{"value":"RSP1","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936790$DAB3D399-889C-466F-B29D-36E3B1115BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936790$560D315D-7F2C-4379-AF81-A7084681D858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2936790$5F270A9D-2AA3-485E-AE79-DF995E4BE8AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936790$3895D02D-68C0-4C7E-B1D1-9FDB991213E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e41927344b9397ba2eb05288d661d38c0f0d55a6","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936790$09879663-2D14-4E4B-80E6-A9E89BDDB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936790$82E114ED-4D76-4B1F-B8B1-AC33D5055F0D","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":"Q2936790$EAC36EC6-0266-4F1B-B96D-8C3060CEE902","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":"Q2936790$61B71F1C-DB3B-4D37-A8DE-43097AF2E348","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2c095d8f7ceae132ee81878c4938c6ef028729a","datavalue":{"value":"W2134737716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936790$D4CF2A58-1B33-4C83-9CD1-3FA50003C2CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36bb3b7997cdc30ca485d27ddbe8d0815f80c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2979818,"id":"Q2979818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9052f03c10bbeb7fec6ff03958119ea7f720e4ad","datavalue":{"value":{"amount":"+0.7326347231864929","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":"Q2936790$512F2291-AF2C-458F-8E0E-10F3E81BB8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb9b71b7753a29bfbcc51e9bb1e482c94fa1772","datavalue":{"value":{"entity-type":"item","numeric-id":4028372,"id":"Q4028372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffbc85390b6928aa96d02a602e387da42606057","datavalue":{"value":{"amount":"+0.7186455726623535","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":"Q2936790$F95687C6-CED3-4D58-ACDD-9D99ABB87AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc28ae7c08274cf206e5bfc796ffc6b2a46c3f23","datavalue":{"value":{"entity-type":"item","numeric-id":5019022,"id":"Q5019022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffbc85390b6928aa96d02a602e387da42606057","datavalue":{"value":{"amount":"+0.7186455726623535","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":"Q2936790$BDAF7736-891A-49CE-9579-7EC7B4E816AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8d52c7593ff0d29df32ff6422f7fbff9926316","datavalue":{"value":{"entity-type":"item","numeric-id":2866340,"id":"Q2866340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcb3659c0ce3c4acf729897de5a7d0fe1d5f521","datavalue":{"value":{"amount":"+0.7170370817184448","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":"Q2936790$9B544F4B-62CC-4B3E-8AB1-B3FBFD10B0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5814b2a96152a186b0fb638a474ed4961d8e742","datavalue":{"value":{"amount":"+0.715879499912262","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":"Q2936790$C5A5F4FD-A33C-434A-A052-1B6BF001D747","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936790"}}}}}