{"entities":{"Q1361252":{"pageid":1371991,"ns":120,"title":"Item:Q1361252","lastrevid":46500975,"modified":"2025-12-24T22:23:21Z","type":"item","id":"Q1361252","labels":{"en":{"language":"en","value":"A constructive game semantics for the language of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038667"}},"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":"Q1361252$8D34DE94-6D3B-4E5F-A094-F5065C6F92F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed1fae114cacc31a19957251abd821432d06f81c","datavalue":{"value":{"text":"A constructive game semantics for the language of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1361252$7C517E6C-7EAB-49A0-AD94-A57750DBD236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0635469f437cae7e05f32939927919103f65fea5","datavalue":{"value":"0882.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$03CAA14D-0DA0-4549-8771-9F4E028D4010","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8948bfc16b072aa674c6840649ef003b39471284","datavalue":{"value":"10.1016/S0168-0072(97)00046-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$7018E361-E379-408D-B133-02E16AC4EA62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361252$A2ACAB88-09C6-466B-9203-D68BF84A88E0","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":"Q1361252$0498C786-E702-40D7-8A3D-448682785CFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dac4da21f0f275ab533dea6355d55966bb2f8eda","datavalue":{"value":{"time":"+1998-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1361252$BA83D5CA-FC7C-4A2C-A481-D94562B1D5F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c917d22fc6c217f0c670605bcc1e202f8146e7e0","datavalue":{"value":"A system ET of first-order additive-multiplicative logic is introduced via game semantics and proved decidable. ET contains linear logic and is contained in BCK (linear logic plus weakening). The author notes similarity to a game semantics \\(G\\) introduced by \\textit{A. Blass} [Ann. Pure Appl. Logic 56, 183-220 (1992; Zbl 0763.03008)] and conjectures that the method of the paper under review can be adapted to show the decidability of formulas valid in \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361252$17316FC3-0492-4A1A-9F44-8A8901F87A4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$B9395504-905D-4BA6-873F-C404D7F062F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$B079168B-8584-4491-B6AF-1DE292279D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$BF59DC6C-6920-4224-9DA0-4725CE24A0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$400B8BAC-FD4B-484D-B6F9-8931AA007A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$E14AE298-3AA7-4886-81A7-78C4153B0A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$47521FB6-113D-4B04-A35D-AC7635E4CFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$76BEA0F3-D5C0-4A7D-8FB7-C2F2E66FFD8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cca26c589aaefd4615a136c873824f1ee85fd07","datavalue":{"value":"1038667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$8D931300-32F5-4608-B503-0DD339ECF7CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edde6d371f4e9d0de0e13ca5404ff060d9bf5f7f","datavalue":{"value":"first-order additive-multiplicative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361252$C4D0C945-F9EC-4592-A25C-8AC35C8F825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361252$6D2A1D6A-519E-450B-8808-EAE9224215E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361252$F48D79F8-98F6-4207-80E1-A8E8B0599E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dbb9a95506db598fe22fdba6498c22deb309d57","datavalue":{"value":"BCK","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361252$E0F3972D-1576-4A92-A58B-DDA2A7A5B66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1361252$BD90AC1C-75DE-44F5-AABE-614B149098E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361252$C821A041-9F9C-43E3-A753-728C35F0DC78","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":"Q1361252$5837EC46-E39F-4478-896C-11B8F74C15E6","rank":"normal"}],"P223":[{"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":"Q1361252$0AB3AEE8-31B1-4B2E-B8CB-E515831E84A6","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":"Q1361252$12F205FB-AB09-4AC0-BA16-F1267099C0E5","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":"Q1361252$71E8619C-F8CF-4848-81A8-86481434A30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361252$FB3333DD-AB8B-4318-8D31-D67DC0D11A8C","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":"Q1361252$6B26D067-9463-487A-B972-06D48B28FDCE","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":"Q1361252$DD9D6452-8801-4259-819F-6753E3A848AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc670e099e44c17753fb11a36c2e333c69e6a2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3893889,"id":"Q3893889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361252$DB5DA288-3C36-4BEC-AB6F-89B2B2530547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1361252$3E13896F-5CAB-4462-AA43-244305A56347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8712c34da44a89c95429b0e11623d64484afdb08","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(97)00046-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1361252$5C3AB509-E46A-4DF6-A6D2-C2B4DFF09E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ceaa490486f37bc17bef8a1edb4253948fc65470","datavalue":{"value":"W2030369737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1361252$C6E6545C-C193-41C9-931D-3763FA4A381C","rank":"normal"}],"P1643":[{"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":"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":"Q1361252$1D6F95F2-DF3F-4990-85F7-F972E330D1D9","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":"3ac66e83224428e10345919ab554ddb8f0bf0d85","datavalue":{"value":{"amount":"+0.7920894026756287","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":"Q1361252$963DC0C3-9298-496A-93F2-21122D6B383D","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":"754b34eb728291407478b2dfccdb6abe3c040567","datavalue":{"value":{"amount":"+0.7904313206672668","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":"Q1361252$8811023F-440E-43E5-BE68-07CF776AAB37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1361252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1361252"}}}}}