{"entities":{"Q1641014":{"pageid":1651755,"ns":120,"title":"Item:Q1641014","lastrevid":53117954,"modified":"2026-01-24T06:16:58Z","type":"item","id":"Q1641014","labels":{"en":{"language":"en","value":"Game semantics for dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889864"}},"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":"Q1641014$BD70FDBC-708C-4710-A148-0B3EE1363CD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6a540113946a4e6ae0d2aa2651daf8b52ba8f77","datavalue":{"value":{"text":"Game semantics for dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1641014$93B0D91C-1B11-411D-A47A-4D37E5594551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"670ed16302c587059631be213ba87bbffef82070","datavalue":{"value":"1395.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1641014$762A4AA6-CDB3-4A46-A90C-31837F0CBEAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c4ab2f85ec3a6c147a24b8fa181cc0bd032c75","datavalue":{"value":{"entity-type":"item","numeric-id":1641013,"id":"Q1641013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$A8336E6C-A8AC-4506-8FD8-253F41A849D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$7C50D807-1ECD-47C5-9D48-CB85620F12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$B0CBE4D5-4ECC-48A7-8A67-66F30A5277A7","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":"Q1641014$479623DC-3B2C-4217-8E84-0776427A5B55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1641014$5F32BCAD-1EC1-4604-B849-32E196346AB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a075548cce8ebec32dcbc34ab3859b9265b5c3ec","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:7ae51c14-9cc4-41f0-8a81-291f5e5682e4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1641014$232DD18B-3F22-4745-B2F5-0547D5527DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1641014$0A8E4222-F62E-4E42-AFF9-53682B19547E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1641014$F9A7F2FB-C5BB-4C02-86C3-93F04E660535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fccfafae9e406c23314854e6ab97cd91aab0982c","datavalue":{"value":"6889864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1641014$43DE52AE-B881-4D24-9765-4B5F2EE60848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1641014$3015ACE7-2E0B-47C9-80CC-CA5050FBE90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1641014$A76982DA-3F07-44E5-A6E3-FB66D5DD55E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9322e1c6fd25e8a806b81d0f77ba508ce12c0c","datavalue":{"value":"intensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1641014$9D8264A3-1132-4DC1-BB6E-2E472F9527FF","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":"Q1641014$6FDD150F-12A1-4C79-90F8-818C3FC85C30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d451557c970fdd0f5ba80b6997b380d6754d812","datavalue":{"value":"W2553266761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1641014$3A4E3A9F-C6FB-4254-B60A-3109D0D464B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93391c9a31d205275bf0eab933d685fb30c78b5","datavalue":{"value":{"entity-type":"item","numeric-id":3149006,"id":"Q3149006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$03CD90A5-1C75-48D3-A34B-D6360E044BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$06EBF93A-7EA7-479C-9AA8-0C7ECCB345ED","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":"Q1641014$B09BC963-8794-488A-BBC0-141C272E3506","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":"Q1641014$94C8BCEF-3C8B-42DC-BBD1-BFEC5C596DD3","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":"Q1641014$D961E0A0-9170-455D-BCFF-A9A0B9DB4DFC","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":"Q1641014$2544C960-4070-4BD2-8712-F4D762936FBE","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":"Q1641014$3D1C89A0-E335-4202-8BEE-91EB1D28C1F2","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":"Q1641014$5863B040-D7D3-458A-A505-E4F19F89EA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bd0ebb5ca7f1cb78884a9ce263e1bd5e6bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5738959,"id":"Q5738959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$4A5665BB-FD96-4041-AA22-0F3F0F28F5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$6E62E624-E3A7-4BA5-8DE5-593ED597CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb467bed52119c0876cb47453b6db6d9b6c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$4A49D3AD-96C8-4B6A-87EE-E5263A29C5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$6D58955A-263B-4B5E-9730-675F6A6363CA","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":"Q1641014$70933820-FFDF-454E-9B9A-B1742E0908D7","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":"Q1641014$95BC6FDD-2E24-44FF-9B09-32547D9971A5","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":"Q1641014$0B0E623B-0B3D-4EBA-A9B4-B02BD5D718F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$E3731520-562C-44E9-9041-95750D596F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$10E5D2A2-2F5F-49A3-AB5A-EAA3401D2D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$60766EB5-0279-47CE-8165-43326CC7A835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7b6faff42cc72d9e20b7c81c969d3049411ca1","datavalue":{"value":{"entity-type":"item","numeric-id":2805155,"id":"Q2805155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$0B249071-A046-41B4-AFA5-DCCF22504BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1375d9fcfe42e7891c55cc1977c75bca65ee4a05","datavalue":{"value":{"entity-type":"item","numeric-id":2948554,"id":"Q2948554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$D334992F-BF36-4895-BE5D-5917190A1C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c897e6a9a89ea70756387b3aa96963fee9d891e","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$FED77DD9-8CD8-417F-A054-567A9131DE77","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":"Q1641014$C4B7E36A-98E1-420A-B097-5AF181015E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102951b213f8d79ee3019575fb3b6a39fc73d353","datavalue":{"value":{"entity-type":"item","numeric-id":4870803,"id":"Q4870803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$C0986DCD-BA90-4069-8416-4746CEA6767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca5899cc29d9e26591c0bb964706a1571af7dea","datavalue":{"value":{"entity-type":"item","numeric-id":5704010,"id":"Q5704010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$B45C93FF-44B6-4AAC-8C69-F6347ABF4AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdc535713bd2a1bea0ebcab85559eb258068f92","datavalue":{"value":{"entity-type":"item","numeric-id":3617718,"id":"Q3617718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1641014$6E5AAC38-E3A4-4ED1-BD52-F4746290E1E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2da3bb5a0f68cf3ecebc42c83f61e140add94850","datavalue":{"value":"10.1016/J.IC.2018.02.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1641014$14A7A2F0-830E-49FD-A7FE-55E21857B1D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1688790b6bb9794dc307ab64199e60b9d1109d8","datavalue":{"value":{"entity-type":"item","numeric-id":3449463,"id":"Q3449463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4275620c77154cf5fe74828f935967626430514f","datavalue":{"value":{"amount":"+0.9640450477600098","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":"Q1641014$5A7C2907-A208-46CC-8FCB-3C81131B2E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de288d75e5ba5f26ddf973ec4765e76957ceab9c","datavalue":{"value":{"entity-type":"item","numeric-id":5145281,"id":"Q5145281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865b1545fa8ffe35bd4cd03e6ddd720024602d60","datavalue":{"value":{"amount":"+0.8159529566764832","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":"Q1641014$5DDC9EE4-A26E-4A0D-8A90-137984626F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a812528f8188252fcf38fa28f39f167039eb2a6","datavalue":{"value":{"amount":"+0.755812406539917","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":"Q1641014$A995AE6E-55EC-4757-A932-DDE02AB447BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82c03e1e871d9f216b07138b39824d01a36ff56","datavalue":{"value":{"amount":"+0.754454493522644","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":"Q1641014$15A45F3B-F622-4FC7-A6CE-BB8E500CCAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2773845f860dbaaf9ed0db5cc2f765e2fd9ed4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4417848,"id":"Q4417848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36a1518728b71821993bf51bcae1702371838b7","datavalue":{"value":{"amount":"+0.7390742897987366","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":"Q1641014$CEB705E7-92BE-4654-B1F7-20A47DA528F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1641014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1641014"}}}}}