{"entities":{"Q6190409":{"pageid":13325297,"ns":120,"title":"Item:Q6190409","lastrevid":58753371,"modified":"2026-04-06T14:35:05Z","type":"item","id":"Q6190409","labels":{"en":{"language":"en","value":"Game semantics of Martin-L\u00f6f type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813361"}},"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":"Q6190409$DCEC013F-5841-4F4A-B597-89C8A3CE3C9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e85ceaa0238d244faff4563d0d4c2e753fb517f0","datavalue":{"value":{"text":"Game semantics of Martin-L\u00f6f type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6190409$D613EDFE-420A-49F8-A3B6-641E33F02C26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e220dec6ad3c8a638aec934f54a230203d647d","datavalue":{"value":{"entity-type":"item","numeric-id":2319853,"id":"Q2319853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$1D3EDCDA-2E65-4E04-A53C-4C25AECC99DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$24C873EB-094E-4832-9445-AE2D9B53C3F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6190409$DF2A2FEA-F38D-4DD6-9585-40C9875A291D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d39cd790c37c8db386ebfc6eb58e3e8435df618","datavalue":{"value":"https://arxiv.org/abs/1905.00993","type":"string"},"datatype":"url"},"type":"statement","id":"Q6190409$1C8805DD-FE03-41CD-9A53-4884B9C93ED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190409$E847F733-466C-480F-BA4E-EEBFD8319BB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b00a910e085d58f20db6f19369da842bbe7edfbb","datavalue":{"value":"7813361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190409$2EE1BD99-4660-4481-8851-186639122974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190409$BC068EDF-A9B0-4AF5-8400-00B08E73279D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190409$758FD9A0-6CEF-41FE-AA8A-941C651D1181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190409$F4DDA320-17CA-4EEC-96DA-98D40BF6566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190409$CEE70BDD-04BF-4E37-8892-369C910375D7","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":"Q6190409$67775699-C8ED-4807-9BC9-89BF876C5A4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7f79dd9177e1d64d21e003dbc36ab810163cc0","datavalue":{"value":{"entity-type":"item","numeric-id":4823132,"id":"Q4823132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$EB3B5EEF-D828-471B-AFB5-24B41B273FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d853ad60931fa02460b597161b5a10b9b84ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4225147,"id":"Q4225147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$6528AEDB-64BD-448D-B204-467FF9B2C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$9E490B95-835E-4263-B378-6FF95361534F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1122bc32db5efae3e398837caf67b0f34fe3b04c","datavalue":{"value":{"entity-type":"item","numeric-id":1772770,"id":"Q1772770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$67F3FC82-81A0-4DEF-AB53-620AB016D515","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":"Q6190409$789F66A8-3845-4170-AAB6-9D3346F73631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6485790057b977dd81f219b542fb2386993674ea","datavalue":{"value":{"entity-type":"item","numeric-id":3449463,"id":"Q3449463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$3320E678-687B-422D-BC13-2BA2D1F29D02","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":"Q6190409$871F1289-4D7F-4B68-82E8-492FF4BA225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6750f6506709128140651597cac933c856e092f2","datavalue":{"value":{"entity-type":"item","numeric-id":4263830,"id":"Q4263830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$BA01F25E-0FD8-43D4-A860-AF99D1E223D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$973DE1DE-7DED-4646-A16E-111C632874A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$A59ED87E-AABB-4B17-B409-D1E4C21D5167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$92EA2E95-0299-4FE6-ADE1-47E52986E9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9932de796ece226202d147e459e36e728e6b3418","datavalue":{"value":{"entity-type":"item","numeric-id":5145281,"id":"Q5145281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$02E4AA7B-AD97-49F2-8059-711C3BE82568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e855228292779b4203bd15443a2ad99c5c33","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$B3CE69CB-CFCD-4547-ACD4-FA4972B8B89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541ba2898e108a74ef762296455b484046d1953a","datavalue":{"value":{"entity-type":"item","numeric-id":636307,"id":"Q636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$A52BBBC0-6D7B-426B-B664-D3AFF0B0DB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$AA61B854-323A-4F3D-81D4-4DDEEC4C6013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea36e2b3b0a67b6e2dbac1ab770fc0f0e1ee548","datavalue":{"value":{"entity-type":"item","numeric-id":4236200,"id":"Q4236200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$AC1213CB-21B2-4D97-8962-48985B2B985D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$8BE99093-66D9-4418-BD6A-9B6BB3FE0AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$37F5EBD0-4D7E-469C-B5D8-A20E777FFFAD","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":"Q6190409$BEB589DD-0A04-440C-932E-E9640F240F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$F632739F-9C58-4041-BD2B-DEC084415DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$41CA0BA6-BB3A-412E-A7D1-AC8A31E77A43","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":"Q6190409$693C0646-6DA8-492F-834C-BD4B268D8841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9855fb0dec792706c6a7c15ba8556e83763d04","datavalue":{"value":{"entity-type":"item","numeric-id":5395726,"id":"Q5395726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$C5FFC311-2932-41B3-8B9E-B56500066A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ae8e6e79a0d50ab895aaa6eaf4450e80854073","datavalue":{"value":{"entity-type":"item","numeric-id":5367048,"id":"Q5367048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$A90A4F13-E952-450F-9A7A-0CE2F9B9D164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$4014129E-466D-484C-899B-82BDD77BD284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1d8d1db407a3c808a8dfe6a8cdffd64d3b3560","datavalue":{"value":{"entity-type":"item","numeric-id":4231031,"id":"Q4231031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$2AA8E632-E603-41D2-89C9-D91C81F05F3A","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":"Q6190409$81491240-D33E-49BE-8AA8-7F6D84A9CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6956a12199d710944333687ed9f973870967e27d","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$FFB4726B-A47B-4B26-86DB-32C3554A7117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$74C2BA46-12C4-415E-94D1-E3D68BBB54BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$5C7DB171-030E-4478-A982-D736F1064BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$96A319DC-DB4E-4880-879A-DAC3AB391B37","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":"Q6190409$B4D06E17-0DC1-4739-A7E5-C33A333328B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$31C98C48-1F20-4833-9F3F-E41A687FFDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$2BE073FE-C78B-4D57-947A-3D2F146687B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$5C534B77-6DA9-42D1-937F-4120767A36E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e03b863f632a7a631ec5bc5665bfae7a35c12d","datavalue":{"value":{"entity-type":"item","numeric-id":2319854,"id":"Q2319854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190409$4F5445DC-9208-49C3-855B-3C10C7946F78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aec472f730e2413ab4216338cd568ce04e7c95a9","datavalue":{"value":"10.1017/S0960129523000154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190409$BCA7E420-5DB4-4C1D-B946-9FE1725D4353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6190409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6190409"}}}}}