FRINK Linked Data Fragments server

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

• W2109923503 abstract "Abstract Automated theorem proving is the study of techniques for programming computers to search for proofs of formal assertions, either fully automatically or with varying degrees of human guidance. This discipline is potentially of tremendous value, because reasoning and inference underlie so many human activities. Automated (or mechanical) theorem proving is based on a foundation of formal logic that has been developed over the past several centuries by mathematicians and philosophers. This heritage of formal logic is often taken for granted, despite the tremendous amount of thought and effort that went into its development. The possibility that theorem proving programs can exist is closely tied to some properties of formal logic, which we now describe." @default.
• W2109923503 created "2016-06-24" @default.
• W2109923503 creator A5021476649 @default.
• W2109923503 date "2008-01-15" @default.
• W2109923503 modified "2023-09-26" @default.
• W2109923503 title "Automated Theorem Proving" @default.
• W2109923503 cites W1494270745 @default.
• W2109923503 cites W1495396426 @default.
• W2109923503 cites W1502047167 @default.
• W2109923503 cites W1510333080 @default.
• W2109923503 cites W1516218099 @default.
• W2109923503 cites W1552843312 @default.
• W2109923503 cites W155612886 @default.
• W2109923503 cites W1562833547 @default.
• W2109923503 cites W1966048066 @default.
• W2109923503 cites W1987549075 @default.
• W2109923503 cites W2018221833 @default.
• W2109923503 cites W2021173362 @default.
• W2109923503 cites W2030224590 @default.
• W2109923503 cites W2033288425 @default.
• W2109923503 cites W2034155940 @default.
• W2109923503 cites W2040183410 @default.
• W2109923503 cites W2041161966 @default.
• W2109923503 cites W2042551813 @default.
• W2109923503 cites W2043314428 @default.
• W2109923503 cites W2057361103 @default.
• W2109923503 cites W2061438988 @default.
• W2109923503 cites W2062897452 @default.
• W2109923503 cites W2067716734 @default.
• W2109923503 cites W2069224897 @default.
• W2109923503 cites W2069767473 @default.
• W2109923503 cites W2100738443 @default.
• W2109923503 cites W2121757274 @default.
• W2109923503 cites W2123319860 @default.
• W2109923503 cites W2153131284 @default.
• W2109923503 cites W2164778826 @default.
• W2109923503 cites W241019236 @default.
• W2109923503 cites W2507006525 @default.
• W2109923503 cites W2914314632 @default.
• W2109923503 cites W2914834504 @default.
• W2109923503 cites W4205795901 @default.
• W2109923503 cites W4230919050 @default.
• W2109923503 cites W4234528212 @default.
• W2109923503 cites W4238858352 @default.
• W2109923503 cites W4240833632 @default.
• W2109923503 cites W4300934094 @default.
• W2109923503 cites W4301968143 @default.
• W2109923503 doi "https://doi.org/10.1002/9780470050118.ecse434" @default.
• W2109923503 hasPublicationYear "2008" @default.
• W2109923503 type Work @default.
• W2109923503 sameAs 2109923503 @default.
• W2109923503 citedByCount "10" @default.
• W2109923503 countsByYear W21099235032012 @default.
• W2109923503 countsByYear W21099235032013 @default.
• W2109923503 countsByYear W21099235032015 @default.
• W2109923503 countsByYear W21099235032018 @default.
• W2109923503 countsByYear W21099235032020 @default.
• W2109923503 crossrefType "other" @default.
• W2109923503 hasAuthorship W2109923503A5021476649 @default.
• W2109923503 hasConcept C102315432 @default.
• W2109923503 hasConcept C108710211 @default.
• W2109923503 hasConcept C128838566 @default.
• W2109923503 hasConcept C13766981 @default.
• W2109923503 hasConcept C154945302 @default.
• W2109923503 hasConcept C166957645 @default.
• W2109923503 hasConcept C195344581 @default.
• W2109923503 hasConcept C199343813 @default.
• W2109923503 hasConcept C199360897 @default.
• W2109923503 hasConcept C206880738 @default.
• W2109923503 hasConcept C2524010 @default.
• W2109923503 hasConcept C2776214188 @default.
• W2109923503 hasConcept C2777686260 @default.
• W2109923503 hasConcept C2780966255 @default.
• W2109923503 hasConcept C33923547 @default.
• W2109923503 hasConcept C41008148 @default.
• W2109923503 hasConcept C71924100 @default.
• W2109923503 hasConcept C75606506 @default.
• W2109923503 hasConcept C80444323 @default.
• W2109923503 hasConcept C95457728 @default.
• W2109923503 hasConceptScore W2109923503C102315432 @default.
• W2109923503 hasConceptScore W2109923503C108710211 @default.
• W2109923503 hasConceptScore W2109923503C128838566 @default.
• W2109923503 hasConceptScore W2109923503C13766981 @default.
• W2109923503 hasConceptScore W2109923503C154945302 @default.
• W2109923503 hasConceptScore W2109923503C166957645 @default.
• W2109923503 hasConceptScore W2109923503C195344581 @default.
• W2109923503 hasConceptScore W2109923503C199343813 @default.
• W2109923503 hasConceptScore W2109923503C199360897 @default.
• W2109923503 hasConceptScore W2109923503C206880738 @default.
• W2109923503 hasConceptScore W2109923503C2524010 @default.
• W2109923503 hasConceptScore W2109923503C2776214188 @default.
• W2109923503 hasConceptScore W2109923503C2777686260 @default.
• W2109923503 hasConceptScore W2109923503C2780966255 @default.
• W2109923503 hasConceptScore W2109923503C33923547 @default.
• W2109923503 hasConceptScore W2109923503C41008148 @default.
• W2109923503 hasConceptScore W2109923503C71924100 @default.
• W2109923503 hasConceptScore W2109923503C75606506 @default.
• W2109923503 hasConceptScore W2109923503C80444323 @default.
• W2109923503 hasConceptScore W2109923503C95457728 @default.
• W2109923503 hasLocation W21099235031 @default.

• next