{"entities":{"Q1192350":{"pageid":1203099,"ns":120,"title":"Item:Q1192350","lastrevid":66819168,"modified":"2026-04-12T13:04:02Z","type":"item","id":"Q1192350","labels":{"en":{"language":"en","value":"A game semantics for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60751"}},"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":"Q1192350$0631F6B9-EDDD-4EA9-8A3C-629DA887F687","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfa27cbab129d062c03ef3af4c84cf26d5303e65","datavalue":{"value":{"text":"A game semantics for linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192350$F59AC7E1-76E6-4CAC-9EE5-137D57F48AD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63f72788ca65a1cb07f038f3f6638f3334d7040c","datavalue":{"value":"0763.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$7D028118-14D1-400D-A75A-CCCE5E66A21D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a19a321f06cf7991ffecc709c40510be44b01aa","datavalue":{"value":"10.1016/0168-0072(92)90073-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$E064C96B-AAF2-4361-A6BD-B2478C9B0785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$E71280E5-5751-4028-BB87-A3F35E9226A9","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":"Q1192350$4B92C303-1E5E-4E8D-AF13-7EC38F3BA2E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192350$0558B88E-DED3-41A9-AE40-C41D4BB99A22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef74b26d67c3494906b119ba1daa5da5cee4bc3f","datavalue":{"value":"http://hdl.handle.net/2027.42/30097","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192350$5F66BB2B-A4AE-4BA4-940A-2271F149EF8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$3EBE927E-C48A-4A1C-80E1-8A6AF59CC9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$2D32D5E3-B5BB-4B3F-90C5-9AD3B4E45411","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b952a59ede1ddaf28c8e9777654ced9a4ce18680","datavalue":{"value":"60751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$00326AD5-0593-473E-9B8E-156B04345DD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb162c196a3357547697a42a48b523e2788d32f","datavalue":{"value":"constructive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$AAA634D8-BDBA-4BC6-B978-2A7AB064EA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee5e283f957e9afcc16c514affbaf56135a07ee","datavalue":{"value":"G\u00f6del's Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$1EBEA927-3DBC-4122-B780-016CAA35F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$3FFB26CC-B25E-4B82-B7A1-35755287CB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0133122c95b64d65437216a656f85077272969ac","datavalue":{"value":"operations on games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$56CE6F4A-E73A-4979-ADCB-D3D20168A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc35f05507f2f599ca678dae484d9c6c08184fec","datavalue":{"value":"affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$EFEB7DE5-05AB-4C77-A2B3-28A65CAB7F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c3028210da61c81f5f6e73143964ca426322b6","datavalue":{"value":"rule of weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$4A1AC736-CB6D-4F8B-8178-D668D10030FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$49D0063C-1E46-4B93-B689-4ACBB148E38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3419a35231774ca4a3c8c57061a38b4ea65049fe","datavalue":{"value":"additive fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$DBEAD276-22F0-495D-BF97-36B86388A269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7612be44175841db287ced67c793b9d7a90302","datavalue":{"value":"multiplicative fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$A19F0CA2-B5B6-40B7-B3AE-824FCC9A2A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192350$75926DC2-5DDD-48BE-9247-7BF2CF23D8D3","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":"Q1192350$37F18C53-C094-4174-B719-E7D2E9861EE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f55bd27df1c863157443240931459cdd91767482","datavalue":{"value":"Q59410904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$234C8709-FCDB-44CE-B3BC-41564D2558B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf96f1f77d2fcfb88756dca7bebb3e9fbabf79ae","datavalue":{"value":"W1996605832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$01ECC519-0E41-4B41-A8D7-A3360256B6B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6d8760610b24af897d36abe23e626dbd7c5d38","datavalue":{"value":{"entity-type":"item","numeric-id":5643819,"id":"Q5643819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$F315FD57-7F72-414C-925C-18459A3D78D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdaac06e68f6b31b24b191c6444d10093c65340","datavalue":{"value":{"entity-type":"item","numeric-id":3829551,"id":"Q3829551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$7A6A51CA-E7D9-4272-9177-68D357E52498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$A4B7DFD5-F370-4D17-AF3E-60BB124408D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89972728f65a513af42fab08e44de5417f2155b","datavalue":{"value":{"entity-type":"item","numeric-id":3914993,"id":"Q3914993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$AA2CC79A-265B-4B00-9926-A84E46B5C461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$EA2BE506-5600-4A14-86DB-759E2BC45433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$8DCCA5BF-D52C-4E58-9B42-CD905754AD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$2C287497-530A-4390-89F3-5C168E05C826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580dc50b6a43cb32c0e28a6d1454c3bc5b55b2e3","datavalue":{"value":{"entity-type":"item","numeric-id":5569434,"id":"Q5569434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$FA13DA2F-6137-4B9A-BD71-2BEDD79BD3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192350$55D15EC0-51F3-4A2D-8E11-BE2FFB8A9DEE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"878e71df8ae6baa65cc2fa02a8c36b58697ec204","datavalue":{"value":"journals/apal/Blass92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192350$B277D5C6-E531-4005-9B9D-D11F14ABF8CF","rank":"normal"}],"P1643":[{"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":"f75de015b73abe1bcc7d86cc8e50c8b48ae27260","datavalue":{"value":{"amount":"+0.8636698126792908","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":"Q1192350$35CA60A4-F149-4FF3-8943-34E4CF3086A3","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":"84c8e27eb0553ce1c93d4ecb3aaa44f80475cfd5","datavalue":{"value":{"amount":"+0.8586395382881165","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":"Q1192350$19BEB883-8A90-4A00-9B0A-25EDD7871FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de2c99d6283f67513aac42be8add59c69b34f0","datavalue":{"value":{"entity-type":"item","numeric-id":4222836,"id":"Q4222836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c8e27eb0553ce1c93d4ecb3aaa44f80475cfd5","datavalue":{"value":{"amount":"+0.8586395382881165","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":"Q1192350$AC1B85E5-199D-449E-95B1-AAC5B144F29D","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":"11e609b3c78b59abf831d92620c40bd427dad58b","datavalue":{"value":{"amount":"+0.8410588502883911","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":"Q1192350$F16B7725-8C72-484A-8151-E0DE508CF5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b54d3a526ce5d3f448bd2330f4c4e485957822e","datavalue":{"value":{"entity-type":"item","numeric-id":1361252,"id":"Q1361252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e28a9b967bb423ee408098013ab72e2c6ef244","datavalue":{"value":{"amount":"+0.817815899848938","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":"Q1192350$7926FAC9-E862-48BE-BB31-14DE7759B0F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A game semantics for linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_game_semantics_for_linear_logic"}}}}}