{"entities":{"Q1694453":{"pageid":1705194,"ns":120,"title":"Item:Q1694453","lastrevid":68151384,"modified":"2026-04-12T21:46:45Z","type":"item","id":"Q1694453","labels":{"en":{"language":"en","value":"Interpreting sequent calculi as client-server games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833551"}},"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":"Q1694453$BEE14BE7-D7BE-4739-A7C7-4BC02AA7E464","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"059971f0c5018fc7e41262d644e1ac256c40381a","datavalue":{"value":{"text":"Interpreting sequent calculi as client-server games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694453$F06E0D6A-8E22-462F-B216-7B21628AADFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3431cbdfb8cc5a1525c53567b511d295de6ca93","datavalue":{"value":"1496.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$449352E5-1CB9-4E38-BC49-6930B7EE1F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b43e573356fe7a72f3e9e9f7606b1a908a8f026","datavalue":{"value":"10.1007/978-3-319-66902-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$14E4DAE0-FF45-41FB-A27D-8CAB9DEF45E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694453$4ACE0C80-5838-4664-A59D-2A1211CDFC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4648823819593688ed4d5c8cf234cbfd0e332c66","datavalue":{"value":{"entity-type":"item","numeric-id":1694452,"id":"Q1694452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694453$E9C2072B-2B49-4CB6-9938-6E79807508BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694453$02DB8BF1-3B1E-4F85-8F47-31740834F5DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$DE5718F2-9B8E-4984-8D13-F0F697A247EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$0D8E4FA5-AA79-4C73-BDBC-E367390B80DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$31D0554D-F98D-4B94-BCAA-FCC7077EF8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$7545C45F-32FE-4CD5-9A05-F715216A893C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8238de024afcabaaaee11b8ae6861e5fb0591833","datavalue":{"value":"6833551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$2AC90CBF-A01D-4C50-A65B-B5599E4A53A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694453$8E19886C-9378-46E7-9F22-2B07798EAF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df785447fa0cf26c1beca2c9ba79c9ab13448247","datavalue":{"value":"resource interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694453$C2E8B54A-2338-49D7-AF20-1AD82FAC52AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694453$111C74E9-3FDA-4550-AA3C-D40C552A9753","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":"Q1694453$9CDB07C0-B49A-4409-A5C5-F1BA856C276F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f091a534e704fe68c61bd6582c017e7f795df2b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694453$14A62756-EFD4-4CC3-B667-7976537274F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30b52ebee0e09af217331fbd246ea60435889b83","datavalue":{"value":"W2752666563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694453$852D647D-648E-4B33-92F0-DDDE025BB75F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bdd405217ebe15c0938bb98e070b409a7b15b82","datavalue":{"value":{"entity-type":"item","numeric-id":2180520,"id":"Q2180520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45da5da08fbddf622e384ecb4a4bd6602dfd8cc","datavalue":{"value":{"amount":"+0.7494372725486755","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":"Q1694453$9F25BF22-A024-441A-ABC3-A861E3EBD8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1892d0f5bd351667b0431e3d00f5c5c5fadcacad","datavalue":{"value":{"entity-type":"item","numeric-id":5024728,"id":"Q5024728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1439e18f63b9622449af8d8ff329cea24331b0","datavalue":{"value":{"amount":"+0.7430807948112488","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":"Q1694453$75F5848C-D8C0-4AB9-8D05-E69072A5894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad74480f51f6a27fb78219e4b7a71f25ec115f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4353717,"id":"Q4353717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49ca0c36033ad505429220336d7f206d154ba0a","datavalue":{"value":{"amount":"+0.7367818355560303","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":"Q1694453$130905EA-A65F-4E2A-BDA9-8B1D0F4F9C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7571a2596927124a219062d5ea2f8b20178c390","datavalue":{"value":{"entity-type":"item","numeric-id":1192350,"id":"Q1192350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752ea16dd20f032d1b0f2c12772c293285ba7e80","datavalue":{"value":{"amount":"+0.7301996946334839","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":"Q1694453$143C6D90-A27E-4B01-B3CD-4C844B9A108E","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":"752ea16dd20f032d1b0f2c12772c293285ba7e80","datavalue":{"value":{"amount":"+0.7301996946334839","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":"Q1694453$5CA36617-0A8F-4447-80CF-55F568B6E0D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpreting sequent calculi as client-server games","badges":[]}}}}}