{"entities":{"Q673628":{"pageid":675477,"ns":120,"title":"Item:Q673628","lastrevid":63610659,"modified":"2026-04-11T14:20:08Z","type":"item","id":"Q673628","labels":{"en":{"language":"en","value":"Proving properties of typed \\(\\lambda\\)-terms using realizability, covers, and sheaves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985672"}},"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":"Q673628$631F62F7-3482-4DFD-BED2-21334DFEB270","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95b3091dbf2f11c029bb72a2b4262ac5fd3c6a6e","datavalue":{"value":{"text":"Proving properties of typed \\(\\lambda\\)-terms using realizability, covers, and sheaves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673628$2B551E5E-5128-483A-9E26-E3EE1D708DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecef1abac77ea2398a7332129324b8d6436860db","datavalue":{"value":"0873.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673628$EEBA61BC-A349-44F8-A7D3-737AF8111BB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"932cc77ba179f6528aa108102e20973356d720cb","datavalue":{"value":"10.1016/0304-3975(94)00280-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673628$A8974114-17F5-4BF7-B67D-51C242ACC19A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$0FB0CE00-D730-437D-A396-23DCABE66C88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673628$0748AA80-63AD-417F-B62D-2FABAA70FB92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673628$ADA78A88-1191-4A1C-920F-1FB9388D9CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673628$9C1EE974-3224-4B5C-96EF-F5A25D38CDF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e2e601dac2a74629349e0c23c6de6de91b9b455","datavalue":{"value":"985672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673628$7DA27D9A-022D-49A1-98B1-49AA31D91715","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q673628$2DA8C906-8E1C-4E24-857D-0BC867B896E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76500af64d96b1198e9f6d67641931614755d94a","datavalue":{"value":"cover algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q673628$56FB2F84-BF85-414A-965F-14E8D17A85FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$2EFEED4E-D4AD-4013-8EDD-57864664CB73","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":"Q673628$DC260266-8BDF-4719-9D95-1505767F7CE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8567ee1f2599b10ba962fd11f02096da467e0ad","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00280-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q673628$C45FC4D2-7F9B-4591-9E2B-9E2F6024AD35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dabeb2c0098fb1fc29028f1f613b55e481b54697","datavalue":{"value":"W1971766620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673628$0482522A-12D8-4A18-AE5F-CDB517BB8B30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$5EF95A0E-DF73-429C-9DAD-C2A06B67E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0550b530044499c9f631ac5917a28b2702c1ee71","datavalue":{"value":{"entity-type":"item","numeric-id":749518,"id":"Q749518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$5571785C-D10A-423B-9BE7-462B9309A3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d888f9a9bf6d1962e3fd93c776cc5efd40043e","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$A68F4292-EDE7-4D58-AFB3-2DFF85E4B391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$9B2593DA-0ED6-415E-B257-557778510F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$E16B249A-80E9-49EB-9A58-F62A6C3A2224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b8a50d072e04db317f274afa3cb6a4301a86ba","datavalue":{"value":{"entity-type":"item","numeric-id":3726114,"id":"Q3726114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$85BAD75E-2F92-41E6-AF5A-1F3B55977AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$2AE47003-8722-4C7D-9DFF-BA21C243FCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90115fec3c9dd38731bc75a59a44443e7647739","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$E63CAC83-242E-4333-B872-4119CB11F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd7141de1460cb4e482a5b2d5e472a00fe45932","datavalue":{"value":{"entity-type":"item","numeric-id":1186431,"id":"Q1186431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$4C2B2190-501B-462C-A43A-2913EF6EAB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$B8F8EB10-A0A3-4DBE-B114-3BA3BE1AC29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$90EC73E0-F60D-4FCB-8FC0-33A29C09FE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa3906478d71e95059766c5ac8c419b28304833","datavalue":{"value":{"entity-type":"item","numeric-id":3707988,"id":"Q3707988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$B5A30831-3A67-44AA-854A-708128F3B53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$0BB80D4F-8CBF-4261-9C62-5E90A0DA6EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$8C1B752E-6766-441F-8FFE-FD1C187A60E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$A9D45169-1C93-4D19-9E08-F1BFBC2684DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e40c9c557c135eeb7ecb9f55bce2bdb98ea8b63","datavalue":{"value":{"entity-type":"item","numeric-id":1899911,"id":"Q1899911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$3F72FA29-6365-4442-8B17-8BD1C2444A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e886b9360a3e41cc1b6bf60219a57e89b7504","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$39911EAE-6A38-4010-9F5C-55E667E3391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$E506B002-7C5D-48F8-AD15-3D29F7B48C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$AB5C6307-65EC-417A-863E-E5E25E844B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$A4659EA6-1FDB-44C0-94BA-2B336417F058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$93B18455-6E41-4BCA-AFE6-7CBB44C5056D","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":"Q673628$1E1BEB0D-C0F8-452D-AE96-8C8ABA11FD3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3cb34c6b4243158dfe92a5303191b3e4a140a7","datavalue":{"value":{"entity-type":"item","numeric-id":3086781,"id":"Q3086781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2382159faab090f27284cb0691c032d280c4c5e6","datavalue":{"value":{"amount":"+0.89088136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$26319A4D-C347-472C-B60C-AB57F71C5A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef524b5552cf6851b4929998ebb7eff7aaea33","datavalue":{"value":{"entity-type":"item","numeric-id":4281578,"id":"Q4281578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4e27ba81a736b462eed3b20e735411889844e3","datavalue":{"value":{"amount":"+0.8905653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$27C6865A-9A02-4DFA-8D9C-E718FF7D0D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3eb91743ec83b041c7d0d037348ca1aee38dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4246947,"id":"Q4246947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb39087c6652db1bb7c3b6c9ff281c9963b9eaa","datavalue":{"value":{"amount":"+0.883464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$B191761D-051B-4682-B6BC-9D912E9F23C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d48502666b5a445a0d014ddbd94b0a459ed4fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1208735,"id":"Q1208735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11009a0f128ddc481fc5e08ce28e77ebf62ca6a9","datavalue":{"value":{"amount":"+0.88163185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$4B905B19-D316-43C1-AEE6-684DB62FE3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d370cb7a5808a18e52a6a7ca186bdf3791cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5367052,"id":"Q5367052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fcd4876f2e8341f8aee877684827ab6437a136","datavalue":{"value":{"amount":"+0.8804028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$1EDC0A45-E073-4C19-9C82-AA216E209E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00dbf1d1d3fd04954d6f147b3c1a4e415175d30","datavalue":{"value":{"amount":"+0.8798574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$CFCB1472-E4E9-4B1D-9E66-5A6B72D322DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af841dbaac1c030960b977a72d80d9d1f04996","datavalue":{"value":{"entity-type":"item","numeric-id":2708310,"id":"Q2708310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd1c245331356c6fe86cc6b3724e78241c0cc2b","datavalue":{"value":{"amount":"+0.87957215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$AFEAEF09-D141-4670-9D70-C8079F773D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd83cdfa40450f607570c76ec9c8278d44d6b39","datavalue":{"value":{"entity-type":"item","numeric-id":556821,"id":"Q556821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb39d229adb137cb876a6ab2298e3c80c8d29de","datavalue":{"value":{"amount":"+0.8794304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$BE57E1D0-F121-4341-AE0E-21E211415217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8567c3c3fa0d29bb2a7b7d1185d746657ce4cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5214792,"id":"Q5214792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89b2fab8afaf0a2155ae72fb8bcd0cb9fabfaa4","datavalue":{"value":{"amount":"+0.8792165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q673628$F4B2375C-7D04-4E57-AF93-2E84DBD3955C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673628$D055209C-F936-434B-99C8-60349A6CCE46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving properties of typed \\(\\lambda\\)-terms using realizability, covers, and sheaves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_properties_of_typed_%5C(%5Clambda%5C)-terms_using_realizability,_covers,_and_sheaves"}}}}}