{"entities":{"Q4656555":{"pageid":6686136,"ns":120,"title":"Item:Q4656555","lastrevid":48434602,"modified":"2026-01-04T19:27:40Z","type":"item","id":"Q4656555","labels":{"en":{"language":"en","value":"Natural Deduction and Weak Normalization for Full Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2144300"}},"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":"Q4656555$C95F5C02-81F8-4A26-9C5B-2A911FC3E7D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c9c4a78e0222ed0deaae003657524ca170fec0d","datavalue":{"value":{"text":"Natural Deduction and Weak Normalization for Full Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4656555$9D29D63A-1885-46CC-981E-893719B23AB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad464ec3b95c536c03de236b90ca77551b9d871a","datavalue":{"value":"1062.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656555$70B9E40C-21FD-4B58-A692-F6C2046E4141","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ade6822716119172a1ac7ace87519af4c88505f","datavalue":{"value":{"entity-type":"item","numeric-id":2478552,"id":"Q2478552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656555$3B7C8EE2-3E85-49C3-95CF-BB02A1D1D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4e29a6551ed654b95caa163f18d6589ab9dd41e","datavalue":{"value":{"entity-type":"item","numeric-id":654909,"id":"Q654909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656555$540FC7FC-1D61-477E-BAB1-463A49BD6195","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a1e9f97959c3a0c8005f0f6e1f91f49b76b5347","datavalue":{"value":{"time":"+2005-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4656555$30246218-7320-4549-B263-413BAA886608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656555$25F1A230-1BD9-4F8F-85F9-6E856007A4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656555$6179DE0B-6CF6-4C3B-BE24-7F564F023E7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a6758c968deea21ed56d576d231b216dd83d61b","datavalue":{"value":"2144300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656555$86EB1FE5-40B7-44F8-8929-DE66F6014C7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656555$9F72D035-93CC-4226-9C9E-9BE97C509ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656555$69092847-7959-4BDC-AD3E-BB05B292C87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656555$3F6D704A-77CF-4A3A-B8DA-3A77564A800A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656555$17352491-F2EB-4C27-99B1-73309757E3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1515c6b28ac244ca626e37f9a812209072bc860c","datavalue":{"value":"subformula principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656555$D69AF8DE-1472-4CA4-BEFB-5EC40BE264AB","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":"Q4656555$3809AEE5-9E86-4611-A80D-63AC16CA6FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bce44bba5b75cb4efc5cb0bfe8a5e75cf07f931","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.6.601","type":"string"},"datatype":"url"},"type":"statement","id":"Q4656555$757182E6-5CAE-4A34-893D-55C7CF1D189E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d3c80b7793459237361269f2eb5e6344815e3a7","datavalue":{"value":"W2166587904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656555$3CD5B23A-0CC6-4BF7-A764-2E6E559C6605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b66e8d442b3a7b7444473af1768ba9fb9922e741","datavalue":{"value":"10.1093/JIGPAL/12.6.601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656555$CA47BFBD-3390-4961-B7F2-E8F32DB82F99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656555$1A4DA717-E63B-436D-B409-FFA2CE693A7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ba05f2bdb99baed98880b954c69e4795b578ad","datavalue":{"value":{"amount":"+0.8743043541908264","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":"Q4656555$6C999104-5E8E-4E98-91B1-24C71B59CB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8d22379d985f94e88a0813321392406a70289f","datavalue":{"value":{"amount":"+0.8282597064971924","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":"Q4656555$4F21357E-3ABE-46C5-9B98-D4C16ABBB1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6dba9f748e3403d6dcafa58273bddf207696922","datavalue":{"value":{"entity-type":"item","numeric-id":1267849,"id":"Q1267849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054faf8c0a486178c5a6e058fde9547a29d27391","datavalue":{"value":{"amount":"+0.824596643447876","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":"Q4656555$5C249BFA-316A-43F0-8E3C-497607CABB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af88d62877d5796fe13790ffcc84d04aafe49e9","datavalue":{"value":{"amount":"+0.8238389492034912","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":"Q4656555$7A36EF90-2CA1-4FCC-9D3E-23736AC98A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6448074e4b3dbbcc45d55632bdaa4bfcd3ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4261096,"id":"Q4261096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35265a6ee413583a5c437fc421b2f1e78d792791","datavalue":{"value":{"amount":"+0.8231465816497803","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":"Q4656555$142E098D-DDA3-47E5-8A61-FFB871A7DAA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4656555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4656555"}}}}}