{"entities":{"Q2474443":{"pageid":2485186,"ns":120,"title":"Item:Q2474443","lastrevid":78721973,"modified":"2026-05-06T12:17:01Z","type":"item","id":"Q2474443","labels":{"en":{"language":"en","value":"Second-order type isomorphisms through game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5243674"}},"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":"Q2474443$69E3891C-C78A-4C4A-9CA9-445848614B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19c424edd2ef8133b1d70bb083b182e8f7dd0612","datavalue":{"value":{"text":"Second-order type isomorphisms through game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474443$95098F92-84BF-467B-A64B-BD20EC250A7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da202d112831e270156c91a7e6d435b75e8994b4","datavalue":{"value":"1136.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$4F8CB530-A7F4-4454-BE52-F404AD09CF33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a8bcabfa0f4733d87c909f8af2a4437b901b1a","datavalue":{"value":{"entity-type":"item","numeric-id":2474442,"id":"Q2474442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$0DFF7D58-F18E-4F8C-BBF4-FDEB5148E5B1","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":"Q2474443$4603029E-7537-4823-8880-0DFF98DE14B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474443$E6DB29ED-5E4F-439B-AA55-98587F483CBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$E846C27D-1B7D-4FD9-96C4-658814DAD6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$F59A4B69-1E0C-4CB0-9E4C-34D1A7C7B871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$959E4CE2-70EF-41A0-94A9-4FA2245036F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$306F7E7C-6AD9-4AA7-89D8-AF00EF9702D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$38E0401E-8314-4808-8B75-21DD9FCC65C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8b21afe7c63ae255993432408d4abaec4dc889a","datavalue":{"value":"5243674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$0F4FBB7D-134B-43AA-987D-5D3331C90C5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f558ad8503ca74c243aa26f9af84ddd1f8beb33","datavalue":{"value":"type isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474443$3290CB1A-5EAF-42BC-853A-49B5F4B9D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53283b67feff904a15de22b827688d44b778a704","datavalue":{"value":"second-order \\(\\lambda \\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474443$1C1F0ACF-B997-4440-927C-1E8B52E22D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474443$42FC8974-514D-45F2-9704-817C8D7BC760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb9588b3cf099e559906225d0623d18b43b25ac","datavalue":{"value":"hyperdoctrines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474443$9A39841C-375B-40C0-8CDB-1FFB792ECBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a202fc1065c0ed8cb1361bbb5d0192a0f6a132d","datavalue":{"value":"control categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474443$CFFBD8D0-2ED0-4E92-B2E6-579AD3E38021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414aa07ab328e74a6b55ea52451d59a5f6b3ed41","datavalue":{"value":"polymorphic arenas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474443$8513B97B-2C63-4BFF-A2C4-FB8C35A2939C","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":"Q2474443$B098F873-C1F2-47F6-9FCF-991AA95AFC58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60d9b94e25fce199cb3ac7c81e572c3d65bba9dc","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474443$32E50501-771A-4232-AEEB-37C6629A3B6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bde71d55a5a3ba8c230521b5fba90ff8d0d2aad1","datavalue":{"value":"W2136510622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$5B5211A8-4675-4C7B-8E05-7C7661C95684","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f07d256e29e7862cb25b7a7f54ce23493fa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":4417848,"id":"Q4417848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$DFF6883F-8410-4B59-917C-77F9278C80DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$EE8D9EC2-3681-4264-BC78-1C347EA5B3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa47c2b0855dbdfacffce47bc2ab6416235baa3","datavalue":{"value":{"entity-type":"item","numeric-id":1575874,"id":"Q1575874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$92A892BE-872E-44BD-BBEC-F88283EB1679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd91fe16bf6787b38a2cfa6e724a7fcabfd5b080","datavalue":{"value":{"entity-type":"item","numeric-id":2769425,"id":"Q2769425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$2873A672-EDDC-43EE-B976-7C86691FFAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bb2a4f0603188267aa3fd0208ee45953e029cb","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$17F17776-89C5-49BE-9CEA-37AEE9B174E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$3743981B-6A6C-4432-8817-72ED21A34C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a555efbcb8ee5debd564ac69bbdcf0962123271b","datavalue":{"value":{"entity-type":"item","numeric-id":276476,"id":"Q276476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$EA54D1C5-A1C3-4E31-B2E0-104C7F15648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb5be6306cf75bedc164f0c0f1f29b86599eff4","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$0E2F0CE9-861D-4CD9-BF83-1D2CC27F9AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$40C759A2-C27A-48EF-9AC4-558425A3FEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e35a3a05743b1cf395d00f1d531de0ad75c8e35","datavalue":{"value":{"entity-type":"item","numeric-id":2778832,"id":"Q2778832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$BFB3FCF8-140C-4A09-92C7-403F0C3AE5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$55F1644D-DF96-4117-ACDE-98CEDB20C04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa66c380e0e27b3687751807179bec684e48c71","datavalue":{"value":{"entity-type":"item","numeric-id":2778834,"id":"Q2778834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$DA4A57AD-E01B-4B6F-80FE-81BA03812428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$10A1043D-FFAF-459B-A5D0-29BB447C5C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$B7214BF9-2EE8-4873-AC0E-FCF9F3813189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730ba20c9991a2568e17ae9a2be1ca0275d298e","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$544EB015-3A55-496A-8B53-976C1496B2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$D4133B1D-5062-4430-8985-ACB84473E3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$AE05B079-44D3-4997-B30F-14C1290466FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2db2ba829b037cf2efb18b93f4aa34513a9246","datavalue":{"value":{"entity-type":"item","numeric-id":1838563,"id":"Q1838563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474443$4F5C0A1F-9486-42D0-8858-6AB5AAC7581C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd97c1134e58d30de9de0d75675aac95b7cdc189","datavalue":{"value":"10.1016/J.APAL.2007.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474443$E3526F85-5438-45C1-9446-CBC5E0D47D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6577df3ebb9387f7398fadc4d509e217c2c238e8","datavalue":{"value":{"entity-type":"item","numeric-id":3520148,"id":"Q3520148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7265e4bd8ad6009e7f3dc0828fc62c5c6407ee","datavalue":{"value":{"amount":"+0.8151138424873352","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":"Q2474443$FE45EAA3-CC7F-4430-80E7-524BCD139598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7bc6bc7524c42e30264621031df737b303646a","datavalue":{"value":{"entity-type":"item","numeric-id":2904625,"id":"Q2904625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e72498c318e1a987fe3883f8ac1ca9c84e4ac3","datavalue":{"value":{"amount":"+0.7967360019683838","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":"Q2474443$F81C1ECE-AB09-4ABE-BE96-2424F7AEE2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4100a26ede17f3cee25ab86916e0babdd41f8e","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72316491a5ad72436d01ece51b65d80306556bbc","datavalue":{"value":{"amount":"+0.7771158814430237","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":"Q2474443$10590B3D-15FD-48F5-829F-08E2EC251581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc04a9ccbd9afff3043d7e8e5262fe9f64f512e2","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c8a91d77e7586749f63c209c4fd0099c9e4122","datavalue":{"value":{"amount":"+0.7669878005981445","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":"Q2474443$52665D32-E080-4AF6-9A29-1F725CA20BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5dc9c700e5d32ebe61475ed786cd2de5baa7d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1893735,"id":"Q1893735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c36127fbbb53d16dcb1753d758c55c8dc847a3","datavalue":{"value":{"amount":"+0.7542077302932739","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":"Q2474443$B3BFEC15-A585-4C57-8076-2967B805E8C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Second-order type isomorphisms through game semantics","badges":[]}}}}}