{"entities":{"Q2945646":{"pageid":2956366,"ns":120,"title":"Item:Q2945646","lastrevid":58081719,"modified":"2026-04-03T17:46:23Z","type":"item","id":"Q2945646","labels":{"en":{"language":"en","value":"A linear first-order functional intermediate language for verified compilers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481874"}},"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":"Q2945646$4F71E938-5984-417A-9E41-EA51624B08B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4931e0a409fe4886a59360c2181309539eb837e1","datavalue":{"value":{"text":"A Linear First-Order Functional Intermediate Language for Verified Compilers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945646$D1BE3D5A-A11A-450C-AE86-5AEA5CE4B8D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e64bdb6bc581a28cc7f709427157d6cef8245641","datavalue":{"value":"1465.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945646$2AAA0F88-4603-459F-98FE-93D31DE33A26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fafeb18b62d67ce04adec0eac9263f33ecb510ba","datavalue":{"value":"10.1007/978-3-319-22102-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945646$ED397679-5673-42C3-8FAA-9D367AEAB7E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"100490b5d0f37ecb293a78b85d8f7135c6312edc","datavalue":{"value":{"entity-type":"item","numeric-id":1687760,"id":"Q1687760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$F99DDA7C-657F-4940-8531-1E3BC2F86A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$EE7D166A-3DD5-4687-903B-C2F911BC45B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aba28f83a59fd28f6426ab1fd0a0a0894441373","datavalue":{"value":{"entity-type":"item","numeric-id":844181,"id":"Q844181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$E643CFDC-0441-4747-868A-1D76BC305F74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$244822E9-AF39-45D0-8772-D91897CADF32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945646$33220C69-3E7A-4371-93F6-F08AB3BBA8BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d1efcc2734befdc4f2efa15f0df5cbbbca2ba47","datavalue":{"value":"https://arxiv.org/abs/1503.08665","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945646$E21474C6-3D52-4885-94E7-2965538CD3DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945646$140E606E-24F3-4A1A-9432-746B7F97EAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945646$7CC32EFF-5101-4D47-8E34-4FD2423A5C92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef79ca801492b1afb1861c4905bed4df2749eb6d","datavalue":{"value":"6481874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945646$E03BE5CB-DE9D-496A-B15E-3D41C40C7238","rank":"normal"}],"P1463":[{"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":"Q2945646$21EF9813-D868-446D-9358-73D0BADBE6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8693d6594a71b0b5c477ef6fe219a510b51255c5","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$392D19C4-9FBA-48C2-ACD7-B63FC1422F71","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":"Q2945646$2525713D-F13A-47EF-946A-8E854280CA2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f86f7ac4ad2163c86a4479dcb7e65c6a0b89342e","datavalue":{"value":"W2208324330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945646$AA960B07-4F11-402A-957A-871D27641AE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"febb1a58383fa5bc0401850aae1a5c0bf3823edc","datavalue":{"value":{"entity-type":"item","numeric-id":2844038,"id":"Q2844038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$CDD22D1F-53EF-4042-900A-36F85D263289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3087d2f98028af4c1ed491c0da93877e332224bd","datavalue":{"value":{"entity-type":"item","numeric-id":3558221,"id":"Q3558221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$6E5C6487-9BCB-4D47-8142-2D0768E34129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d16ee5e65f1db51f9c436dbb90be9daf0b8247a","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$3A024A9B-C89C-48BA-8E2F-D110542B877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcd67c8a2c0ca1cc2e7e35901cfba0782173d71","datavalue":{"value":{"entity-type":"item","numeric-id":844183,"id":"Q844183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$FDF471E9-0097-4994-BD5B-EE4F8EE79B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$B21D00DE-92BA-4B76-8527-06EC8351701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$4D1D1116-7DDA-4F77-9336-7C15B5A3F5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$76B41DB5-BEDA-4271-9427-979E2EECA84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c202ed3fb34c389f053ac2833d3e889d4bfe50","datavalue":{"value":{"entity-type":"item","numeric-id":2945646,"id":"Q2945646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945646$87E05F1F-2EAA-4A0B-9ABB-27CD15C2F7B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65417b7c4d8073794042aa18b3464d8aa7dc19a2","datavalue":{"value":{"entity-type":"item","numeric-id":5255065,"id":"Q5255065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4726d35f3b30d187377783d9c9da470ea4736355","datavalue":{"value":{"amount":"+0.7661225199699402","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":"Q2945646$7CE7EEFF-A673-4FBF-8BF1-7B011F6A46DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1095fdc18db90b98c423e08f318f2370a1f4f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":3558221,"id":"Q3558221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132fee5eb52ed6d7a204cf271d68dd3531d53bfe","datavalue":{"value":{"amount":"+0.7322860360145569","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":"Q2945646$8ED6C643-5694-4236-A69E-32F75F84C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6b068992df9c89df147733eb8da156a69a4760","datavalue":{"value":{"amount":"+0.7217614054679871","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":"Q2945646$74D48457-020E-4C9D-B3C5-CC3B0EF263EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c864fad0c72513e1cec61672364c2d8a635e49","datavalue":{"value":{"entity-type":"item","numeric-id":2981953,"id":"Q2981953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6dd54dba418819d031ab2c2b2e41f9f4d9b540e","datavalue":{"value":{"amount":"+0.7179850935935974","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":"Q2945646$EE243951-97EC-4614-9195-3FA1E85871F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e719922ba9485be185698af13118ce9341a112","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b323fa54abe3b02c532b6c3335e89b4b660d3dc","datavalue":{"value":{"amount":"+0.7113641500473022","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":"Q2945646$57288721-C9DC-4426-9E1F-3615F219A3EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945646"}}}}}