{"entities":{"Q1911131":{"pageid":1921873,"ns":120,"title":"Item:Q1911131","lastrevid":71789883,"modified":"2026-04-14T00:33:27Z","type":"item","id":"Q1911131","labels":{"en":{"language":"en","value":"Kinded type inference for parametric overloading"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 866081"}},"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":"Q1911131$A78838F8-AAAF-4019-A617-54EF8C0BAA60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"536f3269a5d1045fd44e8b24a74dfd4c4095f102","datavalue":{"value":{"text":"Kinded type inference for parametric overloading","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1911131$ECBB0716-087D-4004-A3DA-361CCB6E7D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b2b08e82a319738fb614f0e69410564d7f71c70","datavalue":{"value":"0843.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911131$9717B709-D99F-45B4-AB43-E229D57EC7E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0494df0f66708cf288401a9c6dfa212d3bf9be","datavalue":{"value":{"entity-type":"item","numeric-id":1274965,"id":"Q1274965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$157D4516-5DE8-459B-9460-46697486A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7db23d7e70b35ceca68568fc122b01fa45c2735f","datavalue":{"value":{"entity-type":"item","numeric-id":1606126,"id":"Q1606126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$5BF76C72-3802-44B2-B20F-CDE92FE7CE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f8e03d68a87ce2e223e66af0ec0453a3b29b837","datavalue":{"value":{"entity-type":"item","numeric-id":1007633,"id":"Q1007633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$36295FA8-E47B-4BBA-8443-C764F8F3C40F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$8382F818-FBA4-406D-AAD1-36D779BA7D11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c4e5afb6084c75f4f8878bb3bd337019ced071d","datavalue":{"value":{"time":"+1996-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1911131$52847BE6-2818-4C16-BC13-07C3F9799AE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911131$26592DF6-F06D-41F9-B719-FB03A0F3F063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7295e43fd162947649d70d7238b9801b2b763885","datavalue":{"value":"866081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911131$E2A965E4-4F3E-488B-B69E-7DAD98893E7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45ee0e410c1520b2ca32a377db85e78efa00b9e","datavalue":{"value":"parametric overloading","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911131$863AFEED-6146-45B5-B2C0-01CC74B67562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99d08f5210918f0ea269e6d56c2b5a557a8d13f","datavalue":{"value":"type predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911131$72A79670-10A5-49C0-8EDB-DF1034776E14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$2C3B97CA-3CA7-4EF4-A09B-82DF0E8E5283","rank":"normal"},{"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":"Q1911131$42E8E442-A3DE-4C88-9F1D-FBE5D203E0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$47BED402-524C-4568-9305-8E39E00E5D01","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":"Q1911131$79E2A7CB-53D1-44C7-909A-F19AB5F414E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d0654b6647c039c5b0d4ffbb9c2f609c8c060a9","datavalue":{"value":"https://doi.org/10.1007/s002360050035","type":"string"},"datatype":"url"},"type":"statement","id":"Q1911131$01B620C4-2EDD-40D3-88E4-3610153B61C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03c88bd8f4f3df606bf01b186f4886d9c4774291","datavalue":{"value":"W2063875055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911131$2FCF53C6-956F-4B64-92F3-0E7AD473D40D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$A1ED1B91-0BE0-4A2B-AA9B-528F9F7D60F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dd09744bceacc46524879d1cbd94b42bce5864","datavalue":{"value":{"entity-type":"item","numeric-id":4836019,"id":"Q4836019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$694F778E-A607-4FAE-A8F3-ACE1F2083917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$69681F2B-3FDB-4305-8EA2-2613C7D0C151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$5CFE3B42-712A-498D-9B14-E51E173FD0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017089f1b8820cff138bb4305c5e5fd1db1ba3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$4DDF5540-494A-4466-BE74-E7BFE4EB3C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90abb13c1a2216269f695d79a881900556fd52d2","datavalue":{"value":{"entity-type":"item","numeric-id":4331136,"id":"Q4331136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$4DDF9E7B-3490-42D1-8DD0-C7646C28E7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$AEB01B29-9B90-4D74-A835-AD982EF24531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911131$621191A1-95E2-4BD2-BE51-FD577472F132","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df1620295c33854ca8de3ae9d4a4bd6c05ad9dfb","datavalue":{"value":"10.1007/S002360050035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911131$C396F84E-0133-4D4D-9176-F60DD4CA766F","rank":"normal"}],"P1643":[{"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":"b429c44288199d79bbf2f7a2d24d20f3a53e5339","datavalue":{"value":{"amount":"+0.7904945611953735","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":"Q1911131$14A89316-2A2A-4CC6-AB87-7853CC0E1182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd512fa13fc6ee6e4d29baa2c6f833ce6663c99","datavalue":{"value":{"entity-type":"item","numeric-id":1346684,"id":"Q1346684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13940b34de7bcc0c7c4f78648af5b723ea195910","datavalue":{"value":{"amount":"+0.7614069581031799","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":"Q1911131$C95476D1-9EDA-48B5-8930-5250886598C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519aff4e4b980199e4b7dfa73de3afdeba5a8a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2949203,"id":"Q2949203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5221bdc0c82d64e9c3016819c9b55ab46e7d111d","datavalue":{"value":{"amount":"+0.751121997833252","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":"Q1911131$8958F691-CBE3-4F1F-8F07-75426B9134F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf8c56e09319db46ba72cfabdd0e9e3dc305f67","datavalue":{"value":{"entity-type":"item","numeric-id":2766770,"id":"Q2766770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9dc4a647fa0757dd5f830d650094c3c7c6f192","datavalue":{"value":{"amount":"+0.7485736012458801","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":"Q1911131$7E2C4FF0-01B2-4DA3-B3EF-74E3578845AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29f00b58f9aea69fa2a9f07a80619aca7e08de1","datavalue":{"value":{"entity-type":"item","numeric-id":3216117,"id":"Q3216117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7a39ee1a51abd48d4f4fd8b2a4f38af3addf8c","datavalue":{"value":{"amount":"+0.7481057643890381","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":"Q1911131$5731EAC0-BC84-4AF3-A563-A66270F7E450","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kinded type inference for parametric overloading","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kinded_type_inference_for_parametric_overloading"}}}}}