{"entities":{"Q388203":{"pageid":389970,"ns":120,"title":"Item:Q388203","lastrevid":61466046,"modified":"2026-04-10T23:33:12Z","type":"item","id":"Q388203","labels":{"en":{"language":"en","value":"Imperative programs as proofs via game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239423"}},"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":"Q388203$9616CE58-44C0-4F70-94A7-02A01EE8AE63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a082d79f32b7560d18f499045362d870343e846c","datavalue":{"value":{"text":"Imperative programs as proofs via game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q388203$5AC849CE-8E7C-4B1E-AB5F-673BBA9AB15B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b606f12cc0afaadd5e1eef917c2e38dd0c27bb0","datavalue":{"value":"1358.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$FDE24A54-9D58-4DD4-8B63-B179DF9D030C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db927feaafe5bc875445304e04b561e8a58d8f93","datavalue":{"value":{"entity-type":"item","numeric-id":388202,"id":"Q388202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$9D1AEB89-7E6B-4209-8A96-D48A624A95B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4143712d6802f357848baf5fb5b5c24a615cfe6","datavalue":{"value":{"entity-type":"item","numeric-id":276480,"id":"Q276480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$62166AC9-50C3-4A31-A6E8-B6AD94E6AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"251feac8d317643ef7265d5db7b0395b66278a81","datavalue":{"value":{"entity-type":"item","numeric-id":591721,"id":"Q591721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$424E0CD6-B149-42D9-9F55-DE153E3259DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$4D993203-68C2-4377-A20C-96DF378A1AED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2f1fb0bb823de7c85c0e6b790ab9a70856742d2","datavalue":{"value":{"time":"+2013-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q388203$94C1CD52-0744-4A44-904B-C8D90CE5B474","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6101fe5e888f5c5c67ae367eb2ebd59d8e3d6a0b","datavalue":{"value":"https://arxiv.org/abs/1307.2004","type":"string"},"datatype":"url"},"type":"statement","id":"Q388203$35E0D6F2-299A-4AEC-ADB7-B4E509591BE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$12E7D55A-084C-4092-8F04-91F841697789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$819E58B4-3BC8-433C-9442-0117B1067234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$D4821A2D-48EE-4328-9F31-6D08A8C92961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$F205CDD3-B3AB-4C80-B5B3-EFD8E6A4E8AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7395e983730fd7a849d05a8ddf68731822826b41","datavalue":{"value":"6239423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$6A2DA4C5-7B8C-4852-801E-821766792A9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q388203$F18D54B5-6425-4876-949D-141CFB79A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4202ceea3cd2ee148050042c139a0b6c5503399","datavalue":{"value":"full completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q388203$21D11439-42A5-46D5-A117-5F9D37622BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e08b98ac56aa180a11d43bafc31746ee8a47bfc7","datavalue":{"value":"history-sensitive strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q388203$CF865146-216F-4A2F-B584-4F7880785725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabb11f0794f0c88c3161873efa13fd23e9f2016","datavalue":{"value":"sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q388203$F8ED6E5C-0F35-4AA3-95B4-CA412843D114","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":"Q388203$D32405DA-A2A1-43A2-994D-BDAF943E2306","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93f53d8210610aa07963ae8bae5494d1a7ab43b1","datavalue":{"value":"W4205094339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$98ED5040-BC27-4F89-BA35-F2BAABDBBB6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$283FBF50-5FF9-4CF9-BF55-E25DAB8982A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$DEB3F5FF-3680-4682-A181-BBFE32AA9A16","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":"Q388203$99BAB879-5F88-4AD8-8ED4-5337896F297D","rank":"normal"},{"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":"Q388203$D618A88B-A1E8-4B4B-94B8-E759E05F6893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$6B64DDA5-34FD-4ECB-8B54-299E9336D7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e1d2fad2b3369089cffb0934f8fbe434f4fba5","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$979F400C-2A44-46A8-8C4E-5D716532B37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdc535713bd2a1bea0ebcab85559eb258068f92","datavalue":{"value":{"entity-type":"item","numeric-id":3617718,"id":"Q3617718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$676A77D2-6ECF-4501-A60A-4B1371EF7767","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":"Q388203$410E4666-1B2F-45AC-8E8B-6C92597894B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$1B782173-2C1E-4621-ABAE-EAD02B084961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fc652c5d300a28eec5eb39efd9731a2a7a5925","datavalue":{"value":{"entity-type":"item","numeric-id":2931792,"id":"Q2931792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$19E10A49-4552-421F-8EDB-17CE0035AC0F","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":"Q388203$6191086E-7579-4204-8296-9C06E89D612B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5128ea1fce41e0cabe1ccf3f99222f6d7ae49f43","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$9668580E-1717-47B0-AF9D-A6890407C319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d9060cf421e0c2075d90927e72c1a502bf32ad","datavalue":{"value":{"entity-type":"item","numeric-id":2762218,"id":"Q2762218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$A36B7BFD-7580-46C8-B422-3A800EB9486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53f81191d3b7c0b8a719c1d8f281eb0d61979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$DC8C2FF1-09D1-453C-B716-9CAAB29C2824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bf621624426a416e625411fdb32dfd8d4c141b","datavalue":{"value":{"entity-type":"item","numeric-id":2842823,"id":"Q2842823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$7BE6F0BA-ED9E-45F4-BB4A-CE1E80E716F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6878433eaa83250cc1f5a2b3c9a891053bd0b78","datavalue":{"value":{"entity-type":"item","numeric-id":2566030,"id":"Q2566030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$CB48D810-23DE-4513-BBC9-CED574F0B339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5f97a97185236c8d2d9fdaf1752c9af8ce4830","datavalue":{"value":{"entity-type":"item","numeric-id":817847,"id":"Q817847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$575CE6A9-916A-4230-AAD6-38A1749736F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb5be6306cf75bedc164f0c0f1f29b86599eff4","datavalue":{"value":{"entity-type":"item","numeric-id":3372687,"id":"Q3372687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$03F6858E-15C0-4884-8CC5-B75282FEA2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c883c54531f2408f36ee69922e993f71ff8aff","datavalue":{"value":{"entity-type":"item","numeric-id":3064167,"id":"Q3064167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$AC0F2137-49D4-4601-9D23-538AACDB7DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d842efe7b345c7e7a2d5259fa1a525369773290","datavalue":{"value":{"entity-type":"item","numeric-id":2805154,"id":"Q2805154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$73881539-A3FF-4E67-903D-9062C5A152E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb26583f5c977543d6c19ab4f93b35735816a38e","datavalue":{"value":{"entity-type":"item","numeric-id":2986824,"id":"Q2986824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$DEE6A967-46A0-4A0D-B4E9-1E997C19676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2bb4eded647a6573e9f421e7f77b3f767264390","datavalue":{"value":{"entity-type":"item","numeric-id":636303,"id":"Q636303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$25F0ED16-3051-4F24-B113-D94F6F8D1320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b0b5f19fc88dc8136195955bb1f585effb2322","datavalue":{"value":{"entity-type":"item","numeric-id":3638099,"id":"Q3638099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388203$55DA2DBC-C70D-46FB-B00D-04919C0B66F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e1dd9418026b9ed8908922b0dc8bdd6e39e2e38","datavalue":{"value":"10.1016/J.APAL.2013.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388203$90F24F37-8510-43B1-B6C0-FFADB66655F8","rank":"normal"}],"P1643":[{"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":"a044ac92d199f065313efdc95d0d2256b1671200","datavalue":{"value":{"amount":"+0.840377688407898","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":"Q388203$F156F475-4A45-4AF0-9DBF-963252734564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69102c7060c7b74cb78792fb6e903c574e370f4","datavalue":{"value":{"entity-type":"item","numeric-id":1360314,"id":"Q1360314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c18fc23bf5184fa8248c503aed3c7d5c8d480a","datavalue":{"value":{"amount":"+0.784981906414032","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":"Q388203$06854A56-6C22-48E9-AA6E-E747E06904B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ddc8abad5e81415982be2b35e060a86ccb9d53","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a8629068b6979dc4990b55b4f4924c5379e3a9","datavalue":{"value":{"amount":"+0.7694623470306396","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":"Q388203$B8627C36-C0D7-48E2-BC94-77C2F78C615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43ae7f7a5eba429d1a4bf4e6f3f3149ad0f38ac","datavalue":{"value":{"entity-type":"item","numeric-id":5041088,"id":"Q5041088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99df398598b6df4908272fd2351d2259d05fd492","datavalue":{"value":{"amount":"+0.7681530117988586","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":"Q388203$5F016D10-FB98-4699-993D-74E398F60443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bbf0adf031f82cc6f863de3df702ceed07595e","datavalue":{"value":{"entity-type":"item","numeric-id":4225150,"id":"Q4225150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4389ad68f9034100d01217ef149203a3a4f99245","datavalue":{"value":{"amount":"+0.7663850784301758","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":"Q388203$7F9B5B1E-3BD9-465F-8679-3A07ADC3D1B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Imperative programs as proofs via game semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Imperative_programs_as_proofs_via_game_semantics"}}}}}