{"entities":{"Q5740642":{"pageid":7770194,"ns":120,"title":"Item:Q5740642","lastrevid":52582031,"modified":"2026-01-23T00:59:54Z","type":"item","id":"Q5740642","labels":{"en":{"language":"en","value":"A certified implementation of ML with structural polymorphism and recursive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606928"}},"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":"Q5740642$DBF99F94-8E39-4522-8E94-672320127AC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c6a303108aa18fab4944012f0acfc4ef7135a83","datavalue":{"value":{"text":"A certified implementation of ML with structural polymorphism and recursive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740642$E03F35A3-F954-43F1-B5B6-B7F8F6DC5183","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90235d953dc88a0cf2f1bc84f5a4ec27273cb180","datavalue":{"value":"1361.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740642$7F9B28AD-F42B-485D-B7FA-67CFB7058D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cc96664e68df2f5c5f764b75b5759b1e75479fb","datavalue":{"value":"10.1017/S0960129513000066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740642$06B5B31A-573B-4B90-8637-19B513615FE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4fe5739bc92b9b7dd1c7e60f1d057a2d93c386","datavalue":{"value":{"entity-type":"item","numeric-id":1350340,"id":"Q1350340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740642$8EF1B98E-21BE-44F7-99D8-C7B1EDBD4D8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740642$377BED55-6168-4327-AABC-ABF35F2CE37E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740642$878D6736-FB41-4FF4-9D3E-8DEAA9278912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740642$677CA034-7215-452D-ABE1-29D68B897AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740642$05F28EF7-0849-4A78-A2C0-C37E639006BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740642$BDC0D82D-9BF8-4305-86E6-786D434FDA91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a58f990f0c5c4cd8d122e87724d7be309a91691e","datavalue":{"value":"6606928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740642$117D23EC-3583-4DC6-BB4B-F6D3C76BEB30","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":"Q5740642$C896BEE0-F59A-449C-9A85-C1352A2D577B","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":"Q5740642$81CE1069-2840-41FE-81DC-597CB20CFF06","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":"Q5740642$DFFA7BCC-F7E4-44F0-9696-B3B386AC5602","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b913550218aa589bd609f48dfab72a983f8bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740642$41F79696-ECF8-4D0C-A88C-585477306763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c63c7dcade0004de068be33d45a2ed549ed5623","datavalue":{"value":{"entity-type":"item","numeric-id":1854319,"id":"Q1854319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740642$0B398CAC-1C02-4E54-8A7C-77ED5EEAD200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d91a92033dbeb71d90023607ed064df0797f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740642$650E6F0C-CFA4-4398-9D56-47DC18913C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8b071cba3c4987302d43b3baf548b8fe2efeb","datavalue":{"value":{"entity-type":"item","numeric-id":1961918,"id":"Q1961918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740642$17273854-9ECF-4F98-B35E-16D1C0ED9FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b038fd1cd96d2d0b93f00fc07b837c0892dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1060023,"id":"Q1060023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740642$E14F99D3-BA63-4D5E-A6E9-E9062FA54072","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94400489caab905d012db57597a4accd75e230de","datavalue":{"value":"https://doi.org/10.1017/s0960129513000066","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740642$FF251986-37D5-418D-8ABC-FFD7B533E0BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c42b9f902fd808132fc042d12e0486c9fe88832","datavalue":{"value":"W2110685049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740642$962A6B13-0291-4779-9957-F5D99D1DD25C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2d6615a66fc1aba3379f1fd42f51e97db257e3","datavalue":{"value":{"entity-type":"item","numeric-id":1961918,"id":"Q1961918"},"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":"Q5740642$6E81D17E-DC02-40EE-9A4E-07562D29518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00109cef22270c88ccf8bc2c1b955849380f930","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"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":"Q5740642$F25088E6-41B1-41E3-80B0-088420E49968","rank":"normal"},{"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":"fc6db7ad2de70dcb82f6c615ec21b25049e67647","datavalue":{"value":{"amount":"+0.753877580165863","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":"Q5740642$62ED6DCF-F6BB-4CD8-A6EE-196C491887D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cd0349da31a26697885644df1d855c1e074195","datavalue":{"value":{"entity-type":"item","numeric-id":1275627,"id":"Q1275627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2fa7e36a83cf15148e4e30915d87f96a4d2e0d","datavalue":{"value":{"amount":"+0.7275859713554382","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":"Q5740642$2432DCC4-0FC4-4FB4-ACFC-D77EEB1A9491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd58fd6243ca5ecfa61b5100df2e972a1ed7fb82","datavalue":{"value":{"entity-type":"item","numeric-id":5458382,"id":"Q5458382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25de8baed0612ba9744ab2ffb6805077b4bc4656","datavalue":{"value":{"amount":"+0.7122166752815247","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":"Q5740642$DFF3C3CA-CE84-4660-8DAE-FDDEAF38EC4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740642"}}}}}