{"entities":{"Q1275627":{"pageid":1286377,"ns":120,"title":"Item:Q1275627","lastrevid":70049610,"modified":"2026-04-13T12:06:07Z","type":"item","id":"Q1275627","labels":{"en":{"language":"en","value":"Extending the type checker of Standard ML by polymorphic recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238991"}},"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":"Q1275627$4647A2BC-C85A-4F4A-90F1-3EEE110CCB63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"572a1594986264c62f978092a5bd1edaebd31745","datavalue":{"value":{"text":"Extending the type checker of Standard ML by polymorphic recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275627$71C1CC11-BFE2-4AFA-B2F5-0186012C97A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe43bbb030a381d5217eec74098bc21b5e61f640","datavalue":{"value":"0913.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275627$AB1E68BA-2AAE-4BBD-853A-23CCF244A22A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c93822bbde970242b12fb8ade00198b43389b0b2","datavalue":{"value":"10.1016/S0304-3975(98)00139-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275627$54352792-1803-467C-8943-A7BFD9294AB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b40959cc221c8260e971f65a275b7561200c46e6","datavalue":{"value":{"entity-type":"item","numeric-id":1275626,"id":"Q1275626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$EF16E406-5D04-4EF4-8B40-030655E62C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09bee9af86a3d1d37ec2f40220a72c4947075a8a","datavalue":{"value":{"entity-type":"item","numeric-id":817583,"id":"Q817583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$DCC61895-5347-489A-B36D-17B0F46D29D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$5737C0F1-0716-4EBB-A236-A86EFD027C15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275627$BF35E0A2-3BF2-4773-AF8D-52ED93A7C8D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275627$DF699EA9-6BD9-45D0-8591-802FABA8ACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275627$866D5E65-6EAD-465A-BB17-2E5E9D4EF2C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ef7f6acec700370d92fdcfc5e0464abf3717a41","datavalue":{"value":"1238991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275627$A1B96326-B7AD-4A55-91F5-066E84854362","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18980cb82f71b0485231a608a132def1ee64925","datavalue":{"value":"Functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275627$7C359D93-5846-4E24-AEB2-0E87E4B1357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633e7569ba4f54592fed7a09f2422ceed10fa5b3","datavalue":{"value":"Type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275627$2C6455BC-0760-49C0-A9E6-5DC55D6B163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96695245423baeec4a007653a422d2b64301873d","datavalue":{"value":"Polymorphic recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275627$3F78B622-CDB9-4F94-9C07-30B5087A2D9C","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":"Q1275627$35EF9EDF-A868-4A03-8279-BE7F10C64DBF","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":"Q1275627$359B7869-B5A1-4C2E-8D16-10C6B8685E51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1769e2c25b3679baa05f627c4f89c394e43026","datavalue":{"value":{"entity-type":"item","numeric-id":5672870,"id":"Q5672870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$510DF81D-C571-4519-93D5-239F520E58F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855e761ede5bc65d1d5bf438ef81aa507f97446e","datavalue":{"value":{"entity-type":"item","numeric-id":5590039,"id":"Q5590039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$92E3B9C5-CF93-469E-9708-2CC690C75CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$FEA827AB-22B9-47E3-A2C4-6CBED2F83A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e88b96adfc7b847ce3bf4c667a245057dae5c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3819992,"id":"Q3819992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$BCE2D9AA-71E6-4CAE-86E6-D3AD6ABF7DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bb26f80db37b9b4d2cbcccb135ebaceaff472c","datavalue":{"value":{"entity-type":"item","numeric-id":4027630,"id":"Q4027630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$A210E5ED-36B3-4A56-AE16-BD2F2D6450EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9018b8dde4d7aab80b00d69a59b94f16c384b","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$0B9F3B9A-F0C9-46DE-83B3-40562E695178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537a9492131adba3a6155f69f21f93966dc7881c","datavalue":{"value":{"entity-type":"item","numeric-id":4268483,"id":"Q4268483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$6C317FC0-9E35-4E16-89DE-22CD47724F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb4ac903ad4425f898f84176876e2042f725cf8","datavalue":{"value":{"entity-type":"item","numeric-id":4035254,"id":"Q4035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$509E17E5-D8E0-4071-B0B2-0E655481A73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$095BCA55-DDFE-4946-9DB0-5384E371DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbac71c6d92500dbf536db2f24add53c05adc73f","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$74817372-D340-42B9-8325-CC183CB87525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50159b806c5dc041bd904036e1774fef0fa275b2","datavalue":{"value":{"entity-type":"item","numeric-id":3815293,"id":"Q3815293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$491DC3EF-F27F-446D-86B5-2A51991762FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275627$3FCA7F6D-E1D9-4886-884F-D134BE8D570A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89755fe0749d629d3053e796f71b6f9a3079bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00e1295b2e4abf0afb71b1b6429df223020e0f0","datavalue":{"value":{"amount":"+0.8098645806312561","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":"Q1275627$6CA42745-E698-48E9-B692-111B842AC2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02332199122e89470495cf5626c3a366d0791bd","datavalue":{"value":{"entity-type":"item","numeric-id":580956,"id":"Q580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5439297f5041b96cc67f975f05f23c839509e63e","datavalue":{"value":{"amount":"+0.772885262966156","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":"Q1275627$5E3F76D0-7172-4857-BF27-B634E84DD9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1e45f130ca02dd12a6eb6dc136b8e146dde135","datavalue":{"value":{"entity-type":"item","numeric-id":5044772,"id":"Q5044772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2b94072c4e505304a83bf761546e125323fb89","datavalue":{"value":{"amount":"+0.7715849280357361","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":"Q1275627$9AE15C97-219D-4AC2-9EB5-89A096A5C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2eb347944524b8aa00e5a342d6ec1648ed430f","datavalue":{"value":{"entity-type":"item","numeric-id":5370846,"id":"Q5370846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d737bd0a10aaa6e52364a5aaa87aee7c67983533","datavalue":{"value":{"amount":"+0.7627112865447998","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":"Q1275627$8F20C329-66F2-41F8-ADED-7DB8AF2F2FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1555094d85869fdc4dfea44e0a4f93498e01bc66","datavalue":{"value":{"entity-type":"item","numeric-id":3522067,"id":"Q3522067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc115a87f15945a1878743ce9ab3f6db21bce6ed","datavalue":{"value":{"amount":"+0.760714054107666","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":"Q1275627$71F55C4E-7D2A-4897-9449-953E15818CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending the type checker of Standard ML by polymorphic recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_the_type_checker_of_Standard_ML_by_polymorphic_recursion"}}}}}