{"entities":{"Q4006233":{"pageid":6036048,"ns":120,"title":"Item:Q4006233","lastrevid":88061876,"modified":"2026-06-04T13:32:30Z","type":"item","id":"Q4006233","labels":{"en":{"language":"en","value":"A new constructive logic: classic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55589"}},"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":"Q4006233$2A51006D-7E82-4A5D-BD59-3C6F1EEAE384","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a50d4bd01653740181c91bd0dc85334948897b00","datavalue":{"value":{"text":"A new constructive logic: classic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4006233$AB359D0A-8E90-4A77-A1B5-CA29D4B8AB72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9f5b2b6324f683b565de2258a300138978d40ab","datavalue":{"value":"0752.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006233$51324B2A-493D-4BAE-BABF-611A344278A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40e2802b143963a4693ecbdae279ae49ffe664bd","datavalue":{"value":"10.1017/S0960129500001328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006233$1C0BB1E7-A07E-445C-96AD-C57ABCE3A8F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006233$C296B6A8-9C5E-4877-B3ED-4E52893B5F44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006233$650B0550-A6AB-429F-97CC-5A0DE1078CAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4006233$8BB3112C-98BB-4CF6-ACC3-D739C8595A03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006233$643A2635-E2B4-47CA-AB0F-7E8F3B556F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006233$C5B73B6F-7808-45C2-B8E5-FD61254700D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006233$140D0EC0-3351-48A4-99B8-E9B483AFDA90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4034f588b1592c7eb57e0917d476087adddbdf77","datavalue":{"value":"55589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006233$5F4AACCB-FF02-49CA-9650-920A68717657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9170c0f9099538692281101633ac3a47e75ec535","datavalue":{"value":"Gentzen-type system LC for classical first order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006233$342B68EB-794C-4C36-BAEF-7CC58456CA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c771b13742ca21d54fe8cc63702f48991876f1","datavalue":{"value":"negative translation of classical logic into intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006233$180DDD41-4138-46E0-8772-51EFC890A1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c5f47c2ad651b0e1fece23e693a4be6a877f773","datavalue":{"value":"semantics for derivations in LC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006233$C7B0ABCB-73DE-4D28-B524-D76C70C38124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23b1a1c91bf7b1e9e1a63fa1cf8bac87f005db","datavalue":{"value":"correlation space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006233$7B65D0DF-9B83-4597-A325-2C8E7BE079C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4e171e5dd1221112c43de55a1f1ca0b398a691","datavalue":{"value":"coherent spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006233$1846FF89-3D0C-4FD4-8012-64D906488286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd9a650d96ad89171fdbe40dff1f98d1888950a","datavalue":{"value":"semantics for derivations in \\(LC\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006233$2B643B36-E96A-4F19-BFBB-7CC2B5734DA5","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":"Q4006233$038445E8-DB09-49BE-BA46-0C04C7B73060","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006233$0E78E3CA-5B17-4ADB-B0AE-D37D95D0E337","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":"Q4006233$7E3BCD93-477D-4AD2-9508-E5575A729A8A","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":"Q4006233$8042C547-1C69-4D9E-9686-C887D14D455B","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":"Q4006233$36491ED2-D1A7-4204-B8C0-DB93E22412EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eb075858cb9fee96a7bdce71860c201207f9d17","datavalue":{"value":"https://doi.org/10.1017/s0960129500001328","type":"string"},"datatype":"url"},"type":"statement","id":"Q4006233$D695BE62-1A25-4A9F-9A4B-E1908FD70E9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35927afd031f5c759875648797c98a017d3b783a","datavalue":{"value":"W1985185257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006233$3CEE79F7-DF30-4005-B3B6-AA1BACE9D78C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c26b3b93c801a39e1118c9f15fff16272e5c943","datavalue":{"value":{"amount":"+0.7903585433959961","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":"Q4006233$B0B6A29E-4C89-48EC-937E-C7E8A597F691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e675133ee67b4d4d550551ea030551afcaada9d4","datavalue":{"value":{"entity-type":"item","numeric-id":3080095,"id":"Q3080095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b05b4c073715776280abd6aa45238084702cb48","datavalue":{"value":{"amount":"+0.7824125289916992","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":"Q4006233$DF13ECAC-5DA5-46D0-83CF-225BFB8C9897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def43f25b01aa63decaf62908c7a80e2a0b59d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1203786,"id":"Q1203786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7e28fb6a17d99cf4c2170a01fad65358f42df0","datavalue":{"value":{"amount":"+0.7709203362464905","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":"Q4006233$381378D2-315D-4766-8090-204C4390FD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce96de72e1ffe859b11185ed8b5bbcb6997d4e97","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebbf881138268bf80ec9046fc4bb01a939fb643","datavalue":{"value":{"amount":"+0.7641775012016296","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":"Q4006233$904BC982-7C16-447E-B11C-B2A9F3C50477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3db21f583ac0e09155b3d2c57606588a5291fb","datavalue":{"value":{"entity-type":"item","numeric-id":5499598,"id":"Q5499598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e25724c9c5dd578bf72129e800fde8d559b46f2","datavalue":{"value":{"amount":"+0.764032244682312","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":"Q4006233$036F21B7-8F37-4C1A-9157-EE5F6D257B80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new constructive logic: classic logic","badges":[]}}}}}