Matches in SemOpenAlex for { <https://semopenalex.org/work/W3143145779> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W3143145779 endingPage "221" @default.
- W3143145779 startingPage "209" @default.
- W3143145779 created "2021-04-13" @default.
- W3143145779 creator A5054103364 @default.
- W3143145779 date "2019-01-01" @default.
- W3143145779 modified "2023-10-12" @default.
- W3143145779 title "Formalization of the MRDP Theorem in the Mizar System." @default.
- W3143145779 hasPublicationYear "2019" @default.
- W3143145779 type Work @default.
- W3143145779 sameAs 3143145779 @default.
- W3143145779 citedByCount "0" @default.
- W3143145779 crossrefType "journal-article" @default.
- W3143145779 hasAuthorship W3143145779A5054103364 @default.
- W3143145779 hasConcept C138885662 @default.
- W3143145779 hasConcept C199343813 @default.
- W3143145779 hasConcept C2777686260 @default.
- W3143145779 hasConcept C33923547 @default.
- W3143145779 hasConcept C41008148 @default.
- W3143145779 hasConcept C41895202 @default.
- W3143145779 hasConcept C71924100 @default.
- W3143145779 hasConceptScore W3143145779C138885662 @default.
- W3143145779 hasConceptScore W3143145779C199343813 @default.
- W3143145779 hasConceptScore W3143145779C2777686260 @default.
- W3143145779 hasConceptScore W3143145779C33923547 @default.
- W3143145779 hasConceptScore W3143145779C41008148 @default.
- W3143145779 hasConceptScore W3143145779C41895202 @default.
- W3143145779 hasConceptScore W3143145779C71924100 @default.
- W3143145779 hasLocation W31431457791 @default.
- W3143145779 hasOpenAccess W3143145779 @default.
- W3143145779 hasPrimaryLocation W31431457791 @default.
- W3143145779 hasRelatedWork W1496612013 @default.
- W3143145779 hasRelatedWork W1504156678 @default.
- W3143145779 hasRelatedWork W1592737845 @default.
- W3143145779 hasRelatedWork W1969526428 @default.
- W3143145779 hasRelatedWork W2075469844 @default.
- W3143145779 hasRelatedWork W2091015996 @default.
- W3143145779 hasRelatedWork W2162391287 @default.
- W3143145779 hasRelatedWork W2283907753 @default.
- W3143145779 hasRelatedWork W2735278226 @default.
- W3143145779 hasRelatedWork W2744220352 @default.
- W3143145779 hasRelatedWork W2919490297 @default.
- W3143145779 hasRelatedWork W2996644378 @default.
- W3143145779 hasRelatedWork W3145223229 @default.
- W3143145779 hasRelatedWork W562826570 @default.
- W3143145779 hasRelatedWork W292985968 @default.
- W3143145779 hasVolume "27" @default.
- W3143145779 isParatext "false" @default.
- W3143145779 isRetracted "false" @default.
- W3143145779 magId "3143145779" @default.
- W3143145779 workType "article" @default.