Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912751561> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W2912751561 created "2019-02-21" @default.
- W2912751561 creator A5076636496 @default.
- W2912751561 date "1990-07-01" @default.
- W2912751561 modified "2023-10-03" @default.
- W2912751561 title "Proceedings of the tenth international conference on Automated deduction" @default.
- W2912751561 hasPublicationYear "1990" @default.
- W2912751561 type Work @default.
- W2912751561 sameAs 2912751561 @default.
- W2912751561 citedByCount "0" @default.
- W2912751561 crossrefType "proceedings-article" @default.
- W2912751561 hasAuthorship W2912751561A5076636496 @default.
- W2912751561 hasConcept C41008148 @default.
- W2912751561 hasConceptScore W2912751561C41008148 @default.
- W2912751561 hasLocation W29127515611 @default.
- W2912751561 hasOpenAccess W2912751561 @default.
- W2912751561 hasPrimaryLocation W29127515611 @default.
- W2912751561 hasRelatedWork W1606841838 @default.
- W2912751561 hasRelatedWork W191095211 @default.
- W2912751561 hasRelatedWork W2911258341 @default.
- W2912751561 hasRelatedWork W2911402469 @default.
- W2912751561 hasRelatedWork W2911425143 @default.
- W2912751561 hasRelatedWork W2911785772 @default.
- W2912751561 hasRelatedWork W2911959697 @default.
- W2912751561 hasRelatedWork W2912344761 @default.
- W2912751561 hasRelatedWork W2912382722 @default.
- W2912751561 hasRelatedWork W2912455233 @default.
- W2912751561 hasRelatedWork W2912672277 @default.
- W2912751561 hasRelatedWork W2913091963 @default.
- W2912751561 hasRelatedWork W2913181350 @default.
- W2912751561 hasRelatedWork W2913209549 @default.
- W2912751561 hasRelatedWork W2913893938 @default.
- W2912751561 hasRelatedWork W2914155223 @default.
- W2912751561 hasRelatedWork W2914183271 @default.
- W2912751561 hasRelatedWork W2914586303 @default.
- W2912751561 hasRelatedWork W2914690736 @default.
- W2912751561 hasRelatedWork W2914862048 @default.
- W2912751561 isParatext "false" @default.
- W2912751561 isRetracted "false" @default.
- W2912751561 magId "2912751561" @default.
- W2912751561 workType "article" @default.