Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912851551> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2912851551 created "2019-02-21" @default.
- W2912851551 creator A5003856856 @default.
- W2912851551 date "1992-06-15" @default.
- W2912851551 modified "2023-09-27" @default.
- W2912851551 title "Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction" @default.
- W2912851551 hasPublicationYear "1992" @default.
- W2912851551 type Work @default.
- W2912851551 sameAs 2912851551 @default.
- W2912851551 citedByCount "0" @default.
- W2912851551 crossrefType "journal-article" @default.
- W2912851551 hasAuthorship W2912851551A5003856856 @default.
- W2912851551 hasConcept C172008318 @default.
- W2912851551 hasConcept C17744445 @default.
- W2912851551 hasConcept C199539241 @default.
- W2912851551 hasConcept C41008148 @default.
- W2912851551 hasConcept C551662922 @default.
- W2912851551 hasConcept C74939039 @default.
- W2912851551 hasConcept C77269340 @default.
- W2912851551 hasConceptScore W2912851551C172008318 @default.
- W2912851551 hasConceptScore W2912851551C17744445 @default.
- W2912851551 hasConceptScore W2912851551C199539241 @default.
- W2912851551 hasConceptScore W2912851551C41008148 @default.
- W2912851551 hasConceptScore W2912851551C551662922 @default.
- W2912851551 hasConceptScore W2912851551C74939039 @default.
- W2912851551 hasConceptScore W2912851551C77269340 @default.
- W2912851551 hasLocation W29128515511 @default.
- W2912851551 hasOpenAccess W2912851551 @default.
- W2912851551 hasPrimaryLocation W29128515511 @default.
- W2912851551 hasRelatedWork W145647366 @default.
- W2912851551 hasRelatedWork W1564350387 @default.
- W2912851551 hasRelatedWork W2478734054 @default.
- W2912851551 hasRelatedWork W2484057126 @default.
- W2912851551 hasRelatedWork W2493991668 @default.
- W2912851551 hasRelatedWork W2506148024 @default.
- W2912851551 hasRelatedWork W2601694776 @default.
- W2912851551 hasRelatedWork W2738680168 @default.
- W2912851551 hasRelatedWork W2911232097 @default.
- W2912851551 hasRelatedWork W2911643758 @default.
- W2912851551 hasRelatedWork W2912375339 @default.
- W2912851551 hasRelatedWork W2912569132 @default.
- W2912851551 hasRelatedWork W2912793412 @default.
- W2912851551 hasRelatedWork W2913108744 @default.
- W2912851551 hasRelatedWork W2913305821 @default.
- W2912851551 hasRelatedWork W2913530419 @default.
- W2912851551 hasRelatedWork W2913754193 @default.
- W2912851551 hasRelatedWork W2914514152 @default.
- W2912851551 hasRelatedWork W2914550830 @default.
- W2912851551 hasRelatedWork W3111229561 @default.
- W2912851551 isParatext "false" @default.
- W2912851551 isRetracted "false" @default.
- W2912851551 magId "2912851551" @default.
- W2912851551 workType "article" @default.