FRINK Linked Data Fragments server

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

• W2499354155 endingPage "17" @default.
• W2499354155 startingPage "10" @default.
• W2499354155 abstract "How can we understand reasoning in general and mathematical proofs in particular? It is argued that a high-level understanding of proofs is needed to complement the low-level understanding provided by Logic. A role for computation is proposed to provide this high-level understanding, namely by the association of proof plans with proofs. Criteria are given for assessing the association of a proof plan with a proof." @default.
• W2499354155 created "2016-08-23" @default.
• W2499354155 creator A5040311876 @default.
• W2499354155 date "1991-01-01" @default.
• W2499354155 modified "2023-09-26" @default.
• W2499354155 title "A science of reasoning" @default.
• W2499354155 hasPublicationYear "1991" @default.
• W2499354155 type Work @default.
• W2499354155 sameAs 2499354155 @default.
• W2499354155 citedByCount "43" @default.
• W2499354155 countsByYear W24993541552012 @default.
• W2499354155 countsByYear W24993541552013 @default.
• W2499354155 countsByYear W24993541552015 @default.
• W2499354155 countsByYear W24993541552016 @default.
• W2499354155 countsByYear W24993541552017 @default.
• W2499354155 countsByYear W24993541552018 @default.
• W2499354155 countsByYear W24993541552020 @default.
• W2499354155 crossrefType "journal-article" @default.
• W2499354155 hasAuthorship W2499354155A5040311876 @default.
• W2499354155 hasConcept C104317684 @default.
• W2499354155 hasConcept C105605280 @default.
• W2499354155 hasConcept C108710211 @default.
• W2499354155 hasConcept C111472728 @default.
• W2499354155 hasConcept C111919701 @default.
• W2499354155 hasConcept C112313634 @default.
• W2499354155 hasConcept C124978682 @default.
• W2499354155 hasConcept C127716648 @default.
• W2499354155 hasConcept C138885662 @default.
• W2499354155 hasConcept C142853389 @default.
• W2499354155 hasConcept C173613240 @default.
• W2499354155 hasConcept C185592680 @default.
• W2499354155 hasConcept C188082640 @default.
• W2499354155 hasConcept C195344581 @default.
• W2499354155 hasConcept C195653647 @default.
• W2499354155 hasConcept C199343813 @default.
• W2499354155 hasConcept C199360897 @default.
• W2499354155 hasConcept C206880738 @default.
• W2499354155 hasConcept C2318724 @default.
• W2499354155 hasConcept C2524010 @default.
• W2499354155 hasConcept C2777686260 @default.
• W2499354155 hasConcept C33923547 @default.
• W2499354155 hasConcept C41008148 @default.
• W2499354155 hasConcept C45374587 @default.
• W2499354155 hasConcept C47884741 @default.
• W2499354155 hasConcept C55493867 @default.
• W2499354155 hasConcept C62073222 @default.
• W2499354155 hasConcept C71924100 @default.
• W2499354155 hasConcept C80444323 @default.
• W2499354155 hasConceptScore W2499354155C104317684 @default.
• W2499354155 hasConceptScore W2499354155C105605280 @default.
• W2499354155 hasConceptScore W2499354155C108710211 @default.
• W2499354155 hasConceptScore W2499354155C111472728 @default.
• W2499354155 hasConceptScore W2499354155C111919701 @default.
• W2499354155 hasConceptScore W2499354155C112313634 @default.
• W2499354155 hasConceptScore W2499354155C124978682 @default.
• W2499354155 hasConceptScore W2499354155C127716648 @default.
• W2499354155 hasConceptScore W2499354155C138885662 @default.
• W2499354155 hasConceptScore W2499354155C142853389 @default.
• W2499354155 hasConceptScore W2499354155C173613240 @default.
• W2499354155 hasConceptScore W2499354155C185592680 @default.
• W2499354155 hasConceptScore W2499354155C188082640 @default.
• W2499354155 hasConceptScore W2499354155C195344581 @default.
• W2499354155 hasConceptScore W2499354155C195653647 @default.
• W2499354155 hasConceptScore W2499354155C199343813 @default.
• W2499354155 hasConceptScore W2499354155C199360897 @default.
• W2499354155 hasConceptScore W2499354155C206880738 @default.
• W2499354155 hasConceptScore W2499354155C2318724 @default.
• W2499354155 hasConceptScore W2499354155C2524010 @default.
• W2499354155 hasConceptScore W2499354155C2777686260 @default.
• W2499354155 hasConceptScore W2499354155C33923547 @default.
• W2499354155 hasConceptScore W2499354155C41008148 @default.
• W2499354155 hasConceptScore W2499354155C45374587 @default.
• W2499354155 hasConceptScore W2499354155C47884741 @default.
• W2499354155 hasConceptScore W2499354155C55493867 @default.
• W2499354155 hasConceptScore W2499354155C62073222 @default.
• W2499354155 hasConceptScore W2499354155C71924100 @default.
• W2499354155 hasConceptScore W2499354155C80444323 @default.
• W2499354155 hasLocation W24993541551 @default.
• W2499354155 hasOpenAccess W2499354155 @default.
• W2499354155 hasPrimaryLocation W24993541551 @default.
• W2499354155 hasRelatedWork W1480487311 @default.
• W2499354155 hasRelatedWork W1491353074 @default.
• W2499354155 hasRelatedWork W1498523273 @default.
• W2499354155 hasRelatedWork W1510333080 @default.
• W2499354155 hasRelatedWork W1581769579 @default.
• W2499354155 hasRelatedWork W1586167239 @default.
• W2499354155 hasRelatedWork W1589439023 @default.
• W2499354155 hasRelatedWork W1590791006 @default.
• W2499354155 hasRelatedWork W1590828018 @default.
• W2499354155 hasRelatedWork W1590963539 @default.
• W2499354155 hasRelatedWork W1596722521 @default.
• W2499354155 hasRelatedWork W1992696924 @default.
• W2499354155 hasRelatedWork W2001774285 @default.
• W2499354155 hasRelatedWork W2034500240 @default.
• W2499354155 hasRelatedWork W2054515625 @default.
• W2499354155 hasRelatedWork W2067540169 @default.
• W2499354155 hasRelatedWork W2087028873 @default.
• W2499354155 hasRelatedWork W2099078002 @default.

• next