{"entities":{"Q4302352":{"pageid":6331953,"ns":120,"title":"Item:Q4302352","lastrevid":58240575,"modified":"2026-04-04T09:17:57Z","type":"item","id":"Q4302352","labels":{"en":{"language":"en","value":"Games and full completeness for multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 618232"}},"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":"Q4302352$6F8291E9-E13E-47BE-9A58-CE167687ED10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b15013a04b5ff2a065b7685a84b109a7654ee927","datavalue":{"value":{"text":"Games and full completeness for multiplicative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302352$550099C7-6861-44E4-9FC7-26E99DA416A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b7a7ed8fd0011fc3b6270e0c999f77facef5b8d","datavalue":{"value":"0822.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302352$ADF2DBC6-372C-4B61-BB60-07137952B708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edb314159859e61ae5f59c4744e793d551f85600","datavalue":{"value":"10.2307/2275407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302352$FE05C661-8BB8-4A96-90D4-6446057B750C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$31AEC87B-CFD6-45F1-8252-131C40BA7551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$B9ED894D-0C81-44DF-8FA9-5FE9CED0D7C3","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":"Q4302352$2B221447-DB7F-4AD2-A9EF-2AEDD71FA108","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c43f44e06ec88d5a4f3bab3a7b41ef43c84549c","datavalue":{"value":{"time":"+1994-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302352$609798B2-A5E6-4044-AFDA-253A6C22D906","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0f5398a45a7cf8d3badfc2d1053403060bd6036","datavalue":{"value":"https://arxiv.org/abs/1311.6057","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302352$F81AFF7F-514C-43F8-AFF7-B4A03AEEABEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302352$70BB50A0-7CBB-4F54-ADDC-C2C82366944D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6437fd516154e25d7b8dee05ada649d76265e800","datavalue":{"value":"618232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302352$83BC9F48-2BFC-4DDC-84F2-205CC19FC9B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302352$0AC0CCCF-3B98-4F53-9258-524FD7895AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302352$AFFDE4DD-83EA-4294-BDDD-A661F8513DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"779ab88a19b1d3b1b76f3802bbef73ce23579849","datavalue":{"value":"winning strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302352$AF7FCECD-D512-4281-86A9-0A7732AB0401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302352$ACB76AA5-3255-4259-8182-CD1ECA616E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8230a611a98fb84134c25d2c8ed13d57cb68dbad","datavalue":{"value":"proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302352$9ED02AB3-04C6-4A2D-95C4-DA44A1CC72EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0f0f63bbb0689e32a85fad376a2aed314f3b147","datavalue":{"value":"Q57006867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302352$205E825E-6F28-43DD-9223-4E56F4687AFF","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":"Q4302352$CA9FB95B-9E3C-4666-83F2-30EDF221A1A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fe44fe62cffe2e6c9312fa9a803d6dc8539fe13","datavalue":{"value":"W2094685149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302352$F2AC51EF-FF0E-4523-AE4B-43C4817997F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74db8a831e95996eb99c0e9b219812d0b0317aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4006228,"id":"Q4006228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$95EB3DDA-E284-4FD9-9875-FA9FB59A5968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$2AFEBC41-B909-4338-88B6-5F5088AD0DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$A705B1DF-00F5-4C97-B723-115B7DA7EF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83b6cea3f8114a041aa5af814172677040bd6bf","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$523AE82D-2E32-464D-A229-FA06508F5473","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":"Q4302352$AA6F305F-2A64-46AB-A2B4-A913B0D09B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$A7880A93-8106-4E1A-BD44-FC58A9A6995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$A89F7F7C-8C1D-4AFC-B7A5-BA7F9DF1AD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$4BD587B6-17A0-41D8-A344-505D834E4915","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":"Q4302352$EC68DA03-00D7-4C1B-8E24-AE5860787401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$FDA097AE-5711-4C53-8153-4A796E107E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302352$A0DC4A79-C05D-4379-B938-3B78204B2EA7","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":"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":"Q4302352$3D8B03F8-678C-4FC6-8412-319E4221AA10","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":"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":"Q4302352$90C44876-FFFA-4FEC-83FE-38E07075F7B4","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":"b64fc9168e95d4fbf97ec8034332365d91acd807","datavalue":{"value":{"amount":"+0.837472677230835","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":"Q4302352$B527B0CB-6917-470F-BC96-4D72D2096E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaac62a126f95f2c67d0de92bb73a5099713bc1","datavalue":{"value":{"entity-type":"item","numeric-id":3444645,"id":"Q3444645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7995b00a72154a6e8f2d3fc4ce331470759da811","datavalue":{"value":{"amount":"+0.8161192536354065","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":"Q4302352$E512C745-DC0E-4383-943F-333ECF7B49CA","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":"5d7f26bfa8c2582f4d80e58608f16e9703babd19","datavalue":{"value":{"amount":"+0.8054054975509644","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":"Q4302352$B6BA41D5-91FE-4A27-8D9B-A7CD3B8A53DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302352"}}}}}