{"entities":{"Q2500818":{"pageid":2511561,"ns":120,"title":"Item:Q2500818","lastrevid":44217729,"modified":"2025-11-20T22:52:20Z","type":"item","id":"Q2500818","labels":{"en":{"language":"en","value":"Notes on constructive negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047768"}},"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":"Q2500818$86A28104-E5F2-4772-B66A-17862395989A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f48c5432d5c1db27a86f88d210b14f1a6ec2f19f","datavalue":{"value":{"text":"Notes on constructive negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500818$57025D53-62EA-4C88-B8E3-6AF2B79E80ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f46165d7fef08cb9e6214b225f9ca7de7bda854","datavalue":{"value":"1108.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$53C5C5A1-65F3-4BB5-8E46-FB487F143AD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$FCB2DCE0-ACA9-47A1-924A-3B0C515B6BE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500818$B142C2AF-CE8C-4776-A380-ACBF4EF4BFD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46ac3674b6cd6f3258cc88f672b63992d32f84f0","datavalue":{"value":"This article contains many interesting historical remarks connected to constructive negations. First, it is observed that Russell's \\textit{The Principles of Mathematics} (1903) contains a clear presentation of intuitionistic implication calculus, with a discussion on Peirce's law and the conjecture that it is independent from the other laws. One would like to know however how much of it was independent of the work of Peirce (which was probably known to Russell). The second topic is a presentation of the work of Dragalin and students on embeddings of classical arithmetic and analysis into intuitionistic negationless mathematics. The last part presents in detail the subtle treatment of negations in Markov's school and Markov's own proof of the admissibility of Markov's rule.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500818$F14E98C9-A364-4E1A-A91C-EC01B4DB4B9B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"256f7e8a78354c9241b063a26583c1bfdf31ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$A1F89EC9-60EB-4123-9B2E-8E2246DB2DBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$A8B90439-D5D3-4141-99FA-27D4BC7D4B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$8F1CB204-56DE-4C03-9C7E-AC0C8FC885EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$5EC37E5C-FB2F-442E-8C3C-420D02711AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$4831965D-1CB0-4A1F-BE2D-A78047A7433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$FB10708C-8F41-45E1-A974-51526D34CC11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3186ead0399a67a03621b6f2c5835f5cc264057","datavalue":{"value":"5047768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$51149DC8-1A1A-4CE4-97E8-A2C91D2E7B5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62cd9241c6826e62db35554ff88cb4c65e5e0858","datavalue":{"value":"constructive negations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500818$F3841AE4-768E-4E66-8B4D-EE320F22E22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64a23878402d21a7bc9c32da5b44608ab265b60","datavalue":{"value":"Peirce's law","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500818$9AAC75D6-4422-469A-AEAF-FD0DBCF14A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500818$98A74515-52C4-4E64-84A9-749EDE68860F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$1DF87A8E-5AF5-4DB9-BCDD-EF143FD9C2E7","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":"Q2500818$521748E5-957F-4514-8A0B-8240005CACAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60c680cdd6e941b709c082bdff2cf67a85e12a44","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6294-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500818$63B972C2-AFAD-4D79-88F7-6FE9EC7371A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c71cb34aa5daaf212e20b01ddc92841d3909d1c","datavalue":{"value":"W1987269014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$90B6B5F2-14F4-43FD-8790-6F92A6919300","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$4C5FE9EE-522E-49E8-A6E0-39F6D4F2D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2be6b004b066c5b216ef4254432bec3cfdc7cf","datavalue":{"value":{"entity-type":"item","numeric-id":1065794,"id":"Q1065794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$AEBC79D7-4ABD-4E3C-A365-97C6BBC4A3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b77280232c8e48c811a6e0d7a252126cbfae47","datavalue":{"value":{"entity-type":"item","numeric-id":3937386,"id":"Q3937386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$5E2C7379-8484-44D0-82AD-2062AEA69D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dcfd4f34a078d774112fea18eabd37c4964a182","datavalue":{"value":{"entity-type":"item","numeric-id":4065529,"id":"Q4065529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$DDBADD90-7619-458F-BF02-F909291C55B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766d123780f1e3d44c279eee3073682f29150e27","datavalue":{"value":{"entity-type":"item","numeric-id":3260570,"id":"Q3260570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$D32F552A-03C4-4B91-8E10-DB13A6D7A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$E15A6BD0-C269-448E-AF38-B91945F92519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69abdcb894330673f3a39450de26c871c4a58c8","datavalue":{"value":{"entity-type":"item","numeric-id":1582305,"id":"Q1582305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$10A27E0C-166E-4654-AB0F-09448206315C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c718a0df9fdd30109d16a87684ee71a3b53a905f","datavalue":{"value":{"entity-type":"item","numeric-id":1577359,"id":"Q1577359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$B1B6F0BC-BEDD-4C98-A102-2FE840855253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2996fe15578bc84c0490c0922aeb3df687c60f66","datavalue":{"value":{"entity-type":"item","numeric-id":1218419,"id":"Q1218419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$51A299A8-FC59-4BA7-984D-60E0AE18548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6448c5f6b8d915e5ed791ed06a290981fae1630","datavalue":{"value":{"entity-type":"item","numeric-id":5526958,"id":"Q5526958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500818$0B2B571B-B87B-4691-AC4C-A78CF18245D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fd81a98c1a4cceef4f9c7796ce4fa4b41fc6bff","datavalue":{"value":"10.1007/S11229-004-6294-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500818$5303CA37-00DD-4B2B-B693-33732F20CDE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28667e395d07c6e76dae542564f0d91f95255579","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e81ad12df1ba029a6915e21249a55aae7e58a04","datavalue":{"value":{"amount":"+0.902276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$48A3E016-082F-4818-86EA-B51178D89745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6154f621dc3f93142b95239f89d54c3707757a6","datavalue":{"value":{"entity-type":"item","numeric-id":4719367,"id":"Q4719367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b7ccba30ac98071937c08a4d9ce14f984d924c","datavalue":{"value":{"amount":"+0.89255774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$62F9CC93-96D8-46BD-BDCD-922949EA8FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c85f091569ea66bfaec0a27ec40fd9d84384ec","datavalue":{"value":{"entity-type":"item","numeric-id":4532132,"id":"Q4532132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a209f76662a4b8518e646a30a44ba490d6999e6","datavalue":{"value":{"amount":"+0.892232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$575568E9-7A82-4512-B17A-6FABB0085871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40800129f17636666627205a8af997e4bf55ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":3305626,"id":"Q3305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12145e508ff6a62c88214cc22f033a22716538f","datavalue":{"value":{"amount":"+0.890468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$C7E53E4C-01B6-4B30-A191-ED34B1CEB196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76dba1d78882a067afd99a9907571c78262758f","datavalue":{"value":{"entity-type":"item","numeric-id":839831,"id":"Q839831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa4cf93451ad4972cc7e8ab1f185cfe10e0a20e","datavalue":{"value":{"amount":"+0.88224804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$C8BFAFF8-F97D-49E5-89C0-A525C901CADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa18c8c1eca89fae46551d2c1a737f6912fcc10","datavalue":{"value":{"entity-type":"item","numeric-id":5308011,"id":"Q5308011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2affca46f8f54ece0dec4c8bf4c167f63eeba278","datavalue":{"value":{"amount":"+0.87945986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$0E83AE8F-9CBE-4323-8CA6-D9421D32E697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6f3c95250b0b00dab221e9981e99a7ab73780","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc025f109e0e54695be82e3a40a752884f4b02d","datavalue":{"value":{"amount":"+0.87822324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$72FA966D-A47C-4DD4-AD3A-2CF03AF5CD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118e1c50da73211ee836c0c007d3daea79a7c713","datavalue":{"value":{"entity-type":"item","numeric-id":4385672,"id":"Q4385672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf883efcfb097a68c4141b6ae5b346adcdf71c0","datavalue":{"value":{"amount":"+0.8735366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$579CD3AD-CDBC-43A8-B2AE-4FDF166F213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8367de5ca53814140f9e2504b8aafa72854d3f42","datavalue":{"value":{"entity-type":"item","numeric-id":4870573,"id":"Q4870573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a95b89dbdf54ad04ab12373660e1f364c37ed4b","datavalue":{"value":{"amount":"+0.8725985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$7F1B0CAD-90CD-40A7-ABE0-FFE3724A75E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8c71e2848c0c580b9b406bb868832efee4e77d","datavalue":{"value":{"entity-type":"item","numeric-id":2956710,"id":"Q2956710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171651a220e360d98fa85d466c856ff5b4a07afa","datavalue":{"value":{"amount":"+0.8722858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2500818$2CA6207E-6570-4670-9290-DE3733A75AC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500818"}}}}}