{"entities":{"Q1770417":{"pageid":1781159,"ns":120,"title":"Item:Q1770417","lastrevid":48453034,"modified":"2026-01-04T20:50:27Z","type":"item","id":"Q1770417","labels":{"en":{"language":"en","value":"Game semantics and linear CPS interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153210"}},"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":"Q1770417$8FC56848-D975-441F-BF6F-60992DB6BC3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2be74fcdc9cc9acff066b608f8328f6bc846dedf","datavalue":{"value":{"text":"Game semantics and linear CPS interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770417$2541B13F-E8E4-46FF-A613-6A275FAD4436","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f123d6bc43a3fdadb56014cae1643ba9401d33f","datavalue":{"value":"1070.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770417$E244BFBE-65D6-4DB1-8C97-15D3A7F3B1F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcf8b29f998e6586890411a08c34f70ea4883f1","datavalue":{"value":{"entity-type":"item","numeric-id":1717924,"id":"Q1717924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$A4938A7E-7DB4-4137-A879-37C3EE981E5F","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":"Q1770417$8E71E2B2-287A-4BCA-A1C4-D10C04FC0C46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-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":"Q1770417$61CE7813-A5FE-4EF5-A738-EBA4CF860EB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770417$77E8E12B-A956-4B21-B664-BD9D9DEC7666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770417$1EF2888D-4DF3-4946-85A8-4A2AABB483A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3231d1ce5c49d5e7646709ec2d056ca3ef16ab9","datavalue":{"value":"2153210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770417$35BB4703-995A-43F6-81AE-A3C114A0C9B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fb0d877c09815da749014e901a8d51d30235ee","datavalue":{"value":"Game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770417$73C8D042-25EA-4719-A6D4-418721D55789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc529bb058f8561295162338efdd6b43ad1e9205","datavalue":{"value":"Continuation passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770417$1813434D-2B3A-40D2-A3BE-486A5E814E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2c0c856e54b656b2a97613864825256d8383be","datavalue":{"value":"Linear type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770417$B47A3B22-CAC7-44F8-9DC0-AAA02A989C4C","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":"Q1770417$F4C458C2-F294-4058-8B42-C3BFE37F4380","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1dd195db9c97ffd7304496dd39d1f46fc230ef7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770417$3F84F4F6-E8D9-49AA-9B9E-864BF59CDC37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e903be0513b7aa8fe540e3b40f5dcbfe318ab163","datavalue":{"value":"W1991950204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770417$A3530F11-A810-4BDD-B1E1-5B9AB0202B91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$4AEECD95-F819-4F94-9486-2371F5B901CF","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":"Q1770417$02E43EA4-1C46-4ECE-A6D7-F99F9D7FC0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$D8F46836-AB04-4190-80CA-2229C3726D17","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":"Q1770417$A4D57CBA-F19A-4CF4-91A8-F1CD289DED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf0df807bad0ae05356846d3d601d36b3204e9b","datavalue":{"value":{"entity-type":"item","numeric-id":1870491,"id":"Q1870491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$EC6C5DE4-40AC-4301-8315-BA7A71F0403F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff96de89c9504dca764a3cd381a7da6a3c8a47b4","datavalue":{"value":{"entity-type":"item","numeric-id":4409158,"id":"Q4409158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$D1043CAA-39F4-4FBD-8470-FF094FD6B91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48d012301b3151eec271a7ee87acb952bb8745a","datavalue":{"value":{"entity-type":"item","numeric-id":1960532,"id":"Q1960532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$6FE8C3F0-9DE7-43A0-A1EC-2CC596EBD3A3","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":"Q1770417$FF00D5F5-89B8-4B1C-9490-C675AF0F25C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f04f61e910861299739d2ede70add63d8fa6f5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2753687,"id":"Q2753687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$0F8DA9C4-F528-4400-AC4E-1383B708845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03561727971b6f36d95dc0e581945304d28ad8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1886321,"id":"Q1886321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$5AECF921-8F02-4DB7-8674-0430759EBC9C","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":"Q1770417$E4211EA9-DCA2-4187-B764-6A5383E6B56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$BA782F90-9AD7-408D-BE73-F0B0E5992401","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":"Q1770417$5B2A292B-57BC-4FBB-B8BF-D92101AC0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54726f3196d8fdc5773d99142d8a98329eeba1fb","datavalue":{"value":{"entity-type":"item","numeric-id":4737181,"id":"Q4737181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$11BB1B0D-5B2A-4751-B96E-5C584D1FC1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$4DFBBA27-8F6C-446B-B49E-4BDF017E899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$5D30C076-0CBE-48D5-9B8D-3947A56EEB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$1975BA82-9E35-4B9C-99D0-27E70C4FCD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$B7D95C54-E355-4193-ABAA-270FF741DB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f2922a8b3128dd80fc9219db2b62e3172312d5","datavalue":{"value":{"entity-type":"item","numeric-id":1870493,"id":"Q1870493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770417$F2CCEFEB-6545-4590-B3F9-B74338A06C16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd2c8fb8d5e9a9893647291e4aef31147be38644","datavalue":{"value":"10.1016/J.TCS.2004.10.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770417$EF52C3BB-7F42-4CDE-8C49-2B49478AC9FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41809dbbc73a864fc0b3cdc569457a4e39146974","datavalue":{"value":{"entity-type":"item","numeric-id":4417867,"id":"Q4417867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7885f8dcc36df8b376588f9dfea1c922b1f1543f","datavalue":{"value":{"amount":"+0.9645827412605286","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":"Q1770417$35BD97B1-0EA8-461C-B26C-70075D109187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bfc388b626f5d42cb9e646cc0c8378e99bdd24","datavalue":{"value":{"entity-type":"item","numeric-id":5308024,"id":"Q5308024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970d987ee2733aa060a6d2f7bd3c58af348021fc","datavalue":{"value":{"amount":"+0.8022624850273132","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":"Q1770417$EB92FA41-AC93-44B2-85AE-5306868A5F10","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":"00babd72cf90af051070d528b0123414faaffe89","datavalue":{"value":{"amount":"+0.7900610566139221","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":"Q1770417$0B7B2ED7-D562-4F27-AB04-DFC6D75E5465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741c8c96e770b77a80ceb44a95ae6ca9fe43524b","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8ae00d1be02c2e2cd411fffe117fb7bf354f1d","datavalue":{"value":{"amount":"+0.784168541431427","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":"Q1770417$6C420B3B-8CDA-4A5A-BBF1-FEA1123F1F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc67884947a4fec8b69e3e850671852ceb6f093b","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316b027818308e20b389952dad29e3d0f309ca1e","datavalue":{"value":{"amount":"+0.7714590430259705","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":"Q1770417$6F78B1F8-3139-434F-90FB-BC14A0B0719A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770417"}}}}}