{"entities":{"Q2805162":{"pageid":2815900,"ns":120,"title":"Item:Q2805162","lastrevid":58014108,"modified":"2026-04-03T11:13:13Z","type":"item","id":"Q2805162","labels":{"en":{"language":"en","value":"Contraction-free proofs and finitary games for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578706"}},"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":"Q2805162$8BB6996D-0B3A-45C7-864D-29036736E7DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"733c5d07fae43097c5a880524926b5068c21bf70","datavalue":{"value":"1337.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805162$36521FE0-5F6D-41F6-8079-0BF5FD968608","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ced82ade153cab37e9c57d4b1bd74e3f3b1ad87","datavalue":{"value":{"entity-type":"item","numeric-id":2255540,"id":"Q2255540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$DAAB55A2-EC18-4E99-8F0C-4E0744257CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$9E2FB33C-C7F6-4BF5-96D4-9F8C3F9E3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b98d978fe1bcd6c0757acb680bbf15dfeeab6501","datavalue":{"value":{"entity-type":"item","numeric-id":1253341,"id":"Q1253341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$F1B26DA9-9543-4F45-8480-EDEC97E8CB32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$AB41F3A4-123A-4A61-934A-4A6D8AF09467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805162$B5145CF9-AF2B-4863-93DF-257E266C4B19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0baf6dcd4fe867da3b3c9c23f565b2dbf0c403f","datavalue":{"value":"https://arxiv.org/abs/0905.4064","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805162$F6C8BD09-5C3C-4517-B96E-C6A330717D67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805162$74A53097-4641-4632-973E-91C9EB097140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805162$417F4D25-CA1D-4787-99C7-71FE158DFC92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff4f10bdc5aee92a8868b1171734777330190f8","datavalue":{"value":"6578706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805162$49DE6319-EEE3-42FC-9DCD-175FAB417F13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805162$A610AB91-ABEE-490F-B7B8-4C509E278AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805162$E716BA8C-2180-4A31-9CB8-773E3643C909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7776702fdf7fc9b81e67c5db57d68a6fdcf5ffa5","datavalue":{"value":"contraction elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805162$4AF08125-3BAB-4219-9BD8-8AD11AD33560","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":"Q2805162$B1943AF5-207B-48D5-B4B4-611CA0EFE6C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65138754dd2d8f67d3ef44e320fb5c4149ce3d82","datavalue":{"value":"W2150101840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805162$1660B710-83AC-415B-80AC-F72B3F8530E5","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":"Q2805162$93324463-4072-4842-9E8A-82B1E19A6942","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":"Q2805162$B9EEF54D-F304-47F2-AA66-30A1E48A5FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89014fdaf1fabd43e47c8e235e2631fcd212f550","datavalue":{"value":{"entity-type":"item","numeric-id":1840460,"id":"Q1840460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$2EC16736-8264-4AAE-86A1-DC0EF9F320A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ceeb9d1d61c6f5a256858dc451469f1b7db716","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$54ACC542-6971-42A7-89B1-736A42AF5D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$A73CBE07-E191-4676-821F-9920B3CE457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054cdb529d3e37d24c890e503246d413e8cb07a1","datavalue":{"value":{"entity-type":"item","numeric-id":2743638,"id":"Q2743638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$94F11868-036C-4F4B-A2F7-A2058058F0CA","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":"Q2805162$98A5434D-311D-4BC4-B886-8802BF6F323B","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":"Q2805162$7DB65733-9371-4E22-9DA3-02317827EBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc0fb65733fc37ad8aebb111052373ba74a1a61","datavalue":{"value":{"entity-type":"item","numeric-id":5458834,"id":"Q5458834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$3FD4184C-B1DA-4362-8D56-D0A6BAA991AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3210502d3f11d21989afa65c9ec93702e66526","datavalue":{"value":{"entity-type":"item","numeric-id":2805162,"id":"Q2805162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$77168C0E-F274-4E85-BA0F-8BE61A76CA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2932435bf88167c762781bbe294026bb31718314","datavalue":{"value":{"entity-type":"item","numeric-id":676308,"id":"Q676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$7644141F-B8A3-4C33-9CE6-B163EF2BC3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$B3B2A111-2505-48AC-894B-441B151EEF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56397b7deb61d3c84140e031e19be53ff24e2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1112582,"id":"Q1112582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805162$39CB581D-5D29-4369-9E0E-378F0A6DCBA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b590e7f48f405029a44f4267caedc48c60e52775","datavalue":{"value":"10.1016/J.ENTCS.2009.07.095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805162$01F86F3C-1389-4706-B5D1-44EF6A8D6245","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2a36090a54f4efbc6d2e9ce53a369d2ecb9b035","datavalue":{"value":{"text":"Contraction-free proofs and finitary games for linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805162$65617D75-81E1-4811-901F-B2573272C0BF","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":"c86e621e78d17dc93d687e417b71569fd98f4eb4","datavalue":{"value":{"amount":"+0.802026093006134","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":"Q2805162$BEA06FE7-C2A4-4F46-9EAC-AB4D607DB868","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":"c86e621e78d17dc93d687e417b71569fd98f4eb4","datavalue":{"value":{"amount":"+0.802026093006134","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":"Q2805162$1C5B906B-DDC0-44A0-8A01-8B945CA6EC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f24bcbef71be4a407b8212fba94e8aa2e65a958","datavalue":{"value":{"entity-type":"item","numeric-id":4499228,"id":"Q4499228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5651989d091ec1a72c0954abc2fccc820b7139f0","datavalue":{"value":{"amount":"+0.7917307019233704","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":"Q2805162$C4DA179C-2C73-4602-98A1-31EE8E379840","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":"31a74336738bff082d69ba3b05343575c4b9e330","datavalue":{"value":{"amount":"+0.7915050387382507","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":"Q2805162$46359AE3-2A04-4609-B107-DBADE407E25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad9e54a3a106eb72370a862e8327d0b545b8401","datavalue":{"value":{"entity-type":"item","numeric-id":1314388,"id":"Q1314388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59834297c6ad30a71fb15c3a7f38e70b5e697e4","datavalue":{"value":{"amount":"+0.7814726829528809","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":"Q2805162$ACEDF0C0-A4A8-4A7C-8FCE-4513A3D511F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805162"}}}}}