Matches in SemOpenAlex for { <https://semopenalex.org/work/W2595692022> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2595692022 created "2017-03-23" @default.
- W2595692022 creator A5036752846 @default.
- W2595692022 date "1969-01-01" @default.
- W2595692022 modified "2023-09-27" @default.
- W2595692022 title "Proof: an implementation of theorem-proving with equality" @default.
- W2595692022 hasPublicationYear "1969" @default.
- W2595692022 type Work @default.
- W2595692022 sameAs 2595692022 @default.
- W2595692022 citedByCount "0" @default.
- W2595692022 crossrefType "dissertation" @default.
- W2595692022 hasAuthorship W2595692022A5036752846 @default.
- W2595692022 hasConcept C118615104 @default.
- W2595692022 hasConcept C144237770 @default.
- W2595692022 hasConcept C199343813 @default.
- W2595692022 hasConcept C2777686260 @default.
- W2595692022 hasConcept C33923547 @default.
- W2595692022 hasConcept C41008148 @default.
- W2595692022 hasConcept C71924100 @default.
- W2595692022 hasConceptScore W2595692022C118615104 @default.
- W2595692022 hasConceptScore W2595692022C144237770 @default.
- W2595692022 hasConceptScore W2595692022C199343813 @default.
- W2595692022 hasConceptScore W2595692022C2777686260 @default.
- W2595692022 hasConceptScore W2595692022C33923547 @default.
- W2595692022 hasConceptScore W2595692022C41008148 @default.
- W2595692022 hasConceptScore W2595692022C71924100 @default.
- W2595692022 hasLocation W25956920221 @default.
- W2595692022 hasOpenAccess W2595692022 @default.
- W2595692022 hasPrimaryLocation W25956920221 @default.
- W2595692022 hasRelatedWork W1535405151 @default.
- W2595692022 hasRelatedWork W1541511077 @default.
- W2595692022 hasRelatedWork W1548568192 @default.
- W2595692022 hasRelatedWork W1560367127 @default.
- W2595692022 hasRelatedWork W1588306030 @default.
- W2595692022 hasRelatedWork W1965616354 @default.
- W2595692022 hasRelatedWork W208883109 @default.
- W2595692022 hasRelatedWork W2107153842 @default.
- W2595692022 hasRelatedWork W2108813616 @default.
- W2595692022 hasRelatedWork W2285888105 @default.
- W2595692022 hasRelatedWork W2312529455 @default.
- W2595692022 hasRelatedWork W2314611859 @default.
- W2595692022 hasRelatedWork W2475476120 @default.
- W2595692022 hasRelatedWork W2526546935 @default.
- W2595692022 hasRelatedWork W2744357978 @default.
- W2595692022 hasRelatedWork W2796188500 @default.
- W2595692022 hasRelatedWork W3082739651 @default.
- W2595692022 hasRelatedWork W409886478 @default.
- W2595692022 hasRelatedWork W2505956899 @default.
- W2595692022 hasRelatedWork W3114339680 @default.
- W2595692022 isParatext "false" @default.
- W2595692022 isRetracted "false" @default.
- W2595692022 magId "2595692022" @default.
- W2595692022 workType "dissertation" @default.