{"entities":{"Q2937793":{"pageid":2948513,"ns":120,"title":"Item:Q2937793","lastrevid":52170182,"modified":"2026-01-21T02:18:50Z","type":"item","id":"Q2937793","labels":{"en":{"language":"en","value":"Ambivalent types for principal type inference with GADTs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385656"}},"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":"Q2937793$471BD2C1-A81D-466A-9CF5-905854DD6C29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbfbfe8bcaf12ed1296167f5bb83b0e71e541485","datavalue":{"value":{"text":"Ambivalent Types for Principal Type Inference with GADTs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937793$412B9B2E-7437-4B65-868E-5BA6F1D3929D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"313ca65080918fcf28cc05fc8a1608fa44c5bb41","datavalue":{"value":"1426.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937793$ECFC8F58-3ABA-4181-B958-45D0467791D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"667a05b736622772ebb22a032df9945a00e170e4","datavalue":{"value":"10.1007/978-3-319-03542-0_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937793$33489FCF-4B8C-40C3-A109-1A6052831B6C","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":"Q2937793$C88E995A-B31B-4219-B5EF-308C162E960E","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":"Q2937793$E041B208-D44F-4612-943E-B1321E4F00E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$85F529EF-65B7-42D2-BC95-85AA7823C0B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-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":"Q2937793$C6A33E59-AB18-4118-BA80-5F2D35F15127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937793$908CBC17-A517-4EB5-877C-BC5260B16051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937793$E8954AEA-252A-4017-A406-9720B6558306","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30d005497dc8dab0824fc976a866d39f591258e2","datavalue":{"value":"6385656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937793$8987D9A2-8BA5-42EC-B478-613E5C0527AF","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":"Q2937793$FDE8D34D-9E2D-4EDC-8B91-3D63B2F2921D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d14f9992523e671d67df9b5d289bdcf8fe04ba8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03542-0_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937793$A8A7F6B8-B53D-474B-A1BC-472C68E0F31D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e2abe37587ec9fcbde030928f9c7207610226e3","datavalue":{"value":"W168996756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937793$CCAE9ADE-EAFF-4D0F-9CC0-1502C12B7C8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1a6758d7f61b1629da4e25cec4c71e0709c1d3","datavalue":{"value":{"entity-type":"item","numeric-id":2949202,"id":"Q2949202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$3FB1FDBB-859F-4855-B870-5DE0501D0A49","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":"Q2937793$21AABF5B-3036-48B7-9724-8095F7D328F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeee06ae19e7bf7086031d3966a878333a8c57af","datavalue":{"value":{"entity-type":"item","numeric-id":2937793,"id":"Q2937793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$DE238874-D016-4C07-BA8D-1720B6C4CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ec0f9a700c6f0b3c4ebbfda3800920b5facd57","datavalue":{"value":{"entity-type":"item","numeric-id":1023287,"id":"Q1023287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$BD94B279-86AB-4DA4-ADFE-8F52262ED042","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":"Q2937793$BBAC696A-DE7E-42A9-9B71-EEAC64F2C017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7910c3c1fcb2b0e85336cf11117807f90b06f21f","datavalue":{"value":{"entity-type":"item","numeric-id":5348926,"id":"Q5348926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$0EE17271-6467-4A8E-B985-D4DD18F106A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e8f349b9d040399464f58e77fd5e3e98ad4608","datavalue":{"value":{"entity-type":"item","numeric-id":2936831,"id":"Q2936831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$D04C6767-6E44-4CF3-A06F-356C3465E3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e45662d762d06da170405dc38333216d20795b","datavalue":{"value":{"entity-type":"item","numeric-id":3599181,"id":"Q3599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$6124AA45-F083-46D4-918D-C017EB50E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726a045bfe5bcf27b308fa8553c106d6b5ec2d30","datavalue":{"value":{"entity-type":"item","numeric-id":4918240,"id":"Q4918240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$D4F4D655-51A3-4AE0-8B45-ED0EFDCCFD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937793$86F610CE-3502-4FDD-B201-CDEBD1BD9734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d654042debfe05ad206d8c9d05e83e0dead0622b","datavalue":{"value":{"entity-type":"item","numeric-id":2828286,"id":"Q2828286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209b9119a2aeda3980b41c110501fe262e07907c","datavalue":{"value":{"amount":"+0.856177031993866","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":"Q2937793$EF25E342-C2B9-43C2-9057-A35ED89D2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980807ce7a8f4a0fa49fa180b5c0c08d532a8d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2936831,"id":"Q2936831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1194f4460a1ce42fcd82dbb58d8cfe842b59b3","datavalue":{"value":{"amount":"+0.8249256610870361","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":"Q2937793$A456AF4A-D1E1-4239-AF06-8C5FB6DE8995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0166ea4061ac2a0c3bf47b3385cb710bd3f786","datavalue":{"value":{"entity-type":"item","numeric-id":4918240,"id":"Q4918240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d1fbb55811fed9c72c96e521da728557bf4d58","datavalue":{"value":{"amount":"+0.7594628930091858","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":"Q2937793$D876AE83-A89C-440F-A210-056CDE0BDE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e398ef6d2636c88d65241e4ee8a5e94d56b9ff","datavalue":{"value":{"entity-type":"item","numeric-id":5326307,"id":"Q5326307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8764af33efd4c5513fb4ab4aa125fc77389454","datavalue":{"value":{"amount":"+0.7590681910514832","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":"Q2937793$F7B49D7B-4437-46AE-8917-B448147F2A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2fa650039ee73eab17a3314b7699f968d08c777","datavalue":{"value":{"entity-type":"item","numeric-id":5385585,"id":"Q5385585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4619e48b6f9d0db08db808d42ec5e6fddd7078f","datavalue":{"value":{"amount":"+0.755339503288269","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":"Q2937793$5BDD0E51-860D-4735-BB80-D3A121ABC232","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937793"}}}}}