{"entities":{"Q2570133":{"pageid":2580876,"ns":120,"title":"Item:Q2570133","lastrevid":48575374,"modified":"2026-01-05T06:39:01Z","type":"item","id":"Q2570133","labels":{"en":{"language":"en","value":"Games for complexity of second-order call-by-name programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2217961"}},"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":"Q2570133$3638A571-8BCA-4CBB-9BD3-3131F8EDD294","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7d7a4ad58923f9e268579ddaf4d2917cccd6cb9","datavalue":{"value":{"text":"Games for complexity of second-order call-by-name programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2570133$1829F69D-79DB-42B7-9978-95600F2F7FE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b8a8bbd18bebc56e596fd8613b4427dd0598c0","datavalue":{"value":"1079.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$F128AAF4-5CB5-44ED-9B60-E2FE19897CD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$EA8AB1BB-06F3-4993-804F-959E67BB8FC0","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":"Q2570133$43FF13F9-BE8A-4DE1-8761-D7C98ADB2F94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e85745a6397331bcdd0b166a1b54cbb2edc48a75","datavalue":{"value":{"time":"+2005-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2570133$9CA5F63E-5EC7-43BD-A12F-660E660D6666","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fea1b07675a7f9fde4d83ff4eea94c93c3c153d","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:2b4f1d3e-350a-4590-9d6d-929b5da64f7e","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570133$0BEE43D0-F36E-4143-8556-5599C12D9469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$7335BDA2-B413-4889-A111-9C4F74AE9EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$B99D6A7D-A4E5-4E90-945A-118481E8B6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$A4B3B757-E034-4C49-A98F-366DAF224519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$E3DCD4BB-FD1D-4D77-8972-399586548068","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce260ff8467ea123e33f86687a27904daf1f6f4a","datavalue":{"value":"2217961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$5F005BCC-3E72-45FF-B0B6-65B189E62094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fb0d877c09815da749014e901a8d51d30235ee","datavalue":{"value":"Game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570133$32A33ED5-F878-4524-8F44-33CA14ED9F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570133$949EC027-09E8-43D0-86D6-D77ED2C085D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f703cf63359ecd7050cea6c21c99cfc53c4ff1b3","datavalue":{"value":"Program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570133$A6D2626B-819A-4536-A890-F4E310DED545","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":"Q2570133$102C68D2-3F7A-4F9C-A0F5-404B74217CE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbf96097afbb7731ca53ee3a4a52adf6acd8d2ff","datavalue":{"value":"W2025804948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$52768EF1-D6E9-4EF3-885C-A8F94C9C10A7","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":"Q2570133$2DC1B8E4-E9DA-4EDA-8D08-167982DF41A9","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":"Q2570133$DB9CA486-98CE-4EB5-AAED-22E96576E1CC","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":"Q2570133$5AF9DCAF-B06A-4DE0-845C-A91BA8A37362","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":"Q2570133$2D47B62A-D7FB-435A-B276-9043EE4CD8AA","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":"Q2570133$C69B0343-EA90-4BB6-A2D6-7B81E5AF1AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$A736594E-82B4-4DC6-814A-36B4E5E5CC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73fc23e0e328f8c04156aa61bcdb245b6a446e","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$AF3AD5BB-9E8F-41BA-B72F-BDA70E14F8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$2788D242-BEFF-4F82-9540-AF6118856DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6c2a0bbfd65e6f3d4ca31107fea6b84b41955b","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$0230D4E7-843D-4F01-8170-0446F2774F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efef7172b76edcf3243d718037cc30902befdc42","datavalue":{"value":{"entity-type":"item","numeric-id":4571955,"id":"Q4571955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$E8BB515F-BB6F-4F95-9D3C-EADDAA421329","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":"Q2570133$F2F5D418-A274-4B45-8BAA-9B74B8A7D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a8baf735680842777a1bce3d3c78132d43e41","datavalue":{"value":{"entity-type":"item","numeric-id":4131614,"id":"Q4131614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$46622DB1-F1B7-4AED-8750-530F73A40545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ba1c53d939ce6e9dea54d3f093719a7ae4fc82","datavalue":{"value":{"entity-type":"item","numeric-id":4474156,"id":"Q4474156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$C518332C-A328-436D-B698-CBB1D0929952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef57295b2e8a33639ff3175739c97140ae146dfe","datavalue":{"value":{"entity-type":"item","numeric-id":276481,"id":"Q276481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$46DEC0C6-FBAD-4EF0-9571-483D2E2F5D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc340352b2684097bd113c10d2abffefaca30754","datavalue":{"value":{"entity-type":"item","numeric-id":557802,"id":"Q557802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$49888B6D-834E-48D5-9A97-3A58420648A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$DDBDC62C-3C66-4ABE-AA92-7518595FF6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570133$FC836DAB-7AB8-49E4-8ED6-A0E0774E51A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e618c30c563bf9095deb701cc386398edd5046e8","datavalue":{"value":"10.1016/J.TCS.2005.05.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570133$AC6B27D9-6993-42E0-B6AC-65F4BB2AE92E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c71ae235c3ac9e5f76e4caf06904bda15766ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0882d5eff05e72eed5fc9f68b02e954b0891083","datavalue":{"value":{"amount":"+0.7680836915969849","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":"Q2570133$A980619D-80B5-4CD7-ADE7-FEC00474C5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd754ce23cb45564afafb99eb2818a829ac1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5277737,"id":"Q5277737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5348f7127ceb26d5c079be6918b019af7a524d30","datavalue":{"value":{"amount":"+0.7605372071266174","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":"Q2570133$68BB8FF4-D7F3-491E-9172-0DD38AE76866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e61a1512147829b5472de42d9996557db7c646e","datavalue":{"value":{"entity-type":"item","numeric-id":2396718,"id":"Q2396718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e68de0d6b45b2cf1ad51ff625649d6f5943affd","datavalue":{"value":{"amount":"+0.7495026588439941","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":"Q2570133$1059F554-1581-4BAF-A30F-C719D22FD05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b3c126a6a2c6809f0b220ec07a35d562f96540","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01ac212a54f05e0fd62ae851fa7e085d7483601","datavalue":{"value":{"amount":"+0.7428565621376038","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":"Q2570133$38C61ED6-62F0-444D-9150-5191688B00FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73340204202a1373f43362e0a19b7f8d3e8c37fa","datavalue":{"value":{"entity-type":"item","numeric-id":3587438,"id":"Q3587438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88b83277052c2e627c1c188fde6ac860b026ca2","datavalue":{"value":{"amount":"+0.7304951548576355","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":"Q2570133$A5172918-39AD-4EB9-B435-10B5EBF14F9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2570133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2570133"}}}}}