FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4229043582> ?p ?o ?g. }

• W4229043582 abstract "Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing." @default.
• W4229043582 created "2022-05-08" @default.
• W4229043582 creator A5011199896 @default.
• W4229043582 date "2022-05-05" @default.
• W4229043582 modified "2023-09-25" @default.
• W4229043582 title "Computer verification for historians of philosophy" @default.
• W4229043582 cites W1436479552 @default.
• W4229043582 cites W1494245773 @default.
• W4229043582 cites W1509211745 @default.
• W4229043582 cites W1514486135 @default.
• W4229043582 cites W1615358994 @default.
• W4229043582 cites W1768814311 @default.
• W4229043582 cites W1824826039 @default.
• W4229043582 cites W1986279051 @default.
• W4229043582 cites W2068771322 @default.
• W4229043582 cites W2089907340 @default.
• W4229043582 cites W2098909266 @default.
• W4229043582 cites W2132795002 @default.
• W4229043582 cites W2170294343 @default.
• W4229043582 cites W2235939277 @default.
• W4229043582 cites W2317761528 @default.
• W4229043582 cites W2478071467 @default.
• W4229043582 cites W2549482841 @default.
• W4229043582 cites W2744403047 @default.
• W4229043582 cites W2756295316 @default.
• W4229043582 cites W28478482 @default.
• W4229043582 cites W2905686359 @default.
• W4229043582 cites W2913795799 @default.
• W4229043582 cites W2956143085 @default.
• W4229043582 cites W2963778334 @default.
• W4229043582 cites W2963991919 @default.
• W4229043582 cites W2969873523 @default.
• W4229043582 cites W2985939038 @default.
• W4229043582 cites W2999134658 @default.
• W4229043582 cites W3102415061 @default.
• W4229043582 cites W3103756942 @default.
• W4229043582 cites W4239691764 @default.
• W4229043582 cites W4242276907 @default.
• W4229043582 cites W4253616930 @default.
• W4229043582 cites W92896842 @default.
• W4229043582 doi "https://doi.org/10.1007/s11229-022-03678-y" @default.
• W4229043582 hasPublicationYear "2022" @default.
• W4229043582 type Work @default.
• W4229043582 citedByCount "0" @default.
• W4229043582 crossrefType "journal-article" @default.
• W4229043582 hasAuthorship W4229043582A5011199896 @default.
• W4229043582 hasBestOaLocation W42290435822 @default.
• W4229043582 hasConcept C110099512 @default.
• W4229043582 hasConcept C111472728 @default.
• W4229043582 hasConcept C123556308 @default.
• W4229043582 hasConcept C138885662 @default.
• W4229043582 hasConcept C182744844 @default.
• W4229043582 hasConcept C185592680 @default.
• W4229043582 hasConcept C199343813 @default.
• W4229043582 hasConcept C199360897 @default.
• W4229043582 hasConcept C206880738 @default.
• W4229043582 hasConcept C2164484 @default.
• W4229043582 hasConcept C25810664 @default.
• W4229043582 hasConcept C2777686260 @default.
• W4229043582 hasConcept C2780506305 @default.
• W4229043582 hasConcept C40238689 @default.
• W4229043582 hasConcept C41008148 @default.
• W4229043582 hasConcept C55493867 @default.
• W4229043582 hasConcept C71924100 @default.
• W4229043582 hasConcept C76155785 @default.
• W4229043582 hasConcept C98184364 @default.
• W4229043582 hasConceptScore W4229043582C110099512 @default.
• W4229043582 hasConceptScore W4229043582C111472728 @default.
• W4229043582 hasConceptScore W4229043582C123556308 @default.
• W4229043582 hasConceptScore W4229043582C138885662 @default.
• W4229043582 hasConceptScore W4229043582C182744844 @default.
• W4229043582 hasConceptScore W4229043582C185592680 @default.
• W4229043582 hasConceptScore W4229043582C199343813 @default.
• W4229043582 hasConceptScore W4229043582C199360897 @default.
• W4229043582 hasConceptScore W4229043582C206880738 @default.
• W4229043582 hasConceptScore W4229043582C2164484 @default.
• W4229043582 hasConceptScore W4229043582C25810664 @default.
• W4229043582 hasConceptScore W4229043582C2777686260 @default.
• W4229043582 hasConceptScore W4229043582C2780506305 @default.
• W4229043582 hasConceptScore W4229043582C40238689 @default.
• W4229043582 hasConceptScore W4229043582C41008148 @default.
• W4229043582 hasConceptScore W4229043582C55493867 @default.
• W4229043582 hasConceptScore W4229043582C71924100 @default.
• W4229043582 hasConceptScore W4229043582C76155785 @default.
• W4229043582 hasConceptScore W4229043582C98184364 @default.
• W4229043582 hasIssue "3" @default.
• W4229043582 hasLocation W42290435821 @default.
• W4229043582 hasLocation W42290435822 @default.
• W4229043582 hasLocation W42290435823 @default.
• W4229043582 hasOpenAccess W4229043582 @default.
• W4229043582 hasPrimaryLocation W42290435821 @default.
• W4229043582 hasRelatedWork W2083483925 @default.
• W4229043582 hasRelatedWork W2098097320 @default.
• W4229043582 hasRelatedWork W2141341254 @default.
• W4229043582 hasRelatedWork W2146641485 @default.
• W4229043582 hasRelatedWork W2344930250 @default.
• W4229043582 hasRelatedWork W2769873200 @default.
• W4229043582 hasRelatedWork W2887262263 @default.
• W4229043582 hasRelatedWork W3036507465 @default.
• W4229043582 hasRelatedWork W3187933603 @default.

• next