Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044493912> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2044493912 abstract "This paper is an introduction to an automated reasoning program developed at Northern Illinois University and Argonne National Laboratory over the past nine years. Recently the program has reached the stage where it can be considered a useful research tool in a variety of disciplines. It has solved open problems in mathematics and participated in the design of new electronic circuits. Here we describe the general types of capabilities provided to the user by the program and give examples of how they are currently being used in diverse areas of investigation." @default.
- W2044493912 created "2016-06-24" @default.
- W2044493912 creator A5002532359 @default.
- W2044493912 creator A5075747760 @default.
- W2044493912 creator A5078469358 @default.
- W2044493912 date "1981-01-01" @default.
- W2044493912 modified "2023-09-25" @default.
- W2044493912 title "An automated reasoning system" @default.
- W2044493912 cites W1489374472 @default.
- W2044493912 cites W1495859581 @default.
- W2044493912 cites W151011738 @default.
- W2044493912 cites W1579433101 @default.
- W2044493912 cites W1974462798 @default.
- W2044493912 cites W2036475963 @default.
- W2044493912 cites W2038464985 @default.
- W2044493912 cites W2066125705 @default.
- W2044493912 cites W2075949298 @default.
- W2044493912 cites W2024430054 @default.
- W2044493912 doi "https://doi.org/10.1145/1500412.1500517" @default.
- W2044493912 hasPublicationYear "1981" @default.
- W2044493912 type Work @default.
- W2044493912 sameAs 2044493912 @default.
- W2044493912 citedByCount "6" @default.
- W2044493912 crossrefType "proceedings-article" @default.
- W2044493912 hasAuthorship W2044493912A5002532359 @default.
- W2044493912 hasAuthorship W2044493912A5075747760 @default.
- W2044493912 hasAuthorship W2044493912A5078469358 @default.
- W2044493912 hasConcept C115903868 @default.
- W2044493912 hasConcept C127413603 @default.
- W2044493912 hasConcept C136197465 @default.
- W2044493912 hasConcept C154945302 @default.
- W2044493912 hasConcept C195344581 @default.
- W2044493912 hasConcept C199360897 @default.
- W2044493912 hasConcept C201995342 @default.
- W2044493912 hasConcept C2522767166 @default.
- W2044493912 hasConcept C2991948145 @default.
- W2044493912 hasConcept C41008148 @default.
- W2044493912 hasConcept C539667460 @default.
- W2044493912 hasConcept C61696701 @default.
- W2044493912 hasConceptScore W2044493912C115903868 @default.
- W2044493912 hasConceptScore W2044493912C127413603 @default.
- W2044493912 hasConceptScore W2044493912C136197465 @default.
- W2044493912 hasConceptScore W2044493912C154945302 @default.
- W2044493912 hasConceptScore W2044493912C195344581 @default.
- W2044493912 hasConceptScore W2044493912C199360897 @default.
- W2044493912 hasConceptScore W2044493912C201995342 @default.
- W2044493912 hasConceptScore W2044493912C2522767166 @default.
- W2044493912 hasConceptScore W2044493912C2991948145 @default.
- W2044493912 hasConceptScore W2044493912C41008148 @default.
- W2044493912 hasConceptScore W2044493912C539667460 @default.
- W2044493912 hasConceptScore W2044493912C61696701 @default.
- W2044493912 hasLocation W20444939121 @default.
- W2044493912 hasOpenAccess W2044493912 @default.
- W2044493912 hasPrimaryLocation W20444939121 @default.
- W2044493912 hasRelatedWork W1501265096 @default.
- W2044493912 hasRelatedWork W2048639071 @default.
- W2044493912 hasRelatedWork W2092900780 @default.
- W2044493912 hasRelatedWork W2100224582 @default.
- W2044493912 hasRelatedWork W2271357035 @default.
- W2044493912 hasRelatedWork W2792109275 @default.
- W2044493912 hasRelatedWork W3172020531 @default.
- W2044493912 hasRelatedWork W3215678666 @default.
- W2044493912 hasRelatedWork W4281783369 @default.
- W2044493912 hasRelatedWork W997111777 @default.
- W2044493912 isParatext "false" @default.
- W2044493912 isRetracted "false" @default.
- W2044493912 magId "2044493912" @default.
- W2044493912 workType "article" @default.