{"entities":{"Q4977225":{"pageid":7006804,"ns":120,"title":"Item:Q4977225","lastrevid":58385799,"modified":"2026-04-05T00:02:59Z","type":"item","id":"Q4977225","labels":{"en":{"language":"en","value":"Game semantics and the geometry of backtracking: a new complexity analysis of interaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6756192"}},"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":"Q4977225$BD962413-3D58-404D-B398-82A4436DB5ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef60e25460d5e943c0e7377eab9bdeaca947342e","datavalue":{"value":{"text":"GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4977225$F34A3434-A470-430C-9C27-65E7A129C55E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d34f149094534bb46ad81c368a57935123a0b152","datavalue":{"value":"1401.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$5747F659-6A81-4EF0-BBC7-A0FA0425054B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$FEBC9C32-F573-40D0-BACD-C541270C8DFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b3a2783a955645e83aada5eb39ffa5fafcd7904","datavalue":{"value":{"time":"+2017-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4977225$E5AC8D4E-A562-4FD7-A32C-3235D1C23B2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f372e96f6b63f1d198e7df326da32a4566deb01c","datavalue":{"value":"https://arxiv.org/abs/1511.06260","type":"string"},"datatype":"url"},"type":"statement","id":"Q4977225$C3486820-D748-4E4B-BDCA-A9FA1DFAEACD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$CBF08AF0-1441-421C-979D-9F6C2051F84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$11BE229D-F925-4657-9CCD-3B4F840F9B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$6EF100A5-5AE8-4614-86EF-D6DA9BDFD019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$0BEB4F83-951C-4082-8D12-0D4B3AA84C0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05fbfd8766863b8f9cc004d0eff282398f883260","datavalue":{"value":"6756192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$8AFC69FC-55CF-49F9-92F8-EE0DE6F1A07F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d3b521ac44a4c22e2567aa24264e7578137148","datavalue":{"value":"Hyland-Ong Coquand game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977225$18248756-0CB4-4F98-B140-FB27C1CC2C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977225$4A60E073-00F0-4921-8F6F-F6AB65F3361F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977225$27BE4104-D481-49C7-BCC1-81C99D0A547C","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":"Q4977225$D32E25C6-C14C-4F81-81BF-B41DDC0812A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae4ecc0727123f10326f0a3c625f7902c33df3dd","datavalue":{"value":"W2963005210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$D56EA3B4-0B27-4B58-93A0-7BA6416F6B91","rank":"normal"}],"P223":[{"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":"Q4977225$B37E1BD3-D9B2-4204-8D3C-AFE8DC262D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ebb052b082c89499e98b91e51f15a01cb5e1418","datavalue":{"value":{"entity-type":"item","numeric-id":5360214,"id":"Q5360214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$39A9A10C-6E36-45C4-B88D-65D98F51CA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a994ae7f20596f4b4a19969045b5f9d5fa74543","datavalue":{"value":{"entity-type":"item","numeric-id":1946669,"id":"Q1946669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$F4EDB1EB-DCDC-42EB-B1EA-5F63BEF97A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11792e927ad866d227a06a7669f3558c91fd1159","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$F72B6512-4F30-4834-A630-FAD007B10773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f636620dd85fbd6e49244a79e4b513248fd86d89","datavalue":{"value":{"entity-type":"item","numeric-id":2968408,"id":"Q2968408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$738731A2-D090-4F80-A5A9-AA1CF67E78F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322cb536d18d13274b87adcf8c32b9e9e2e2316b","datavalue":{"value":{"entity-type":"item","numeric-id":265002,"id":"Q265002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$03771601-70D8-4612-A280-47D350260C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$C98401BB-724A-4100-9F61-80DF3A590025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00c2a13e85d50747e9c7643368c22e3db2c230b","datavalue":{"value":{"entity-type":"item","numeric-id":1004290,"id":"Q1004290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$4903B8E3-78CF-47F6-A5A5-B883CA2B8174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa785ed5cfe25e5ad71bccfb52c65e949fd2980","datavalue":{"value":{"entity-type":"item","numeric-id":5404474,"id":"Q5404474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$98A2879F-E2FC-4B58-BBB8-9507A5CE9463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663126a0216434276e2fd1ccaebd23db2e8aaa73","datavalue":{"value":{"entity-type":"item","numeric-id":636360,"id":"Q636360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$B7D90107-6DEE-4748-BBE1-91D405F157C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f669abfbc37b840adcaab6ea4ed7b614f4fd528","datavalue":{"value":{"entity-type":"item","numeric-id":3000619,"id":"Q3000619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$F15D23BB-D7F0-4FCD-B439-B184617CD0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1512a814dbbe099c4694aa1fd5164c85b54f257","datavalue":{"value":{"entity-type":"item","numeric-id":2941754,"id":"Q2941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$5BAF79ED-C161-45DB-AA0B-FA50F2C38FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$8763DEE3-10B2-4759-8D1A-36EDE9EFA57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$7A171285-79E8-4639-A4F9-873BE7FE353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1ba34627b9178a148ca69b62835f8ca77d84eb","datavalue":{"value":{"entity-type":"item","numeric-id":4342083,"id":"Q4342083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$DE71A897-2FD2-4852-845F-CC3FF503ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$1C5D3009-F630-4835-812F-93873D5C01E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5292c81996c3eb9c9cb0511bf1659b1e176124b","datavalue":{"value":{"entity-type":"item","numeric-id":636369,"id":"Q636369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$47C46E93-4808-4256-A4D8-BF578998B31D","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":"Q4977225$56505554-BF9D-4B09-A026-D72600FF5A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d384e14730b88cea319a0c234fd838c692e3f5be","datavalue":{"value":{"entity-type":"item","numeric-id":1603595,"id":"Q1603595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$2EBDAD4D-0B18-4C22-A196-9D0B80E28F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$5B664EC6-3BFD-4F3A-908F-ADB98E97B81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$963C51A5-BBD0-48DE-B627-B678884312EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$50381DED-A56E-4D10-A110-B03A56E62D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d90cfdebb0c908b7d3ce9c8994e54613dba064b","datavalue":{"value":{"entity-type":"item","numeric-id":5361260,"id":"Q5361260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$6561F1EC-9334-480C-A516-D859C100BBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$354C148F-1525-440D-AD64-2C5764F4AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$DF0BF036-0A5D-4D39-BAD0-DC3F7C6FA314","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"244830f4fe8e32edb2e95c98e8ae58a1d1edee0e","datavalue":{"value":"10.1017/JSL.2016.48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977225$FFA59376-C6CE-49AF-A44B-45FD7C960ED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977225$252BCBCB-F7EA-4318-A0BC-68CEF0E42902","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b245cb809947901b82af91a0e57db79c4378ef","datavalue":{"value":{"entity-type":"item","numeric-id":3000619,"id":"Q3000619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359cc2ab32241315206502895dfb507655e13de7","datavalue":{"value":{"amount":"+0.7854880094528198","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":"Q4977225$9BE558E3-27EC-43F5-B4A2-3089AFA1CBC9","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":"116922e72229921d0078e9cade453cd54dc42d30","datavalue":{"value":{"amount":"+0.7548915147781372","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":"Q4977225$0E28A699-18B9-4718-9885-80D128B1F385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cf48d345a9987c8b45f9a4b469b5de078fc5a2","datavalue":{"value":{"entity-type":"item","numeric-id":3540182,"id":"Q3540182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4556c5e7d1989ddef6ae2679ae26bf587dc22e","datavalue":{"value":{"amount":"+0.7529668807983398","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":"Q4977225$4808CCCB-554E-40ED-929D-CC21E6AADFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396507a9be45e2e13d85d9031a864a0c81e36c73","datavalue":{"value":{"entity-type":"item","numeric-id":2941754,"id":"Q2941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f66be1f4f16ba7d2ecda1fcf787b9e71d008a76","datavalue":{"value":{"amount":"+0.7214773893356323","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":"Q4977225$64037CA8-8BD6-495E-B3E4-A8D61A40A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506ffb464f173144aa485f8bd205f69973ba98e","datavalue":{"value":{"entity-type":"item","numeric-id":3586044,"id":"Q3586044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9186be2c2951a092a5236fa9a4a1b0243ba18eb3","datavalue":{"value":{"amount":"+0.7152464389801025","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":"Q4977225$2F04781D-E9F8-43B8-8092-351D451980CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4977225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4977225"}}}}}