{"entities":{"Q2926649":{"pageid":2937369,"ns":120,"title":"Item:Q2926649","lastrevid":85049024,"modified":"2026-06-03T05:41:41Z","type":"item","id":"Q2926649","labels":{"en":{"language":"en","value":"Compositional and lightweight dependent type inference for ML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363640"}},"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":"Q2926649$5F6E6AE7-63A8-4FED-A6E8-7B2C1D0D828C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75d8c5239f40b302e9ab527ca026d1c371ce0684","datavalue":{"value":{"text":"Compositional and Lightweight Dependent Type Inference for ML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926649$03841FB8-AA0B-4DD8-8A4A-4A7224B7030D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ce504280742cde122f8e6d7bb1572d6490d1629","datavalue":{"value":"1426.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926649$BBEC00AB-C3AF-4FEA-871F-60D1A3C33653","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8c4dddd783dc7d3ac99b36912ecb525ba32f859","datavalue":{"value":"10.1007/978-3-642-35873-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926649$F574B0A1-D136-4B4F-8BBB-57F74FF5E59D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e4c4abde94f5f23dbe9ef0880558818c256eab","datavalue":{"value":{"entity-type":"item","numeric-id":1702884,"id":"Q1702884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926649$DC201B4D-BC18-4A1E-AD2F-80068E7DAF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9ea0621027ebcea1bc6d57ecc6f0e59b3fb507","datavalue":{"value":{"entity-type":"item","numeric-id":436390,"id":"Q436390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926649$2A73098F-0891-4BDA-A2D4-E56123440FB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926649$452D450D-2FE7-4464-ACE1-0C47CA90008C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926649$63E2983C-2F8F-4669-AF82-703BD46B17E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926649$1D713BAA-7469-4FAB-A916-4C3D743BB89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926649$2E0A07CC-40EB-47C3-B52B-EAD8A5FF3728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3d8760e2163e1c9cc719f62953abd8dec081f46","datavalue":{"value":"6363640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926649$766F1C39-E974-4881-AFD9-417EF9F30BAB","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":"Q2926649$71BD6777-8BF0-4F05-B1B0-F6B2B027377B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00177cf20596ddc17efdfa94b8c72c7fdd65ca3a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35873-9_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926649$3431EA45-76B2-4CBF-8114-B04AE0DD1FA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"183c52c16572ace4760cc335a9727f74347525af","datavalue":{"value":"W67718509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926649$5564969F-2ADF-45BD-A29D-B6B3317B4A55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173e9ade1bd5b829fc33cc4e504234ca67532d29","datavalue":{"value":{"amount":"+0.7617756128311157","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":"Q2926649$FBE041E4-F806-439B-B63D-7BB17A7EFD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf742c5a4fbd9ddaf673b1e54c58866fd6463e56","datavalue":{"value":{"entity-type":"item","numeric-id":5255067,"id":"Q5255067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904209e62b058fda457c425dd14efd632a579a7b","datavalue":{"value":{"amount":"+0.7542635202407837","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":"Q2926649$F83632E8-BFC5-42CE-862C-5E7A9B806A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebe5a62b96d9785a280849d04f2c10f5b1201a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736999,"id":"Q4736999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23cd42355334d7b3914fa3ec56b360235de53867","datavalue":{"value":{"amount":"+0.732674241065979","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":"Q2926649$009C7835-C6E1-4ADD-B604-ADDEA6ACD28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8af689d9fd90a19466c6e47f67d579d2aa3ac03","datavalue":{"value":{"amount":"+0.7323964238166809","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":"Q2926649$F11FD7B9-7ADD-4807-A776-35004C3B0EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffebf8bc77ac97029dd93b59d89e7ed9583da37d","datavalue":{"value":{"entity-type":"item","numeric-id":5458429,"id":"Q5458429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7921e0b16e09b56744160f8f9cbd4a6728ce94fe","datavalue":{"value":{"amount":"+0.7270781993865967","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":"Q2926649$3EE80713-E317-46C6-9670-65BF61644B18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional and lightweight dependent type inference for ML","badges":[]}}}}}