{"entities":{"Q6535241":{"pageid":14146384,"ns":120,"title":"Item:Q6535241","lastrevid":57343947,"modified":"2026-03-30T14:05:50Z","type":"item","id":"Q6535241","labels":{"en":{"language":"en","value":"Contextual modal type theory with polymorphic contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770319"}},"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":"Q6535241$CADAA06C-DD72-4CF0-A6BB-1F07889AB3B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46819ba341f53ac6f9fc9b9e57061ad5784440e9","datavalue":{"value":{"text":"Contextual modal type theory with polymorphic contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535241$AF154050-3BD9-4892-A3FA-CD21C1161646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4d4f5e6c03b0e6e693eec77a8e85613a7d00b70","datavalue":{"value":"1541.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535241$AC79AB9F-DFDA-4CBE-9392-0D894AD1E173","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fefa3472f8e3a61b149b26d5fdc4c5309c3b308e","datavalue":{"value":"10.1007/978-3-031-30044-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535241$60C0EA19-6097-4CFF-A646-0313B2614626","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05dd775f2bc35e0f3036c2ceb71add882cc8c44d","datavalue":{"value":{"entity-type":"item","numeric-id":2134834,"id":"Q2134834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$02DF5537-A326-4EEF-B318-005CDAD15E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"facb3889f10781a1b49ac7fee7c8c4aa34712453","datavalue":{"value":{"entity-type":"item","numeric-id":2134833,"id":"Q2134833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$FBC92A91-0A79-4D2F-A666-6DCF19F9165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$5BD9B90A-7655-4013-8AAF-E817D0A11FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535241$B1593B90-7F7C-4879-ADBC-D89097A9E6F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535241$D165FD5D-9BA0-4E35-BEB9-42305EA082F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535241$F541DA8C-DDFB-4F25-8F1C-1FE7E1C515C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535241$6B3DB43D-4E51-4DEE-8246-09557CF86BB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae37643163705cb2d88cfa2f5425777a1e358a58","datavalue":{"value":"7770319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535241$A43AA7A3-6D46-43D1-8A45-59B0F7142B89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a937437dc4ec9f508f56db33d2542ce1b58334d7","datavalue":{"value":"contextual modal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535241$21A4A961-DDB1-4F2C-811C-36FF5C4D9E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3df333418a0379307f228a4f6a8ffbd64c80775","datavalue":{"value":"Fitch-style modal lambda-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535241$EA76059F-58D7-46C3-98FE-EB9BA094A8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329d09641862ba8331cecdfb9962e139d99ecf56","datavalue":{"value":"metaprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535241$D1D68263-0D6A-4220-A9F1-E83EB61644F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b4ff0ddcfe263ff01db433fcdc25739d5c7c32","datavalue":{"value":"polymorphic contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535241$BBF9076A-E00B-4B34-919D-8B8F82D51D71","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":"Q6535241$1E6271ED-A1E2-4A15-84C5-B834CC48010A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c432b3a8443ac3dad31e1654e01a0bf43e1fac","datavalue":{"value":{"entity-type":"item","numeric-id":4315015,"id":"Q4315015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$E0EFC81D-65BF-46DD-9F8A-8308BD6F4184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e71729ea20b25ac29e78246550bb4c8ab42ed4d","datavalue":{"value":{"entity-type":"item","numeric-id":1652988,"id":"Q1652988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$7BB19785-DFFA-42C9-A233-306B33E1C9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5166b17f4c3bc56240a69096dcffdd2ee6438c83","datavalue":{"value":{"entity-type":"item","numeric-id":3177881,"id":"Q3177881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$8022109A-8AD2-49E4-B97B-EBF4BF419735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$525D7B9B-8E40-4C35-B329-C3E88F69CE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da497f1f0460990193384f4006c4d90402fcc4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5177999,"id":"Q5177999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$3084EF90-988D-4BB7-91E8-1228A131894C","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":"Q6535241$0561ED0A-474D-4401-9412-E5C63AFACB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9ef798e3ca8ce1bee688f2fa85b74a55e80258","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$E313C4E5-3AC7-4D46-BFD8-E794B4441FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d41812deaf69456c0e5da9ef36ff2973a5950b","datavalue":{"value":{"entity-type":"item","numeric-id":5348928,"id":"Q5348928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$076598BC-AD8B-4CAF-A5A5-4C8C6E95B634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9575a0061ce76bb58c28cffb64b86dfff6ec32b6","datavalue":{"value":{"entity-type":"item","numeric-id":3179298,"id":"Q3179298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$A9E5254D-D531-43B9-8705-23973BD91E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$6F5CB82E-FAEE-4900-B4B0-2AF044560761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6100d8dc18ac3a6066df8e7761c27fb4ab6d21","datavalue":{"value":{"entity-type":"item","numeric-id":5708289,"id":"Q5708289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$26E97E0E-D157-4C69-80A1-DCFBB4629374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$4E11BDCA-BD7B-4820-B000-7C2D123D56ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$AD0AEE50-1FF3-48B1-8DC3-C406D8C18DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$1DC676B8-841F-4FF0-9578-A5451E954475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b1ed24dc50793e308079ef8e2bfc8aa15ae2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617692,"id":"Q3617692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$ED696D9F-7EBD-40E9-B9C4-D51548370217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6bf6f000473c52bc0df33511c1ecd5cbb08027","datavalue":{"value":{"entity-type":"item","numeric-id":2892751,"id":"Q2892751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$293943C2-91FE-4BB5-B256-493ED8389B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$052DEC15-946C-48FF-A502-D3DB8F5DF33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f361a4164fce3060765f526c66becf8221bf05db","datavalue":{"value":{"entity-type":"item","numeric-id":5176952,"id":"Q5176952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$78078F3B-2EE0-44BD-93FD-8651AA45F241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a185365ea304676a668d997c851ad5b7001286f","datavalue":{"value":{"entity-type":"item","numeric-id":2942909,"id":"Q2942909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$156E1ACC-669A-4473-9E1D-3C71C1E75A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad140dba0e0d62853c16a3a3dbb366784e498da","datavalue":{"value":{"entity-type":"item","numeric-id":5894005,"id":"Q5894005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$EF7EAD3A-6327-4FB3-AE65-473CBC291016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eced500058b3c9bb361c015d2054a1a57aeb91b","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8bdbb3e0f750665bb8bfe49445989a772a6074","datavalue":{"value":{"amount":"+0.816615641117096","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":"Q6535241$28919F17-0B78-4181-BC34-EE38DA7EE275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca13e638c16cba1c2c97d16ab873d4d64ee9ca7","datavalue":{"value":{"entity-type":"item","numeric-id":1948284,"id":"Q1948284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4169e2fcbf97a32424f19ce2a3450fce55ac8587","datavalue":{"value":{"amount":"+0.7824975848197937","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":"Q6535241$4F281BD5-246E-4352-856E-10EF5FA4275A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c8a36b8cf95b30f9d5ee783a3172492925c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55f2138330ec4fb8243ab3563ca3283c28438b2","datavalue":{"value":{"amount":"+0.7426162362098694","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":"Q6535241$6B000508-6EFD-4A9D-BED3-D280EF9FF402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c287f1d3c408d1dd56255ecb6657690dd71ba6","datavalue":{"value":{"entity-type":"item","numeric-id":5416731,"id":"Q5416731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edffc2989296928c2f52d132c461bfde6ecfe6c","datavalue":{"value":{"amount":"+0.7406877279281616","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":"Q6535241$90449F2D-B5F1-43BC-B85A-6A63872D280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6506c95f8f9d728a0b4a3ac3172370130debeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":4925871,"id":"Q4925871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258529684311dd41a84b78fbbce048debe95c5d3","datavalue":{"value":{"amount":"+0.7397193908691406","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":"Q6535241$59009701-8192-41BA-B8F2-2D8DC71E92D7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535241$E8944D3F-6C60-41D4-AA63-F6CE8A600C18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535241"}}}}}