{"entities":{"Q5370874":{"pageid":7400448,"ns":120,"title":"Item:Q5370874","lastrevid":96078383,"modified":"2026-06-05T10:21:28Z","type":"item","id":"Q5370874","labels":{"en":{"language":"en","value":"Towards automatic resource bound analysis for OCaml"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794664"}},"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":"Q5370874$02978F7D-1350-4E12-AABD-6688D2A53B4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aa77aedae2f66850dde10e96c4508e99eb12136","datavalue":{"value":{"text":"Towards automatic resource bound analysis for OCaml","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370874$BE4EFC41-D929-4C6E-B589-F2FA6627F254","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56a7fb362d3f66988af5a44c707a8c83ed428172","datavalue":{"value":"1380.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370874$4B546088-F5CF-4E7E-976A-4CF33183EFB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6516516fd5c038210203318aaaad5744f5847a21","datavalue":{"value":"10.1145/3009837.3009842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370874$55411CFB-2F3C-4285-8CD6-9214395C0D7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88be69c40b517dcf95562e728bf82dd0b4372ca","datavalue":{"value":{"entity-type":"item","numeric-id":372958,"id":"Q372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$BACBDB4A-6632-4D9F-B67B-38C2AA44758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb6fec8e8be7aef9744c6cab8c4ecb8b67169ed","datavalue":{"value":{"entity-type":"item","numeric-id":2233454,"id":"Q2233454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$A9819C57-DC4F-4FD8-83A3-7556AE1FB034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3e54d210360c258203a538cc816781f86acc56","datavalue":{"value":{"entity-type":"item","numeric-id":988189,"id":"Q988189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$764A0EA5-85FE-43E2-829C-2114F9537BF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$A2799401-E8A8-4377-8014-46A21938438B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370874$447DD6AF-3A53-45E9-811A-8ABF1CE712B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16662c7fc9bf697cdff321d29cf0b34dbd101c32","datavalue":{"value":"https://arxiv.org/abs/1611.00692","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370874$A271C651-8F2E-4D48-A187-C408B8D08DAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370874$1D1D9695-3472-4B6F-9CF4-F6624FAA9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370874$69DEC77E-A122-4C3A-9A08-0784C802A98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370874$AC4E1D35-CCE1-4F53-9E83-2A17BB5952AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7924ecb8a7d546e75af34ede1599a7fdf7a3cfba","datavalue":{"value":"6794664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370874$3D038BB0-CC0A-47D3-95B1-0E4052B64DF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370874$C490BC4B-3B4A-49C1-9C94-4A23E6CB3F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b26bcf0014be4f356bc64e77e01d14d419aa25","datavalue":{"value":"LP-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370874$336397E4-9D45-4293-BE8F-E04E86BF0D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8a5d4f210cfca4d9c8bc4536a143417c29507f2","datavalue":{"value":"resource-bound analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370874$00942A9B-71ED-426A-8B9E-61706575F32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370874$7E738892-B1D8-497E-941A-28A9B26E3E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370874$AD0C06D8-636E-4888-AF6D-E04D6B30C16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370874$388D90AE-03BD-42C3-B403-9375536453A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"234e3e7a23a9deffbe8036f161945b3f3dc0a939","datavalue":{"value":{"entity-type":"item","numeric-id":20343,"id":"Q20343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$FA53916E-5C35-4640-B407-E1CA95031C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb5085a0e3d3bb720346dd836bd54d5d9d9a7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":20658,"id":"Q20658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$94484AF6-55A1-4795-8C77-2371869F8C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1de0d6b1140d425ff5f6bc8e11819568d60aa35c","datavalue":{"value":{"entity-type":"item","numeric-id":33530,"id":"Q33530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$D5ECD72A-17F5-4518-B3BA-4B7C7747EB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f6d19d09e1004a86cb634444a25b142dfa97245c","datavalue":{"value":{"entity-type":"item","numeric-id":34401,"id":"Q34401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$A0AAFC3A-A32A-468E-80D0-462E4EA947DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$84EF0E5F-89CA-4F38-850B-6A04E94C1E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308c9d19b10840f60de028f733a0e4446e2c05f7","datavalue":{"value":{"entity-type":"item","numeric-id":21700,"id":"Q21700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$1392FBBE-E04B-4E0C-AC77-8EFA71B8EE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370874$C8701E77-F073-49ED-969F-66E537DD02C3","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":"Q5370874$19947FAA-565A-40CA-8378-D5605713BA16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba50ea88140eb34d925aefccc3a128a124adeb42","datavalue":{"value":"W2547267640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370874$BA37A2E4-D2FE-438D-9A0C-73D1FD6EC393","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761696e99a30f68ac4d6f41855006641f69acf18","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8195a0d2691891557e0f249077cdabf7fbbf2f","datavalue":{"value":{"amount":"+0.8306669592857361","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":"Q5370874$8BB7AA01-34F5-4330-A29A-4D0A5F4DBCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89b481af36f516e073227c33647f7f5ef6d6d85","datavalue":{"value":{"entity-type":"item","numeric-id":5170708,"id":"Q5170708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b860bc37a32f9307da4f15c5703b73df0f6bd65a","datavalue":{"value":{"amount":"+0.8212728500366211","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":"Q5370874$60CF0514-AA73-4361-875E-67D6B7599948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3ebf1c7e2b0f04ec3de2ce5d6cc1db0b34aab3","datavalue":{"value":{"entity-type":"item","numeric-id":5371954,"id":"Q5371954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733dbf58c64f0bd7a865007af259217d80dd7c9f","datavalue":{"value":{"amount":"+0.8209823966026306","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":"Q5370874$832CE1B8-D658-4400-B7B9-6E94E3891DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e61f5e769a3370191dff8520a9efc79de1d22c7","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf28a037a00a6d5a45a7205d22dedf812d456ed","datavalue":{"value":{"amount":"+0.8133037686347961","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":"Q5370874$B5493FF3-E8CD-440F-B038-1B97990A18B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a604738f1074bac74628920dfc8345a188953a78","datavalue":{"value":{"entity-type":"item","numeric-id":5875892,"id":"Q5875892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83711b5506f2c3b1896056af1a14b1621226113","datavalue":{"value":{"amount":"+0.8018496632575989","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":"Q5370874$C4E0269C-2314-4664-B428-4A7052972373","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards automatic resource bound analysis for OCaml","badges":[]}}}}}