{"entities":{"Q2271079":{"pageid":2281822,"ns":120,"title":"Item:Q2271079","lastrevid":78411644,"modified":"2026-05-06T11:31:51Z","type":"item","id":"Q2271079","labels":{"en":{"language":"en","value":"Bridging the gap between argumentation theory and the philosophy of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5590765"}},"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":"Q2271079$FCFEDEC2-BA2C-43B0-928C-7F14E6BC6735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07c8ecdfc0744cfe4ac4c469f3a6a84884918806","datavalue":{"value":{"text":"Bridging the gap between argumentation theory and the philosophy of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271079$10C1B4AC-005A-4B8C-B10C-004666FEA64A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f83555451fa2352eaa92980c90f78d74083fae79","datavalue":{"value":"1170.00003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271079$643D730F-424C-4D6A-BC22-723509285850","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$902D6BAF-AAB9-4ACE-9417-5A08221364B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d056fa390317638b94cd33674f80c57ad98aec6b","datavalue":{"value":{"entity-type":"item","numeric-id":161821,"id":"Q161821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$AAE21838-F238-48CE-A5E1-5BC3EAAC7CA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22fa6455513bb7f53a1cef7bcfc7a401b9bebc8a","datavalue":{"value":{"time":"+2009-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2271079$991A5092-1FA5-4A4D-B09B-946E9533EF4B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51c5c61b50a46f3cb446113c64656d497587767a","datavalue":{"value":"The authors argue in the paper that there are mutually beneficial connections to be made between ideas in argumentation theory and the philosophy of mathematics, and that these connections can be suggested via the process of producing computational models of theories in these domains. They start by discussing \\textit{I. Lakatos}' [Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press, Cambridge (1976; Zbl 0334.00022)] and then their computational representation of his theory is presented. Further it is shown how Cauchy's proof of Euler's conjecture can be represented. Aspects of Lakatos' method of lemma-incorporation are discussed. Some connections between Haggith's argumentation structures and Lakatos' methods are outlined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271079$CCA6CC49-C433-46FD-BA77-F359463AF3A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$3CEC7481-AB5E-488F-B6A9-B490188118EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271079$5061B591-48BA-42BC-97AB-1EC8AB66B1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271079$E4258DD3-7088-4E1E-964A-F1B5CF754045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0064e82ce765a1d9a2a267fc2e2e83a4e1285006","datavalue":{"value":"5590765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271079$13D9AFA0-9A1A-4EB6-8F84-969462ADE626","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"113b0f7e0e42616abf9bc2f2ac4513e05c0da566","datavalue":{"value":"Lakatos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271079$CB17B3D6-A3A3-42E9-AE18-6F2666853462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271079$26E4DCAC-E6F0-43D4-8535-3F164503A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271079$1B53F675-24D3-40F4-B356-624D8FBE8FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6c192e1b2a22bdfbf62e3c2d8d122bf9770822","datavalue":{"value":"computational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271079$BF3D962D-BE8C-43D8-B990-F54CF93848E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5441bd99ec9c7f1e415580032e4eb95f8c68286","datavalue":{"value":"theory refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271079$0A2509CB-CCCA-4EE6-896C-B90ECD498E24","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$947E8A52-49CA-4404-8846-277B113D4449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$EC0E478A-EF26-4F29-94D0-13158E828C2C","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":"Q2271079$92112D6C-C7DD-4FDB-83C6-CBCF4D6915A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2dd2cc81629fb357689201198972331f7a02050","datavalue":{"value":"https://doi.org/10.1007/s10699-008-9150-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271079$14743CE3-7995-4E94-ACA5-B6253A3BFA9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9729caf829743dc749b9a26213a49e1f9f52a292","datavalue":{"value":"W2126237658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271079$72A83C67-E65A-40F3-B63D-2B288A45DE80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9bb0ca10705524faf431cfac758b1bad8cd3ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5756767,"id":"Q5756767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$C831D905-015D-410D-9E6E-1DA1992A64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59b7ebf4565cf040b1294997dc9f3a620e91ce0","datavalue":{"value":{"entity-type":"item","numeric-id":3804638,"id":"Q3804638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$8EC411ED-7206-4862-BD36-F353EC01F27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96425a7955854f78f75459809727555d698e04b","datavalue":{"value":{"entity-type":"item","numeric-id":4284037,"id":"Q4284037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$9F682707-E954-421D-B860-7A36010C4BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb473fffc2c544140b019af170eaa1f11b1687","datavalue":{"value":{"entity-type":"item","numeric-id":3006508,"id":"Q3006508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$25C1EC51-9AEC-43A9-84A5-AF258751BDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bb43ece6dc5d7be694b241b05f99d76f2d7f10","datavalue":{"value":{"entity-type":"item","numeric-id":4338934,"id":"Q4338934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$9B31EBDE-17D2-4E8B-912F-9638119E9706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5b12c83ba0bacfbeb855f4e14dffe52ea3c419","datavalue":{"value":{"entity-type":"item","numeric-id":4354013,"id":"Q4354013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$2187991F-E136-4FC5-98F2-BBE7BE802F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0488f185e2e4edac59432bd674a4960056e068c6","datavalue":{"value":{"entity-type":"item","numeric-id":4825138,"id":"Q4825138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$BE79D1C9-0397-450B-B445-BF62BDD96B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$B1C9C158-61CF-466D-9050-F0950EFA8F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219d07ddc1d8c5e0ebe60fa8f542c3e6d6d11268","datavalue":{"value":{"entity-type":"item","numeric-id":2716083,"id":"Q2716083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$727C8DB9-1638-4FB9-B4F9-D0E5E4687CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d7991ac9e7cdf85ee75bde2eeaeec3be8a2a07","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$CCE7E845-BF53-403B-87F6-0A39B5DF9EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916cf6e5cd634aab2605a68b1a95cd62c450ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":5790160,"id":"Q5790160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$BE8A2FBD-EADF-4B80-9D83-A64CA162D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cff86fd918545598c00b92f2a9eef02c4b319d","datavalue":{"value":{"entity-type":"item","numeric-id":4103477,"id":"Q4103477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$2F03CB37-5DA3-401E-BEA0-D92EDFF2CD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbff5024899e29787a9181a2588fc778d5866","datavalue":{"value":{"entity-type":"item","numeric-id":3256189,"id":"Q3256189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$CB062BAB-F7D9-498E-AF85-17DAA05B1591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d372a0dcb5f7cddd26de0af1c54c3a6344c23f4","datavalue":{"value":{"entity-type":"item","numeric-id":2747351,"id":"Q2747351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271079$3E73C412-A760-444D-92F1-BE41B9E8B9F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1df12aec4d5c99dea86b359851fe9050fb503a27","datavalue":{"value":"10.1007/S10699-008-9150-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271079$FC630F49-1ED6-48DB-B6D5-A4143EEA704E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c403442216355a9a0664ea08be6029fd397821","datavalue":{"value":{"entity-type":"item","numeric-id":2950042,"id":"Q2950042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","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":"Q2271079$9A4BB0A5-8B4D-4124-9B86-BD1ECEF9DA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbab641e5aa5c8b6ca2d6af3d389abdade4ca76","datavalue":{"value":{"entity-type":"item","numeric-id":2950041,"id":"Q2950041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f35f67ce460d6d91d696c44e124ccc481d6bd4","datavalue":{"value":{"amount":"+0.9298841","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":"Q2271079$AF5D3174-F7D2-431B-A2FC-9F3B4DC068D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30512a8856e710dbcc475f942ad9c4700dccb109","datavalue":{"value":{"entity-type":"item","numeric-id":2271081,"id":"Q2271081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f35f67ce460d6d91d696c44e124ccc481d6bd4","datavalue":{"value":{"amount":"+0.9298841","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":"Q2271079$4F9C753C-6601-4C17-B049-502755D0E50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c479ab190e8ef88bcc4c13b7d0db5252f8c206c4","datavalue":{"value":{"entity-type":"item","numeric-id":2950029,"id":"Q2950029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8755c3a25b3f6424e8723c2be961b32cf885b5d","datavalue":{"value":{"amount":"+0.8917799","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":"Q2271079$7DFC7B6B-0E33-4B21-8476-C28331B8EFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a84a4d1f0e76f94d519b47b2b04c7bc611d14a3","datavalue":{"value":{"entity-type":"item","numeric-id":3153372,"id":"Q3153372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469182b991fec0d59b2602e6bcaf07df17cb4d40","datavalue":{"value":{"amount":"+0.88500583","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":"Q2271079$4140C0B3-9670-45F8-9F29-494EF2306E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9d8bb0e47cf3da59efb218b2b449095205d549","datavalue":{"value":{"entity-type":"item","numeric-id":5485889,"id":"Q5485889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459e6fc9ba1aede16273debc8121a9ef5d680adc","datavalue":{"value":{"amount":"+0.8839394","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":"Q2271079$AFEE5280-8561-40E8-A859-962E44C0E480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ace82197d84fc995053769e9c46ea56278e0ee6","datavalue":{"value":{"entity-type":"item","numeric-id":2271083,"id":"Q2271083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d6bb52c5b531164b850e9016983da8723b1b7d","datavalue":{"value":{"amount":"+0.8739028","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":"Q2271079$18FDC8AD-99D9-4F31-B07A-975923D3F9D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bridging the gap between argumentation theory and the philosophy of mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bridging_the_gap_between_argumentation_theory_and_the_philosophy_of_mathematics"}}}}}