Matches in SemOpenAlex for { <https://semopenalex.org/work/W2969408380> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2969408380 created "2019-08-29" @default.
- W2969408380 creator A5048490198 @default.
- W2969408380 date "2019-08-23" @default.
- W2969408380 modified "2023-09-23" @default.
- W2969408380 title "Learning from Tactic Steps in Formal Proofs" @default.
- W2969408380 doi "https://doi.org/10.4204/eptcs.301.2" @default.
- W2969408380 hasPublicationYear "2019" @default.
- W2969408380 type Work @default.
- W2969408380 sameAs 2969408380 @default.
- W2969408380 citedByCount "0" @default.
- W2969408380 crossrefType "journal-article" @default.
- W2969408380 hasAuthorship W2969408380A5048490198 @default.
- W2969408380 hasBestOaLocation W29694083801 @default.
- W2969408380 hasConcept C108710211 @default.
- W2969408380 hasConcept C154945302 @default.
- W2969408380 hasConcept C199360897 @default.
- W2969408380 hasConcept C2524010 @default.
- W2969408380 hasConcept C33923547 @default.
- W2969408380 hasConcept C41008148 @default.
- W2969408380 hasConcept C75606506 @default.
- W2969408380 hasConceptScore W2969408380C108710211 @default.
- W2969408380 hasConceptScore W2969408380C154945302 @default.
- W2969408380 hasConceptScore W2969408380C199360897 @default.
- W2969408380 hasConceptScore W2969408380C2524010 @default.
- W2969408380 hasConceptScore W2969408380C33923547 @default.
- W2969408380 hasConceptScore W2969408380C41008148 @default.
- W2969408380 hasConceptScore W2969408380C75606506 @default.
- W2969408380 hasLocation W29694083801 @default.
- W2969408380 hasOpenAccess W2969408380 @default.
- W2969408380 hasPrimaryLocation W29694083801 @default.
- W2969408380 hasRelatedWork W10878535 @default.
- W2969408380 hasRelatedWork W11150396 @default.
- W2969408380 hasRelatedWork W2288352 @default.
- W2969408380 hasRelatedWork W2509227 @default.
- W2969408380 hasRelatedWork W313502 @default.
- W2969408380 hasRelatedWork W427754 @default.
- W2969408380 hasRelatedWork W6586607 @default.
- W2969408380 hasRelatedWork W664605 @default.
- W2969408380 hasRelatedWork W9401168 @default.
- W2969408380 hasRelatedWork W2380929 @default.
- W2969408380 isParatext "false" @default.
- W2969408380 isRetracted "false" @default.
- W2969408380 magId "2969408380" @default.
- W2969408380 workType "article" @default.