{"entities":{"Q690505":{"pageid":692354,"ns":120,"title":"Item:Q690505","lastrevid":63650850,"modified":"2026-04-11T14:36:59Z","type":"item","id":"Q690505","labels":{"en":{"language":"en","value":"The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110713"}},"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":"Q690505$B2C10E08-F267-4B2E-ACCB-52B5EA4D6079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1009ef2e8940b808f5327f59a855fc6346600a2f","datavalue":{"value":{"text":"The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690505$D8ECEEE3-71AC-477E-8D5F-88CC53FBEA8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"298ababd013c0e21477b2f19d52fe5eab403f174","datavalue":{"value":"1283.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690505$9E46BFE2-CE1D-4D43-80BF-83EEEF7D6D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$5F668971-3037-4C06-9CBA-CEEAAD168C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$1E4CAF0D-4145-4E23-8C01-257000768CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$BFCBC99D-0F68-485C-A7FF-013555E968EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e36ecb600c934bbc19d79b7ffc96af390338f1","datavalue":{"value":{"time":"+2012-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690505$025409B0-9294-4BD7-8DA3-54EE5E18213C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690505$84E33F23-A73A-4A5B-9471-56160F15A32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690505$22235AAE-1E1C-405C-B529-D06A32BFD2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690505$1A5ED07C-39ED-4055-8DD7-3C6A353E90B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ed671bb080ca5513a347f90fbdc91225ea4e3a0","datavalue":{"value":"6110713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690505$A990821B-1C88-4119-9543-2A0BA0E5D202","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$8B0BAD5F-99A8-48D9-B90E-21E17D52D84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$F474FFA2-762F-4FA8-81FF-76204FB84501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bbddc1c0f5074c387b924f8c32251dc2410327b","datavalue":{"value":"partial type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$55E544E9-5BEB-4FC0-AEDF-4DF2AFE763FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2e46beed5ba96220d06926ed1c2376b067793","datavalue":{"value":"second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$C7B177D7-1EAF-4F17-AF72-60BBDC8E6A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$D2AB00BA-0ADE-40A7-9CC6-0370A7205F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f2c0b20f080fc56375fab4e92da53d287ee29b","datavalue":{"value":"Curry-style type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$9836C62F-CB95-4640-A1D8-F0650915A9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361e8a7ead95547f8df39da9668ee48e6f78ceb4","datavalue":{"value":"Church-style type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$52A45EAB-3266-4A05-9EE4-F8FE1F3F3CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7a18704a1837f386a17b38c2cb774b3bca50fb","datavalue":{"value":"finitely stratified polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$78CB327E-BBAF-432A-AF25-33A9C981D574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q690505$277AE600-1C8B-4C26-B0C9-E7ADDD5FB884","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":"Q690505$E510A726-1166-41E4-9895-3DAE016450F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9123712f79e32e6d2bb243209659482daf58af82","datavalue":{"value":"https://doi.org/10.1016/j.ic.2012.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q690505$58492510-3885-4DF6-8868-97C685633831","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e21c629ea9046202f7021964cb164b92ad63cb60","datavalue":{"value":"W2081779849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690505$5D5F8708-CB76-4A95-B71D-C113AE2652B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a32c7af6cf72d9672a4ac24b0520c7f871f3d","datavalue":{"value":{"entity-type":"item","numeric-id":4536445,"id":"Q4536445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$465EBFA5-A626-4F5A-A5C4-290344B2760C","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":"Q690505$2CE2F3C9-F56B-4F2B-AB96-2777B8202ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff418d95b7bb6ba972b96c705625126cc05f715","datavalue":{"value":{"entity-type":"item","numeric-id":1125574,"id":"Q1125574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$D701A03B-8B96-47BB-9332-6A0BE9A3252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89ddbcbedbc2944384a44feb02b02519cd3b018","datavalue":{"value":{"entity-type":"item","numeric-id":2729625,"id":"Q2729625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$797AA535-6E41-4D17-ABA3-76140308EAA0","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":"Q690505$D1AA026B-9985-4360-B96A-F46C705264BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bb26f80db37b9b4d2cbcccb135ebaceaff472c","datavalue":{"value":{"entity-type":"item","numeric-id":4027630,"id":"Q4027630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$8C7F2E0F-F55C-4CED-A976-4A4E050249D8","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":"Q690505$52FE4158-DA11-49E1-8BFC-0BF532E7B0A9","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":"Q690505$D621C538-1298-40B8-9DE4-515C8902DE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541254ee552cead13f9a145f7bbe983c79b261cc","datavalue":{"value":{"entity-type":"item","numeric-id":5389138,"id":"Q5389138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$CCA7DF4C-E923-415F-AC03-163DD2CE737F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6d5c789d5e0a364a81bb6cd684d9bfca368884","datavalue":{"value":{"entity-type":"item","numeric-id":1322476,"id":"Q1322476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$22D7790F-0970-4202-AC80-87CD751A9A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46a04e996c6df68383cf21cf28b6b33c55e278d","datavalue":{"value":{"entity-type":"item","numeric-id":3637189,"id":"Q3637189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$6493F817-79EB-43E4-8F0D-067610E92BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8caa09a60c3aeb17e2393b554fb25feed262f4d","datavalue":{"value":{"entity-type":"item","numeric-id":402117,"id":"Q402117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$FBF70535-AD0A-45A3-8B53-D1BE54D78989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34229a941aa42447cd668aa866cb41e2c57967b7","datavalue":{"value":{"entity-type":"item","numeric-id":2277244,"id":"Q2277244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$BBD33A92-5644-4376-965D-3B0DA146A599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0daad49a65c93609568ffc0fd3faf6b98b22e8","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$0759D2F7-1904-42F1-9D3F-152CBA026A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$DB144C26-A3FC-45FF-B948-8DE343306807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$63560398-2BA4-4D34-AF60-97F1D944AD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5584693b565a61f331fe670971b2a9e8c0689c28","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690505$2AF55A34-1435-403E-8D56-BE959EE5BAB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f3df63073ec4372734186bfe84e260e3a5ce6a9","datavalue":{"value":"10.1016/J.IC.2012.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690505$F862ACFB-1F3F-41C3-9902-942DF7BC7DE5","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":"21da44477161ba7cd503d424149698f2bd0f740e","datavalue":{"value":{"amount":"+0.9602733850479126","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":"Q690505$FEBF78ED-FC98-40FC-BC5D-AB6B40F47AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc5fc02249d7fe072d2dfa32926af06efc19c9","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"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":"Q690505$309B2F0A-1F73-4F29-9D34-FBC942DD9C2F","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":"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":"Q690505$9750A2F9-88EC-4BFA-97C9-C4D21AF96CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22719a175f93a22936d890d82dadc9c6624c3950","datavalue":{"value":{"entity-type":"item","numeric-id":2958384,"id":"Q2958384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1f36e97c60ed1681b58cb97ce0c6187db1214c","datavalue":{"value":{"amount":"+0.8055516481399536","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":"Q690505$F9B2E545-C745-48FF-BC75-3B92A310F583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d2df76a741cf581e954cfda428b2466142500","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebadd0979b8a93e71b2974608ffc0398e1b6ed8","datavalue":{"value":{"amount":"+0.8006213903427124","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":"Q690505$C06F5262-D1F6-43CD-B9A7-FFDCCC04F7D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_type_related_problems_in_the_type-free_style_System_F_with_finitely_stratified_polymorphic_types"}}}}}