{"entities":{"Q4221298":{"pageid":6250899,"ns":120,"title":"Item:Q4221298","lastrevid":46610106,"modified":"2025-12-25T05:07:24Z","type":"item","id":"Q4221298","labels":{"en":{"language":"en","value":"Saturated formulas in full linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1234515"}},"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":"Q4221298$614C7228-4E46-436C-9640-7DB998D8FF4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c31be59f3dae298106ffb28e6dc1e5148a41408a","datavalue":{"value":{"text":"Saturated formulas in full linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4221298$8338C91E-495C-4E73-95F2-4C6304FFB363","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b854abd4fe9b7db50b692ecb60338aa50a4679e5","datavalue":{"value":"0913.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221298$1C522A74-649A-4EF8-8CBE-5A352D0E262E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b35ce0ee91f4b64611003656bc5612e3d5fda300","datavalue":{"value":{"entity-type":"item","numeric-id":4221297,"id":"Q4221297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221298$D6A49001-74C9-46DD-94B0-0A80543D0C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221298$E689D5F5-9E33-47E6-A250-7BA165868588","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2d2d0de991c11088faae65e4b1f5256b03090ec","datavalue":{"value":{"time":"+1999-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4221298$325084DA-60A5-49CF-A741-75FD1E5696BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221298$CC99F775-7E30-4A95-9707-26B7DA6D1271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221298$E6F59CBE-AFCC-4875-9039-6899CCAD4650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de73135761920dccdad2b065e0e94f6227b22db0","datavalue":{"value":"1234515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221298$31A865CC-C7B2-4120-8D0C-BCA8DD941E6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221298$710B42E5-7099-435D-B84E-067C7F54741F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221298$EE8D78D1-B84C-46D4-A107-D6F81B6686B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658931eed1802b0bc043ca2253dbca63507aa5e5","datavalue":{"value":"full linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221298$3FA116CD-C959-4F5C-8481-76E11614D1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221298$94271896-0ACF-4558-847B-57B4BF24E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221298$49FBC360-D33B-4C9F-BF8F-85CB92AE283E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e716707f950b276e7516a89864ba226b193c83f7","datavalue":{"value":"saturated formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221298$14272260-40FF-4389-88ED-FB2BE742963D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f778e420fbf74eae9ce2e23d2c82a953cd8b26d","datavalue":{"value":"exponentiated formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4221298$633BF517-434B-431E-9109-F60CAA2AD23B","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":"Q4221298$37E3AE70-1E17-48A6-B137-279DA5DB58F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c271e95601db4f880816bd0aa93c7eccfceef355","datavalue":{"value":"https://doi.org/10.1093/logcom/8.5.665","type":"string"},"datatype":"url"},"type":"statement","id":"Q4221298$C7D66E82-819D-46A7-8362-2BDB81B6E149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dbe70d40a6813ae95bac3b38e86ac0a49f474a1","datavalue":{"value":"W2095924729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221298$A215561D-F48E-4325-B7BD-8F11CC5119B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34b2e64e750160389155eaa013ce095b2ffd6e9f","datavalue":{"value":"10.1093/LOGCOM/8.5.665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4221298$5D50383E-C854-42E6-BF5B-0989D4733B61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4221298$407B8206-81DF-4182-B84E-44CE6D979BCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9113c995ffcd37536c6fc91e79bfee98f1607c4","datavalue":{"value":{"amount":"+0.7513054013252258","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":"Q4221298$D1F819A5-BB52-4378-9A3F-FEE2CCB16577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e07d9aa6db393abafdffc7fc07c41d7099cfb78","datavalue":{"value":{"entity-type":"item","numeric-id":2805162,"id":"Q2805162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b84d0c1bc4a75fe7517641f878b8208a4757837","datavalue":{"value":{"amount":"+0.746273398399353","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":"Q4221298$E60F48E2-F2DE-4203-957E-248A9BBE81B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da83b9f265e0dcfefff7be0c3d24887198f26f58","datavalue":{"value":{"entity-type":"item","numeric-id":4380445,"id":"Q4380445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6424594b43cd2cc76c96fbc4877c5ca0dce5d3","datavalue":{"value":{"amount":"+0.7423816323280334","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":"Q4221298$D3F44727-9DF3-49D2-9E51-ADDEA4739FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e259268085225e4b8182f77c0e0e854f0c60702e","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07d59bcac138fbebd09a12d5fe2422437a5d2c1","datavalue":{"value":{"amount":"+0.7420163750648499","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":"Q4221298$968D9E35-B349-4722-94BB-BD2888471B06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4221298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4221298"}}}}}