{"entities":{"Q4635618":{"pageid":6665199,"ns":120,"title":"Item:Q4635618","lastrevid":97929419,"modified":"2026-06-05T15:50:03Z","type":"item","id":"Q4635618","labels":{"en":{"language":"en","value":"System F with coercion constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863092"}},"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":"Q4635618$00E73279-23B3-436F-8600-76A7A54C2361","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"454bb982d3d69c8857e02add663f1cdda99647e8","datavalue":{"value":{"text":"System F with coercion constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635618$88AAA2DA-CCF5-4BC4-8570-F21588209750","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db760801836405ad00dc0a2889cceb74eee106c8","datavalue":{"value":"1394.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635618$42E1D081-7B52-400C-80A2-97A63A52E330","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6eb9896ce11da8f28608afc107ca5927231c48b","datavalue":{"value":"10.1145/2603088.2603128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635618$A2B3BB80-92C0-453E-B236-14BAFE3BFB6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bae9cff61a39bb550f765d8af5d88dd7064fda","datavalue":{"value":{"entity-type":"item","numeric-id":2942886,"id":"Q2942886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635618$CB1BB040-B9B3-40B9-AACA-81BC18AB0808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b50f2165478ed24dcc2bb28aff286f977f84adf3","datavalue":{"value":{"entity-type":"item","numeric-id":428890,"id":"Q428890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635618$11D40B2B-F1CD-488A-BF34-D373BF657A84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635618$697FC736-F9E8-45EE-999A-9ABFDBAFBC7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635618$4B003548-7AA3-476D-BA40-010DB405E9C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d7107f36347372dcd7170dedee9b1c5e8f4a620","datavalue":{"value":"https://hal.inria.fr/hal-01093239/document","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635618$3F18A65B-EDF3-43CB-910B-D33225794053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635618$9A815CD0-6525-4A93-AB32-9A7586EF91B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635618$25A39E37-3FB4-4EB3-8308-A706E71A4C9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f763b74695395aa3d12cb2b3b39b18151adf7ae","datavalue":{"value":"6863092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635618$440DDA28-CAA1-4506-BB5C-862911178058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2250618ee100d61a0d564b110e7dbf61fc4c529","datavalue":{"value":"F-eta","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$DD92C1B8-5C16-4A78-B807-CDF4CE982563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcb3bff1dcbcf34e0c496835c665383873d52e3","datavalue":{"value":"GADTs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$62010266-6E29-4D91-9425-9C85418E457F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077b5473b6870bb6162666175a1dc2dc618a2f13","datavalue":{"value":"bounded polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$2DD70EA0-936E-4026-A2BC-EE06F09939DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d1cd1651321f2e2bbc73d123c521d4ce3966d7","datavalue":{"value":"coercion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$9D28AE58-23B4-4106-B565-96500FC54477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da810a98b932ef6f140961d989949fe11f7daf70","datavalue":{"value":"full reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$48C85C60-F81F-4DAE-8D1F-2938CD17EF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$9F3834C5-FD8A-46D7-9EFD-86E8B6B5F370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c81f1747407c5894ad038008cc1247c850090b","datavalue":{"value":"recursive coercions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$7C7FA940-65A2-4D8F-B9FB-33AC58C71E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$58FAE810-298C-4661-85D1-654BCE5382D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab27b77f81776e11fee698d9d5305812928b2a9","datavalue":{"value":"retyping functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$D4A919F2-3D84-4C9D-94A9-98D9230566DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d80a6512aa2081a6ea0242ee0ba24a78e8d1f76","datavalue":{"value":"step-indexed semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$EE30A383-CEA0-4971-A5AC-CB77D3FD2949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$AA16C777-6501-4AA9-8F1D-78493596186C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$0645F005-E372-4E37-B158-D08406FB104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a2d99dd366e12ee8fd608e27922f0828010815","datavalue":{"value":"type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$9D7C9AB9-EA1C-4A27-9FA2-31F62E653EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5782f30dbabce87f67f580a319cfed7ff42dff73","datavalue":{"value":"type constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$850E703C-DCB0-49E0-8EF0-B77E1D4A5CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"144b3128369a7ad919c941bd63311de1effabb60","datavalue":{"value":"type containment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$9D2617EA-331C-42AC-AB98-7D1018026C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"006f670e805ab4b152ff322faf6335b1cf517811","datavalue":{"value":"typings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635618$F09F83F1-12EC-4C22-9A54-C0271B667EAD","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":"Q4635618$9018DBA2-5C79-40A2-9D58-3E6FB4A9AA88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"850f00bfcc2527a879e8ae04c92e06794a39b898","datavalue":{"value":"W1975801890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635618$E90A9CE0-C9B0-4F16-8324-47CD7709DF53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d66219be67f5cbbb0534191ebaad9838f1121ea","datavalue":{"value":{"entity-type":"item","numeric-id":2942887,"id":"Q2942887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7211f72a0854fb0880b66b0fa6774f09a6cb8cd7","datavalue":{"value":{"amount":"+0.8070791363716125","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":"Q4635618$DD78730F-F4F3-4FAE-A725-8AC0B45E4D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48aae8fd39c8b4a66b19bb4c6c754b913540fee","datavalue":{"value":{"entity-type":"item","numeric-id":2942921,"id":"Q2942921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cd44ded17f39c820baae4b7df87c92671e5072","datavalue":{"value":{"amount":"+0.7816236019134521","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":"Q4635618$3E093457-1F4B-4BC6-A4FF-DD5CECE04274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf8d6e38430c04539d4af99e9420705e59588bd","datavalue":{"value":{"entity-type":"item","numeric-id":3520150,"id":"Q3520150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459dede8db9644b6d66539bcb0702daaafec33de","datavalue":{"value":{"amount":"+0.7679125070571899","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":"Q4635618$9974BBA2-C5BA-4096-9BF4-2FCE9C557907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594fdde212ba489ae68158839e8132d1f16cba29","datavalue":{"value":{"entity-type":"item","numeric-id":4820474,"id":"Q4820474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e417fbf9f6994fa9f504401035ccb960c7abe1","datavalue":{"value":{"amount":"+0.7641809582710266","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":"Q4635618$FA6C22C0-7DEF-47BD-8758-9B9902C27D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44ced352cf62c450df922b1800a37c47c67ccf7","datavalue":{"value":{"entity-type":"item","numeric-id":764331,"id":"Q764331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f65fb99ad6e0c32c07602d6704d54165a009f8","datavalue":{"value":{"amount":"+0.7510703802108765","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":"Q4635618$49498872-82FB-418F-9287-AA8CF823A9CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"System F with coercion constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/System_F_with_coercion_constraints"}}}}}