{"entities":{"Q2864164":{"pageid":2874884,"ns":120,"title":"Item:Q2864164","lastrevid":79500836,"modified":"2026-05-06T14:03:27Z","type":"item","id":"Q2864164","labels":{"en":{"language":"en","value":"Model-checking games for typed \\(\\lambda\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236120"}},"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":"Q2864164$E6BD8FBC-2F92-4A22-8EAB-DBF90E3CDB72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a41e975ca2c561d69c7940ce35b7e60684332133","datavalue":{"value":"1277.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864164$51675448-73FD-4833-A060-B4564B0E5D53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$BB31D1F9-9B71-4667-B57E-B8D9657DFD2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-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":"Q2864164$A01F28ED-F2C0-4D2A-9A98-EF1E0BE3669A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864164$49A58D4F-7F99-4D49-84B8-31DEB9E96CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864164$6708B21F-F280-4639-B7E2-01995EB06838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864164$1B277BCD-017E-42F5-BAEB-A369FE1ED9ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b58d5b2b29d688adbb61494dec4be5755517302","datavalue":{"value":"6236120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864164$42558A0B-C4F8-43CE-A100-3A7A78F542DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864164$419A19D2-FE16-4EAB-AF78-262E38492801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864164$4869C322-2260-4C8D-899F-92C71EC068FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b0c5e5647ed5ff65ec7233d72567a26df4020","datavalue":{"value":"higher-order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864164$7317C271-3388-4215-8A20-B2B3F22E92A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f7811e4c835f8a2778508a8ea5ab4a1ddf92a1","datavalue":{"value":"higher-order schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864164$94D11388-C63B-49E2-86BC-ED50D14EB950","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$3F83B60C-E225-4596-8E34-0BFEAF357F2D","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":"Q2864164$25C990A0-9A58-485A-943B-BB8AFAEE592C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d43a68dfb93d9e6bf2f737302b68c471ccbbea0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864164$DF448CE7-AA02-418A-8A41-64A8E951CB7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51ad75f1fa791e73ec504d039e099bd120822530","datavalue":{"value":"W2082037533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864164$09B3863D-C65F-4D07-8D86-BC80CC50F30B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"557e82a5ceda839c030311796800fd35c131648d","datavalue":{"value":{"entity-type":"item","numeric-id":5705907,"id":"Q5705907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$2F2F6D07-B17A-4ED4-8508-03F4CC4E0874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de9637af9a8fedcf8ab07e9c2d71e01bf8c23d8","datavalue":{"value":{"entity-type":"item","numeric-id":5565119,"id":"Q5565119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$DA77B905-D1E3-40D4-9452-0AF0E4678442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45564ec3652cca38b098946aee63a0408214e10","datavalue":{"value":{"entity-type":"item","numeric-id":5576259,"id":"Q5576259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$0D7BDA70-2434-4482-BF48-964D2F4F6960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$A1A703E9-6208-42A3-BA3A-CB0DE4283FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31534a80c5f6cbcf58b47643db0cd9f443f15567","datavalue":{"value":{"entity-type":"item","numeric-id":4708567,"id":"Q4708567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$18B08146-AD37-4B7F-9935-C8EE5EAA8A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7701c984faea0a06c36493915d94358e6a7a7e71","datavalue":{"value":{"entity-type":"item","numeric-id":4218930,"id":"Q4218930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$692E7C19-4CF7-4E03-8600-4D113A244706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583fc00d1fe73786a69f9291791be750d1c45cd","datavalue":{"value":{"entity-type":"item","numeric-id":1246271,"id":"Q1246271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$3F36FE6E-3E00-4ED0-8C2E-F8677DC550B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$F44F168A-0E53-4A09-85C1-811C3CE98119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe0ad010f94e5ce6b15bd328037fb0b46059b28","datavalue":{"value":{"entity-type":"item","numeric-id":3765259,"id":"Q3765259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$7FDE8F82-A3AC-4B3D-8641-3335B91F543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c929ab970f45a8929f1dd6541e303ff6514a968","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$06A6C132-0346-4E7C-BE46-86481CC240F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d816b8c95877449b967e31802b94d04eb00e9a","datavalue":{"value":{"entity-type":"item","numeric-id":4457455,"id":"Q4457455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$D40F26BB-EA62-406C-9600-553DB878B9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$455F6444-BA5C-49CE-94DB-28E7DBEA3040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8fc14adb26e9a99e6be1999fdd2135bfd94a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$AFC8C88C-DF36-4866-9D12-1B0AB286EF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3419ec0cfc8339e122481e5b88954fdf07782ece","datavalue":{"value":{"entity-type":"item","numeric-id":4647581,"id":"Q4647581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$8BD6626E-E19E-485B-9371-CFCA7B5A6F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202a83a4995475162342e47f46315cdb6a3e8c57","datavalue":{"value":{"entity-type":"item","numeric-id":4500172,"id":"Q4500172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$90F6A97D-FAC0-4A8D-9DEA-403E95279A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$E47E2F47-B5EB-437B-A6C1-C35C3B797147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97dc7d4351d91c9f8a96a2f7ad5628b843ac4ce","datavalue":{"value":{"entity-type":"item","numeric-id":1603704,"id":"Q1603704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$7B8FB087-82A3-4B58-88A0-190A9344B074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$1905A142-03A8-4B2F-879A-05360A798E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175d2b9e5ac09d03617896b1814f3ebb7e413d47","datavalue":{"value":{"entity-type":"item","numeric-id":4737211,"id":"Q4737211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$F1D75CA8-38E8-4619-A13B-28EC4332F09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd6535887e87bc67931928757ac63a964d69685","datavalue":{"value":{"entity-type":"item","numeric-id":5394573,"id":"Q5394573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$415B7212-B4FD-4402-B7DE-D8D5B6ECDC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a6f9258e1714f28ce979e661a2348c690d9c51","datavalue":{"value":{"entity-type":"item","numeric-id":3591409,"id":"Q3591409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864164$E6159248-EBD0-4289-93A7-AB73FCE7910B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09719ce27d2f919ba23703cb47b5ea0601d7f4b9","datavalue":{"value":"10.1016/J.ENTCS.2007.02.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864164$B74BDF4E-E437-4FFA-887B-F1BE2F2395C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b78d1dd018b4adb2240427ef9fddef11635ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f38c0a36d0c217a9be859a16bc369bfbe01d5fb","datavalue":{"value":{"amount":"+0.91659904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$17B563BA-96F3-4001-BA9E-4BD83B8A843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b5ae91b6117279a7864ededdd149ebd8006eca","datavalue":{"value":{"entity-type":"item","numeric-id":4910728,"id":"Q4910728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af50d2f48245a4f5f23620e676a3f0dd2e0d0198","datavalue":{"value":{"amount":"+0.9165989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$B6A8BA85-84A4-4C7F-AF79-9D4E6046829F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a16efe8462d11283f4ec5789dd6be839a103c68","datavalue":{"value":{"entity-type":"item","numeric-id":4218941,"id":"Q4218941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791ca8d6a989869e20faf2cfbf767beeb5b79855","datavalue":{"value":{"amount":"+0.9136523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$A14BFD2A-B749-4285-9A64-C03C9AEF5489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92064452ea39acc1818f8b73d96c659c6cbb4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2996154,"id":"Q2996154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e587ed99bdc83813b32e7494ac5783d5248c788","datavalue":{"value":{"amount":"+0.9091248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$E87A9B37-24B7-481D-A26C-BB24F2C5AD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0ec79995cdfc2954a185e78b076949d62b83f8","datavalue":{"value":{"entity-type":"item","numeric-id":5875397,"id":"Q5875397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b7343ca024300a078a09e6d988a6ac64ab114d","datavalue":{"value":{"amount":"+0.9067168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$7CE0EABA-B85D-49FB-B77E-7B1DE13E95B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79349e54fbdb4db2bd214f5faaa4e0fb1e4e988e","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8a1d5f8a87b2f5fb0d12a579f83c2565787bc2","datavalue":{"value":{"amount":"+0.9065535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$97F7237D-F33A-4004-8CE1-A95EEB660F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c770a9e212cf0d6a6a0d84f6bb07cd9b3868904","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccafbdbccbd1c2457bbdf313bfb0df20b86b1ec","datavalue":{"value":{"amount":"+0.9020866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$0B60D423-D329-4EB0-99DC-76C85ECD763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133a4daf06ffdeece52375ea122e6f15fefeb94b","datavalue":{"value":{"entity-type":"item","numeric-id":2225595,"id":"Q2225595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3515fd09e02699b353f33cfa4fe7eda7ec85aa","datavalue":{"value":{"amount":"+0.8979797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$5BC47166-2D1E-4CE9-86DD-75D583D7EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f672f83ca866d3122dda208c8941ea7fab7d7842","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4b808bff073e95b0920b7ae0e55bc2b82cf6d2","datavalue":{"value":{"amount":"+0.8958247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864164$35C8E628-734B-44EF-B5AA-A208E6D2932E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0f807650f083e426c7baaecdab8a103aeecab38","datavalue":{"value":{"text":"Model-checking games for typed \\(\\lambda\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864164$2989C32B-B579-4FD2-B7FE-328EB1A308DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking games for typed \\(\\lambda\\)-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_games_for_typed_%5C(%5Clambda%5C)-calculi"}}}}}