{"entities":{"Q408542":{"pageid":410309,"ns":120,"title":"Item:Q408542","lastrevid":61681419,"modified":"2026-04-11T00:55:45Z","type":"item","id":"Q408542","labels":{"en":{"language":"en","value":"In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022771"}},"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":"Q408542$40025C16-992F-4928-AECC-3686D5DFEF58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cb55a36fed274c1f5653d83c138898e5cbd7a3e","datavalue":{"value":{"text":"In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408542$BFF37ABF-763E-4A59-8DC8-A7703D6507EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e29cea5927d12a380343385bac8a445b6609400d","datavalue":{"value":"1248.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408542$9E10650D-0AEC-40A4-B42D-C5F2364C3EC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b35478b4a24e45fa6a3a10e422c54976753b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":408541,"id":"Q408541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$9A1F91A7-7CB1-450A-8E85-99061AED3EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc629f0be60f72a336737629e351e85a1cdd011c","datavalue":{"value":{"entity-type":"item","numeric-id":322291,"id":"Q322291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$AF99A017-7A26-4065-99B2-AF4E0AFBCFC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$E8D00F83-EE40-402B-B438-A876585464D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-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":"Q408542$38F45D60-9143-4DE7-8EBF-CB4D6D0B21B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408542$FD654BC7-40C5-4496-B066-AA47E98CE8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408542$AC6CD825-E332-4033-A415-E840A810C7AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b23fb6a8c951c41768170e10ba4331fcbaa6fe92","datavalue":{"value":"6022771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408542$FEA37B96-68FA-4169-A329-B5A3D3AC4567","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916e58ea48d76cd92345f8caf7ae022fdfe815b1","datavalue":{"value":"propositional formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q408542$83907C0E-5121-4A40-9AEE-44FC083AC5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bc200d6c450de272a08fa5c19ef28484b1d94","datavalue":{"value":"tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q408542$6C8F8B04-9707-4916-87BB-D93E475B2F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eab1db2a822c2f199222f5d286cdd6eeaeaf7fea","datavalue":{"value":"asymptotic density","type":"string"},"datatype":"string"},"type":"statement","id":"Q408542$524036BF-FC38-4CEB-8E8F-96A3339D2B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q408542$E2D96A53-7A1A-45C0-AC80-4B0D13E90706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130d4d8ba196b05e16ed90a178ca34dcbfa704f","datavalue":{"value":"analytic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q408542$98BF2E4C-88F1-49C6-B4A9-0485B5D79C71","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":"Q408542$9DF21A78-3FDC-4CAE-87DF-1AAA415BF403","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37bac05be20d3635875cda90838a5980afb62055","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q408542$2EAC127F-B09E-4AA0-90DC-6F97806D86E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a153f46303a382dc4eb57bc3716f68144787cd93","datavalue":{"value":"W2076937467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408542$0F9D786F-E8A3-48EB-B090-166D1775C2FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2919a6c0dde2d00f7d1b6c0cad90b37968b1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4670353,"id":"Q4670353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$05A592EB-6A8B-42D5-87AB-43EF05C4F139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$7963E281-1345-4375-B21C-FE03F38DBCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1d324cc9019a698adf4b1a1a457ddc273746c6","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$5AE76893-3547-467E-81EF-E85E97C4FD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a9c231afc404909080472773d6b0ebe5d0024e","datavalue":{"value":{"entity-type":"item","numeric-id":3575996,"id":"Q3575996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$7BBFE877-6B5C-434D-838B-2289959DB8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc18661736fda7e6fa1768b1f4fa7132c7f49c4","datavalue":{"value":{"entity-type":"item","numeric-id":3499752,"id":"Q3499752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$6021D2ED-2ED3-4A4E-AB41-F3C7EDFDCB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfd9e4996ea3da2d0e02a61f9b6de58e2593e33","datavalue":{"value":{"entity-type":"item","numeric-id":4040797,"id":"Q4040797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$F8E57A6E-7300-4CF5-957E-F076F379DC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c59502386ab0935a0a4cc3783e2e06ddda8042c","datavalue":{"value":{"entity-type":"item","numeric-id":2959882,"id":"Q2959882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$898A36AD-E5DD-4976-8FAC-80098D0DAF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bd8c1433b334d5563b2f966c5aedcaf2ada96d","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$CB1EFB3D-7E70-433A-A8DD-4E883884DCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ef07ebecbfd1831c2ffa5a21a962f64b006a04","datavalue":{"value":{"entity-type":"item","numeric-id":3226891,"id":"Q3226891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$645B1A62-A9BC-4423-8622-13BF3467C2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408542$1DE4306F-0112-4E87-99E2-527E86274503","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e09240fb371a2c980602210707fd9c6988468d2","datavalue":{"value":"10.1016/J.APAL.2011.09.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408542$1E3C7BA9-865E-4FB3-B3A8-C9A499F6D5EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17c0d4ba64aad56a0ef99a8bc72d66f6d9c15f","datavalue":{"value":{"entity-type":"item","numeric-id":3605535,"id":"Q3605535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6443456d3119684b5048a2dcbec7b62b33bad2e","datavalue":{"value":{"amount":"+0.914112389087677","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":"Q408542$F0548B17-1DAC-4CC0-BABF-472F46C72B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f631c367fccce241f9924ff70e467e44941f5c","datavalue":{"value":{"entity-type":"item","numeric-id":1826933,"id":"Q1826933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0af9ede98007de2378408d7fa2d3a6a3773d9a3","datavalue":{"value":{"amount":"+0.8783842325210571","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":"Q408542$EFC6A83C-01E6-4601-94DD-1A0589FBDBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aad05d0aec2f9c1fe41a9fefa0ce8eb0a795a38","datavalue":{"value":{"entity-type":"item","numeric-id":3499752,"id":"Q3499752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672616d01b75814b47a9e878faf16790915cdeb4","datavalue":{"value":{"amount":"+0.8707789182662964","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":"Q408542$DC88A6E7-FE32-4060-980D-E61E4D75DB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b812e3c531d4442bf837e6809cf9b2bb6b548e66","datavalue":{"value":{"entity-type":"item","numeric-id":5488260,"id":"Q5488260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382b979692b38249e090dd7d394aaed798d60693","datavalue":{"value":{"amount":"+0.8478846549987793","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":"Q408542$1A2B2D7F-9C72-496C-B951-8FA425CAB553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d30ba1210f65fc4c87faa1035d00c5a6eec79d3","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cba331edab88e69dadbc8dfd891efb5030b353","datavalue":{"value":{"amount":"+0.8242760300636292","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":"Q408542$3937EC83-7977-4209-B702-CAB84E0840F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/In_the_full_propositional_logic,_5/8_of_classical_tautologies_are_intuitionistically_valid"}}}}}