Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057361103> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2057361103 endingPage "397" @default.
- W2057361103 startingPage "394" @default.
- W2057361103 abstract "The programming of a proof procedure is discussed in connection with trial runs and possible improvements." @default.
- W2057361103 created "2016-06-24" @default.
- W2057361103 creator A5009682295 @default.
- W2057361103 creator A5053582628 @default.
- W2057361103 creator A5061685616 @default.
- W2057361103 date "1962-07-01" @default.
- W2057361103 modified "2023-10-11" @default.
- W2057361103 title "A machine program for theorem-proving" @default.
- W2057361103 cites W2062897452 @default.
- W2057361103 cites W2069224897 @default.
- W2057361103 doi "https://doi.org/10.1145/368273.368557" @default.
- W2057361103 hasPublicationYear "1962" @default.
- W2057361103 type Work @default.
- W2057361103 sameAs 2057361103 @default.
- W2057361103 citedByCount "2909" @default.
- W2057361103 countsByYear W20573611032012 @default.
- W2057361103 countsByYear W20573611032013 @default.
- W2057361103 countsByYear W20573611032014 @default.
- W2057361103 countsByYear W20573611032015 @default.
- W2057361103 countsByYear W20573611032016 @default.
- W2057361103 countsByYear W20573611032017 @default.
- W2057361103 countsByYear W20573611032018 @default.
- W2057361103 countsByYear W20573611032019 @default.
- W2057361103 countsByYear W20573611032020 @default.
- W2057361103 countsByYear W20573611032021 @default.
- W2057361103 countsByYear W20573611032022 @default.
- W2057361103 countsByYear W20573611032023 @default.
- W2057361103 crossrefType "journal-article" @default.
- W2057361103 hasAuthorship W2057361103A5009682295 @default.
- W2057361103 hasAuthorship W2057361103A5053582628 @default.
- W2057361103 hasAuthorship W2057361103A5061685616 @default.
- W2057361103 hasBestOaLocation W20573611032 @default.
- W2057361103 hasConcept C199343813 @default.
- W2057361103 hasConcept C199360897 @default.
- W2057361103 hasConcept C206880738 @default.
- W2057361103 hasConcept C2777686260 @default.
- W2057361103 hasConcept C41008148 @default.
- W2057361103 hasConcept C71924100 @default.
- W2057361103 hasConceptScore W2057361103C199343813 @default.
- W2057361103 hasConceptScore W2057361103C199360897 @default.
- W2057361103 hasConceptScore W2057361103C206880738 @default.
- W2057361103 hasConceptScore W2057361103C2777686260 @default.
- W2057361103 hasConceptScore W2057361103C41008148 @default.
- W2057361103 hasConceptScore W2057361103C71924100 @default.
- W2057361103 hasIssue "7" @default.
- W2057361103 hasLocation W20573611031 @default.
- W2057361103 hasLocation W20573611032 @default.
- W2057361103 hasOpenAccess W2057361103 @default.
- W2057361103 hasPrimaryLocation W20573611031 @default.
- W2057361103 hasRelatedWork W1527862632 @default.
- W2057361103 hasRelatedWork W2109507516 @default.
- W2057361103 hasRelatedWork W2112962394 @default.
- W2057361103 hasRelatedWork W2118300983 @default.
- W2057361103 hasRelatedWork W2135396778 @default.
- W2057361103 hasRelatedWork W2382501300 @default.
- W2057361103 hasRelatedWork W2740990710 @default.
- W2057361103 hasRelatedWork W3137189469 @default.
- W2057361103 hasRelatedWork W4235530921 @default.
- W2057361103 hasRelatedWork W4243252198 @default.
- W2057361103 hasVolume "5" @default.
- W2057361103 isParatext "false" @default.
- W2057361103 isRetracted "false" @default.
- W2057361103 magId "2057361103" @default.
- W2057361103 workType "article" @default.