{"entities":{"Q2842239":{"pageid":2852959,"ns":120,"title":"Item:Q2842239","lastrevid":83850464,"modified":"2026-05-07T12:59:43Z","type":"item","id":"Q2842239","labels":{"en":{"language":"en","value":"Strong functors and interleaving fixpoints in game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198058"}},"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":"Q2842239$4685C9E3-311A-4B76-A1A2-C35D596D517C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3263f154edc17d216501f65119d44acc10883a5","datavalue":{"value":"1302.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842239$584538AC-1680-495A-8001-473DE35FDA3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842239$6AA1555B-6C07-43CC-9B5D-DB5C69F22311","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b6524d401a87cb6f81c094b98b503edc77dbcf","datavalue":{"value":{"time":"+2013-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842239$2DBCD2B3-C3AC-4A85-9CA2-15FFEB3D296D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e950eb584e9c642a82f5fad985db932e51f5f9f9","datavalue":{"value":"https://semanticscholar.org/paper/6baa7eb05615299aed1b9ac844d18fbc954c47ad","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842239$4FDDFAEB-0B09-40FA-8656-E53821D3750D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842239$63C7C2A0-EBDE-4ABA-B79D-A0F4FE51A3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842239$183F5B17-7329-4945-A84A-00F7447C58F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842239$E5516A96-C738-4B2D-A1FB-99BFA845B8C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9f4140fb88731c4ae765619ee0db8ced0794196","datavalue":{"value":"6198058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842239$F2A8146F-D5E6-4C44-A3BA-469435115CA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842239$B8648022-68EB-45A7-BF04-6E4F96E44063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f051997295948659748f5f3902e919e42312f02d","datavalue":{"value":"strong functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842239$87D29E7F-542A-434C-9349-442D4EDADCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842239$473E1D7F-B395-401D-9064-56B086DD1A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceec32d5c532f49b2053075e43d38f61f92fdf8b","datavalue":{"value":"terminal coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842239$E5EBAF46-C351-4750-886E-4094C1935909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842239$2CCCADE7-E878-4A0D-9BC9-2E6EE2F7BD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842239$D2D9A61C-E8E8-407E-A41B-7BA7241AB7E2","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":"Q2842239$A8299AF0-0F3E-4B5B-9813-D11383E8A1B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e3f838bafa15aa9c30c56e16222059d617926a5","datavalue":{"value":"W2066766709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842239$5CB6D213-F52D-43E2-BDF7-3B6E6296F360","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa309e89f01b0a88a758d692010a168d459f9723","datavalue":{"value":"10.1051/ITA/2012028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842239$A707540E-84AB-483B-A825-6BB0DECE65FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c3a5f309ac18f2dd395469d66ad3913ce7cff73","datavalue":{"value":{"text":"Strong functors and interleaving fixpoints in game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842239$41B8BD5C-FDF3-4A5A-AAA5-5DA193FD9237","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f88448172ceeff64deca4b9e915d4e399ebac232","datavalue":{"value":{"entity-type":"item","numeric-id":6551806,"id":"Q6551806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842239$59C5F89B-A76A-4AC6-A203-0F8F68A156C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"125f656c89c0006192eb596478351d528e5bcbc8","datavalue":{"value":"The paper develops a sequent calculus for inductive and coinductive types and endows it with reduction rules for allowing a sound translation of G\u00f6del's system \\(T\\). The authors introduce a categorical model for the calculus and build a concrete instance based on Hyland-Ong game semantics. A weak completeness result is proved for this model, that yields a normalisation proof for the calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842239$26C2D46C-DC89-4551-9B54-54FC6742E202","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842239$74E77E40-92D9-444F-9237-1678A3AD0BE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a35eb387e30ea87b756a76a7aefcaf65c24216","datavalue":{"value":{"entity-type":"item","numeric-id":3617718,"id":"Q3617718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e11b860341329f75a060829cd929c5b388c685","datavalue":{"value":{"amount":"+0.8021753430366516","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":"Q2842239$D030C643-87CA-4756-B77D-F95748BE2BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fb420bfccf1cf68de94acb9cdaac2b53743754","datavalue":{"value":{"entity-type":"item","numeric-id":4787834,"id":"Q4787834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec298e4a4fb23dd76de47d0b38c3b340c9ab9003","datavalue":{"value":{"amount":"+0.7547193765640259","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":"Q2842239$F7F3F5CC-2970-4FB7-84D1-940AE548ED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91e050794fa1aee383076a81ab1d2df53ec793c","datavalue":{"value":{"entity-type":"item","numeric-id":1854351,"id":"Q1854351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aeb2ebd64006b3a521199b7bd4e0927d524ca84","datavalue":{"value":{"amount":"+0.7527967691421509","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":"Q2842239$79C8221C-26B8-4875-A9F5-709CEC2608DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b2d42fc957877f9277780c2530c854ef7d9c68","datavalue":{"value":{"entity-type":"item","numeric-id":3167022,"id":"Q3167022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15555393a2d77a8285b97b718f6dee32624d05fa","datavalue":{"value":{"amount":"+0.7458380460739136","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":"Q2842239$31B09A8D-2657-40CC-8450-47BFA55DBD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e4c86c689fac63b242774af3f6893ea59a9061","datavalue":{"value":{"entity-type":"item","numeric-id":5458834,"id":"Q5458834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c0fb6db999f0a9aa4568524d500139d39faed5","datavalue":{"value":{"amount":"+0.7429198622703552","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":"Q2842239$9DB82968-C43C-47D6-98AC-14245FB84234","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong functors and interleaving fixpoints in game semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_functors_and_interleaving_fixpoints_in_game_semantics"}}}}}