{"entities":{"Q2304565":{"pageid":2315308,"ns":120,"title":"Item:Q2304565","lastrevid":53689130,"modified":"2026-01-25T13:42:46Z","type":"item","id":"Q2304565","labels":{"en":{"language":"en","value":"A computational complexity analysis of tunable type inference for Generic Universe Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7179881"}},"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":"Q2304565$FA3D8BF3-7C68-4090-8F11-082396975473","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"243df3079533ebc8524dfd618e2b4c5d03c9f268","datavalue":{"value":{"text":"A computational complexity analysis of tunable type inference for Generic Universe Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2304565$81191684-9F7A-4FB6-9505-E3A7AD1690DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e042f512cdbc2bcd5e7dd696f0da593702bd8059","datavalue":{"value":"1435.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$329DD616-C1B3-4AEF-8D30-2BAD97175906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e04f0ffdaa81557b8b6446b17da403a2aa9e10d","datavalue":{"value":{"entity-type":"item","numeric-id":2304563,"id":"Q2304563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$791CDB17-2A0B-478B-BA44-231B98518B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a13fbb85e8da5dca258afc3b1e15decc2eb21d4","datavalue":{"value":{"entity-type":"item","numeric-id":948245,"id":"Q948245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$952C28EF-C5EE-4347-8D8D-9C08F351CC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d6db60edabfe9041218f4608ed8981dfd29485","datavalue":{"value":{"entity-type":"item","numeric-id":2304564,"id":"Q2304564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$88F2D5EB-6F09-45D0-8416-478D6513181A","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":"Q2304565$AEF7AEA2-2DCE-4795-951C-F8BD7B0BA38D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ddeab2841725759b2e820b7ea1589750ac80ae","datavalue":{"value":{"time":"+2020-03-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":"Q2304565$4E22BA85-3C88-4DF2-93AD-25B60EF45151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$C0F6527C-A48A-445F-BA96-F0E1F9803ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$0AC432EF-946E-41E6-895C-286146AE6E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$CAFD8FDE-E2F7-4ABD-8F9B-3C065BA0195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$69E17945-FCBB-4F2A-A136-D6478589A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$F52F7A88-D7E6-45AB-807D-0AF186819FC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ea1a48397b3afc680ebf0d9036a1173309dda37","datavalue":{"value":"7179881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$7C753B5D-35A7-4E6D-B808-D7CED40A361D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304565$E0C4133A-396B-4411-85FA-BA0D5699C3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304565$328CDDB6-51BD-43AA-9699-78D947C7F858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304565$3E55C875-626C-4C2D-84C8-D144C045E711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304565$BCE59D34-55AF-4DFB-8D74-5E8C5D5FB315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304565$42DDFA5A-9180-4284-A53B-74A14199457D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815647c4e0d6c2b4c933367ff98b95f7ab155147","datavalue":{"value":"object ownership","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304565$451A76DE-13D1-4E0B-87AE-A5D17FDDD216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304565$C50C1123-8F25-4DC5-A935-D882412B5AA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$61819E32-88B2-4B00-8611-AB3E482009A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$441F6337-8B62-4360-8B76-E183862A2A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$998A3E4A-471F-4426-ADF7-C49BBED6299C","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":"Q2304565$1D8CFE83-2FB6-4999-B796-8B9319871172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dad4bd22df0abe4824acdfab6b12f6f20ffe8449","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.01.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2304565$4EC9EC41-EFBF-4B9E-9832-5BF54B0094A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b91a9ef8e8e5d8c65cf6d9bac6a1f9c95346dace","datavalue":{"value":"W3004640575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$3DF960CD-ADB9-4943-9241-4066177FF3F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c54e3d90acfdec681a7006adc819bc80c6c659","datavalue":{"value":{"entity-type":"item","numeric-id":3089393,"id":"Q3089393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$637D88AE-43BF-46C6-96F2-858375DEC6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$F1789151-D4D6-4520-9BBE-FEA484136BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab0a31c8342d15107b05f872c31b91cebb8a651","datavalue":{"value":{"entity-type":"item","numeric-id":4542552,"id":"Q4542552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$7D75E13B-D24D-42F4-B854-8FD3343A9B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$F5CD3230-CD2E-4CC3-B141-EE38460144B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b63214d8c693b70ebddda2cce1e37ea3246455d","datavalue":{"value":{"entity-type":"item","numeric-id":5900310,"id":"Q5900310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$3A6960A1-A549-4A76-96C2-FBBC0C833AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$9DA86BAA-8E1D-4C0E-8336-27547DECFD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed048245d39da8329792c893332f9ac9c6063220","datavalue":{"value":{"entity-type":"item","numeric-id":5466554,"id":"Q5466554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$511B61CE-AFF8-47C5-A5FC-26219AC54BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b203b75ed978178f4eef8f7b83855209f4d956b","datavalue":{"value":{"entity-type":"item","numeric-id":2722060,"id":"Q2722060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$D2B6BBB9-1D86-4C50-BCDC-B3BAB7313923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf7bc94ede2a12bc9ffb0985b257640ae4e1fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1887147,"id":"Q1887147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$A436E55F-DBF6-4A8B-8D0B-474398334811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0a280284fb94c218ae4de7c9e272de0ae70429","datavalue":{"value":{"entity-type":"item","numeric-id":4365943,"id":"Q4365943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304565$3FD7329A-5543-4572-BA95-6BD28A425404","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a51aa6b619bbb8bbf66b3797a77356815d233c83","datavalue":{"value":"10.1016/J.TCS.2020.01.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304565$BB544245-A50B-40E4-974A-2896FB790FF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de737960439c9c6a816f6fccaec93679d0a3355","datavalue":{"value":{"entity-type":"item","numeric-id":3089393,"id":"Q3089393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efffcbfaf7a6e12ebc3e5d1615b6956a842e5eaf","datavalue":{"value":{"amount":"+0.7240234017372131","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":"Q2304565$870E2E0F-6A99-4612-82C7-F66A931F9E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37d6b0fcdc4b4e1fa3abe610f2173b564153209","datavalue":{"value":{"entity-type":"item","numeric-id":1605226,"id":"Q1605226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d468e83bf878e15f602798d45bc3a025839005","datavalue":{"value":{"amount":"+0.6830392479896545","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":"Q2304565$AF3CC04F-745E-49CE-91D7-A537C1D44613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf035e9d36c2d71fcd8ce4ce446aadfe916a019","datavalue":{"value":{"entity-type":"item","numeric-id":5466554,"id":"Q5466554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25185b69eeed5c26b4e65def062da97a3cd68c19","datavalue":{"value":{"amount":"+0.6813746690750122","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":"Q2304565$D348B818-A4EE-4082-87BC-59EC199CF018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45881912826a6e9fb8bc11580af75c6f7fd9fe9","datavalue":{"value":{"entity-type":"item","numeric-id":1640983,"id":"Q1640983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c5ce30b007ec0cc726d63423ccd00f9d7caecb","datavalue":{"value":{"amount":"+0.6727275848388672","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":"Q2304565$897B2BBE-FA5C-43C9-8EF1-B8AC4CA1E07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eea353e0db3c4a9c6271e40563adb65a914c93","datavalue":{"value":{"entity-type":"item","numeric-id":2736357,"id":"Q2736357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b685021ebebe35c33e28662f8b50181c2c5bac","datavalue":{"value":{"amount":"+0.6707780361175537","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":"Q2304565$E7345045-B796-4DBE-ABC0-093070F58E6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2304565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2304565"}}}}}