{"entities":{"Q1961918":{"pageid":1972660,"ns":120,"title":"Item:Q1961918","lastrevid":78156257,"modified":"2026-05-06T10:55:16Z","type":"item","id":"Q1961918","labels":{"en":{"language":"en","value":"Certification of a type inference tool for ML: Damas-Milner within Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394792"}},"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":"Q1961918$85918782-3C69-45D8-947D-5D1C299DBA1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2af0b7160137daab98e6ea5fb0482dab927743d","datavalue":{"value":{"text":"Certification of a type inference tool for ML: Damas-Milner within Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961918$55D1BFF9-623C-4387-AB5D-9B1C957C8179","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2287ea8135c30dda3510feef9fd53be926ec3323","datavalue":{"value":"0943.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961918$C3CD6A35-FC71-4396-AC98-D51F4846DEB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25c1ae4dbc04f984b0dbb905bec19df064047359","datavalue":{"value":"10.1023/A:1006285817788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961918$218C08CD-5FF0-4477-811F-7B128F9B7600","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8c40e2cd3207dd1d19085f0b79e8fee7be86ced","datavalue":{"value":{"entity-type":"item","numeric-id":1624591,"id":"Q1624591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961918$B6AC4DA0-1E1E-47CA-8A02-09BEDC616762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7be25046a976c5b7810572a14a543f4a6f7615d5","datavalue":{"value":{"entity-type":"item","numeric-id":714625,"id":"Q714625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961918$F9D06502-3139-4E1A-B765-42CF89C9C30C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961918$AE206A0D-3F59-44EA-935D-1AEE866523C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961918$A4198D21-0C3A-408C-B056-2BB63ED5E59B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961918$910D9114-5F44-445B-B456-C7548E63B371","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1831661baa39c4b69af79e8364f48bf651a113c2","datavalue":{"value":"1394792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961918$46298098-DBB6-4964-9418-2B7018740DB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961918$CCE6C604-FBC4-4425-9B9F-40F0F6389BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d20dc6fc390f6048cfe1536e2d7908963b6ba01","datavalue":{"value":"ML type inference algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961918$E8E4C110-862F-404D-890B-7B75B684698A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab589c3b776e4a6ba692c6fcabf228366ffb1754","datavalue":{"value":"Coq proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961918$81E9ECAA-3995-408D-933F-A4EAD1E8CCC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961918$45549B7B-C5DE-44AA-B8B1-B98929EAD46D","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":"Q1961918$D523CDB3-18B4-4B63-B247-0617E077B161","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":"Q1961918$BE941D29-A1D8-445E-8178-019E2A2F71AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53cec3eea12eff73fcda5873bd3c07c2d17c628","datavalue":{"value":{"entity-type":"item","numeric-id":2754040,"id":"Q2754040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cea1e7502d10756efef8d1f5dd4b52a205b289","datavalue":{"value":{"amount":"+0.865135908126831","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":"Q1961918$62FA73FD-B124-4FB8-873A-D4FB7C211B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1524e2bc38596abb0d01361675a5dbda671013b","datavalue":{"value":{"entity-type":"item","numeric-id":4246952,"id":"Q4246952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e51e809b692d79a57b1f578195c2bd5e82efdb","datavalue":{"value":{"amount":"+0.8092866539955139","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":"Q1961918$FE3A23A2-91A3-40E9-9AC3-D8E256D669DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ac0ecae58748c37e73a52d6d77001a9a388c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1762932,"id":"Q1762932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e51e809b692d79a57b1f578195c2bd5e82efdb","datavalue":{"value":{"amount":"+0.8092866539955139","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":"Q1961918$C7476364-5F31-43FB-A5D0-C9FF5AD01467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a35561510bed5dbefe93ed61bf3f4b6a2d7526","datavalue":{"value":{"amount":"+0.7849519848823547","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":"Q1961918$6FB45FBD-55E7-4487-BC73-2E600291707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f46ff5e04f3b257d21f74346122232abb5ff63","datavalue":{"value":{"entity-type":"item","numeric-id":5740642,"id":"Q5740642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee6f4aa2a8057e389bf7b911b84ac59418c5dde","datavalue":{"value":{"amount":"+0.7842134237289429","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":"Q1961918$2847DE29-8AFF-47DD-B599-17DE74BD47B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certification of a type inference tool for ML: Damas-Milner within Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certification_of_a_type_inference_tool_for_ML:_Damas-Milner_within_Coq"}}}}}