{"entities":{"Q4644486":{"pageid":6674067,"ns":120,"title":"Item:Q4644486","lastrevid":53313359,"modified":"2026-01-24T17:18:30Z","type":"item","id":"Q4644486","labels":{"en":{"language":"en","value":"Cut-elimination and deductive polarization in complementary classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997873"}},"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":"Q4644486$C305B8B6-F506-4AA5-A114-7F8234B51245","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6902b5aed49b8761fad4db4d02582a094256728b","datavalue":{"value":{"text":"OUP accepted manuscript","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644486$EE9C5864-A1C9-48FE-9D1D-66C620E2AEE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c45e71f612ade5602f104f554abbe1362c74a193","datavalue":{"value":"1405.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644486$D64BA613-EA53-49BB-AB9A-D4970CEBA9B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bdba2590022c90a202dc79d5f2fc1152466ada","datavalue":{"value":{"entity-type":"item","numeric-id":472803,"id":"Q472803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644486$CDE8ED80-D0A3-45E9-97E6-B4E8A944ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644486$C2BDE6E1-6E86-47DD-A36D-2F9BB0B9CBE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba0b471ae72bcf600813e5aa99f53535741619b7","datavalue":{"value":{"entity-type":"item","numeric-id":4644485,"id":"Q4644485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644486$708BD63F-26B7-488C-A77B-5F02C6102A22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644486$5EA15F29-9813-472A-8E80-843D250756CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644486$728957DA-CBB6-49AB-B90B-CF189FA69A1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7acf4331df52c015ed27a91d92a6311c85f7849c","datavalue":{"value":"6997873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644486$535BC4BC-760B-4FFC-A23D-0721912ACCFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c7fb89f2142b54084a3160c621ded7e0187c0c","datavalue":{"value":"complementary classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644486$16411BCD-D6C4-4C81-9C8A-65A47775F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4377c9d3bd930c7d42c94a07d8682f487a2ccab","datavalue":{"value":"refutation calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644486$E079DBAA-CCC8-4E69-B2F5-30971E55E554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644486$74B9FBF7-0700-46CE-A070-3A72679CA0E0","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":"Q4644486$D9012804-7CA4-4A24-93B4-C0CC0F6F7762","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f853a0c5a0ce40decb5fb8dab816c607885d5bf4","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzx006","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644486$C1C7BBFC-3126-4EA2-9305-9D4B1E55C08C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6eaa29dc8f01f0508a118ec20a84635593e193c","datavalue":{"value":"W2620584519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644486$EC79D022-FA54-4620-B16A-F64EF8467D77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51da321f7c8b3ed498a332c332fa13fdb7d6e21a","datavalue":{"value":"10.1093/JIGPAL/JZX006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644486$0FB35288-3C44-4C7E-B2CF-F8172B5E05CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9d2696e1f31a0e1464593f59c0b0b850cd43a7","datavalue":{"value":{"entity-type":"item","numeric-id":4327830,"id":"Q4327830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f798dfed850bbc8bbc142fef7d8375b1e54bcc22","datavalue":{"value":{"amount":"+0.7579553723335266","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":"Q4644486$E32A5CDF-988B-4D69-9B68-A6B3097A889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786f417d58cde01035ee16bc50864740cb419d1","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"343e0183628d35d68a19b1358326a3bc0561d895","datavalue":{"value":{"amount":"+0.7545162439346313","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":"Q4644486$130C9337-C863-49DB-B349-D1DC667616D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9fc6ab7c7ddfc112e975e3314d11db66351706","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048cbf8051de7f83d12de7b08882da10e75c47b7","datavalue":{"value":{"amount":"+0.7518367767333984","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":"Q4644486$B311BF94-7448-408C-800F-21BCA6EAC306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd90132583942c3fa65b9bb4a0c81d3f84dc3b69","datavalue":{"value":{"entity-type":"item","numeric-id":4218933,"id":"Q4218933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9498dcfd090b4e169b2b953592a21f49ce47c5","datavalue":{"value":{"amount":"+0.7491621971130371","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":"Q4644486$B35F964A-19BD-411F-8A9B-B40CBE3E2807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fc83317d87d8cb8cc132b40d898c1930ca2330","datavalue":{"value":{"entity-type":"item","numeric-id":4648720,"id":"Q4648720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9498dcfd090b4e169b2b953592a21f49ce47c5","datavalue":{"value":{"amount":"+0.7491621971130371","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":"Q4644486$B0974B5C-52CD-4DD0-9320-ED106BD787F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644486"}}}}}