{"entities":{"Q1302292":{"pageid":1313042,"ns":120,"title":"Item:Q1302292","lastrevid":67324803,"modified":"2026-04-12T16:52:00Z","type":"item","id":"Q1302292","labels":{"en":{"language":"en","value":"Typability and type checking in System F are equivalent and undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340811"}},"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":"Q1302292$4C76912C-CC32-4F75-9E01-77681782FC03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2254c629e0109e39b2d1e4f2fcb491692760cfb","datavalue":{"value":{"text":"Typability and type checking in System F are equivalent and undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1302292$DB0385F9-7EB8-49D8-BBA8-628FFB8069AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0193f0bcadb8df10be198b4f1269bfff2e4bf1c8","datavalue":{"value":"0932.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302292$AFD8F43B-8472-46F0-9D18-E5CF465FF109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7a029fb443e496aeb76e0834ba2d390b2839c5e","datavalue":{"value":"10.1016/S0168-0072(98)00047-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302292$3A03008D-077C-4B0A-975B-DA1A96DA3BD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$DF8E94C5-8949-41EE-AE68-8A55DFB997CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$2FA6F4D0-FE77-4926-87B9-511DE620D931","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1302292$2FB6417D-8457-4C27-95BD-7DA72C174EED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302292$26527B39-FE2E-4F6F-8D71-10FD137D3B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302292$5B3FDA3E-1487-4E44-B880-E73EEE750864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e808de8c3b6a8a9fd44dc0bfd4b1e785ef9cd893","datavalue":{"value":"1340811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302292$789274D1-B217-4F7B-A6FC-AAA5A1A95CFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302292$6D943147-601A-472B-9CD5-5B82C6BC1510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302292$0325DAD2-4140-4F56-B14B-E3A62286777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e25d0eb671f993b8a0f3ec9329ef016770f13e7","datavalue":{"value":"second-order polymorphically typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302292$DFF328D3-5664-4F3D-A1BB-AD368716FE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302292$8FA4CD94-DEF6-4E0F-9B0D-84DDB73BA071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302292$6EA90E96-7D2B-4155-B62F-643F0D87DD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302292$A090B005-8D15-4F37-B355-2E745D143E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0086f482dc0b62f859c14a0c4ebace3e23acdb","datavalue":{"value":"semi-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302292$35B21EC7-2066-4A14-8CF3-CB68F43D9A59","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":"Q1302292$979DAD5C-D0C3-4319-975D-E017FD77212A","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":"Q1302292$8493B054-8C2A-4B95-A525-DC27C02B2826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$D257E03B-1E2F-4316-8770-730FE8B3D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$E4D47C80-A3FE-4D81-8B79-F283C994A9E1","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":"Q1302292$6B956318-0BAE-4EFF-A44F-9E9761F39AE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$22C5AC39-916D-4591-8B81-C93F2244CBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$C48533D0-6A19-451B-AFDE-7E11A3627FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a617080dd13aff3798a44628b7edcbf9f79a272e","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$E09CD9AB-CC4C-421A-A453-5481FB2DF678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$8FF18B0D-074A-480D-B34C-4685D73235E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$BA0A95A2-D35E-48FC-B84F-E3DB23B1D382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5dfcf06b68520fe158081210cee996d3afdc6c","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$0E4AD54A-AEBF-42A7-AA00-57672EADC32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a296e4694aa610dffe1a4fe63311a668445f0c","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$29371D3F-1AB6-4F57-AEE5-5E09EAAC55E0","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":"Q1302292$17FA9B2C-2744-45EA-8CA5-7BC6559408D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42317f55750900e19060b84bbe48865f9d2335fe","datavalue":{"value":{"entity-type":"item","numeric-id":5559248,"id":"Q5559248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$22A34385-8933-4432-996F-3BEB485BFA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7fd6b76c425a1eddd71b188c06c1fb381f0159","datavalue":{"value":{"entity-type":"item","numeric-id":1193590,"id":"Q1193590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$C7E0FA56-BC34-451C-9651-497FA9567D59","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":"Q1302292$576315B6-8E35-4B58-B4C0-62540F7682F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$6BAC8D70-5834-4911-B29C-09D7C0C30680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4714151d6433009295b091bf40040bb50712ffb3","datavalue":{"value":{"entity-type":"item","numeric-id":1175334,"id":"Q1175334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$CD0096FE-45DE-48FA-923C-CE6F9A035910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5563cb636be982d7a10c0cf19bddc6eed54527cf","datavalue":{"value":{"entity-type":"item","numeric-id":3702495,"id":"Q3702495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$2BC736F2-3D29-40DE-B883-D3A229D19E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$C3F4ED54-89CB-4AC2-875B-E5C3A4526FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$21705275-E8A5-4369-B9EA-4B527F61F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e52b34e7a0a27283722efee4ee82ccc7985125","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$B235F45B-33CE-461F-B40D-2D7BC92214BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$3D53BEF0-98E9-4935-B8D9-F24EE02CD977","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":"Q1302292$466FCF10-1E80-4652-AE8C-31BE1E764947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$C6DA5412-90A4-4338-9F60-54C085B196AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf87038ff985fc2be33ab77ac1a3f460e07ea6f","datavalue":{"value":{"entity-type":"item","numeric-id":1400717,"id":"Q1400717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$D5D81BB5-695C-4361-A14E-ED05597C2228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$B6538589-4387-4021-8D37-D5243CC0F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e568b85d2406ebc28d3afbc3e86804d63d2e2231","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$820DAEA2-7FB0-4E7E-B4B8-0D217DF37048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f561b3a5170b35604b39b40a80e1bb80a46763f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281489,"id":"Q4281489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$E5F49F11-5195-45C5-8AC3-E12EB7D56ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e943059f11e6052ed511d609da082d75ab2cddfb","datavalue":{"value":{"entity-type":"item","numeric-id":4347376,"id":"Q4347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$1609467B-02C5-4947-A83E-57DDB9972B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302292$1D222213-6EA9-4402-AFC4-004C2E9B45E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff30d0d30f9664fc19a9db65fe235c61fdd7274d","datavalue":{"value":{"entity-type":"item","numeric-id":5389138,"id":"Q5389138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716cdb8018384f2e5b9b65404298c6793a37d362","datavalue":{"value":{"amount":"+0.868330180644989","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":"Q1302292$73A10FA5-D441-4EF7-BDFE-469DE543AF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3092969ca9643ca76d6fb233e82cb29400a6fd8c","datavalue":{"value":{"entity-type":"item","numeric-id":690505,"id":"Q690505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0572ebcc564a9cc1aee846cd234c0be043dacf","datavalue":{"value":{"amount":"+0.8523758053779602","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":"Q1302292$AF3B0C29-A835-4667-A1D8-CF3EDB019394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcaaf9b9a706a03db27bbbbe132deaf3aedd0d50","datavalue":{"value":{"entity-type":"item","numeric-id":1400717,"id":"Q1400717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d62140b3054096e5195f459bdf6eaa2d92e3ad","datavalue":{"value":{"amount":"+0.8369743227958679","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":"Q1302292$89009042-5C92-4BE2-8B3B-2565DCB3B445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e459fcce0891d3f978d9a97ead5e1d9d881edd5d","datavalue":{"value":{"entity-type":"item","numeric-id":655411,"id":"Q655411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6cdbcf5967f07417b4f49af7ebc54bfb2283cb","datavalue":{"value":{"amount":"+0.8331562876701355","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":"Q1302292$F3A6D42A-D358-408B-9606-B1E0F77B91C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653be8663f5a7e6d0c4c6a727275cb039cfeda99","datavalue":{"value":{"entity-type":"item","numeric-id":4281489,"id":"Q4281489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed919c9622d7455ae0f30aaece43dda15539e15","datavalue":{"value":{"amount":"+0.8265307545661926","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":"Q1302292$240B126E-0715-404A-A408-58849BF91F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typability and type checking in System F are equivalent and undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typability_and_type_checking_in_System_F_are_equivalent_and_undecidable"}}}}}