Matches in SemOpenAlex for { <https://semopenalex.org/work/W646976104> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W646976104 abstract "Using standard methods of analytic combinatorics we elaborate critical points (thresholds) of phase transitions from provability to unprovability of arithmetical well-partial-ordering assertions in several familiar theories occurring in the reverse mathematics program." @default.
- W646976104 created "2016-06-24" @default.
- W646976104 creator A5017803296 @default.
- W646976104 creator A5056618682 @default.
- W646976104 date "2010-01-01" @default.
- W646976104 modified "2023-10-18" @default.
- W646976104 title "Phase transitions in Proof Theory" @default.
- W646976104 cites W1455834935 @default.
- W646976104 cites W1556453281 @default.
- W646976104 cites W1597834884 @default.
- W646976104 cites W1705242300 @default.
- W646976104 cites W19637469 @default.
- W646976104 cites W1972602491 @default.
- W646976104 cites W1974315792 @default.
- W646976104 cites W1988195694 @default.
- W646976104 cites W2003007940 @default.
- W646976104 cites W2033880600 @default.
- W646976104 cites W2040462567 @default.
- W646976104 cites W2081739832 @default.
- W646976104 cites W2115737962 @default.
- W646976104 cites W2147142679 @default.
- W646976104 cites W2154759565 @default.
- W646976104 cites W2169416686 @default.
- W646976104 cites W2331677784 @default.
- W646976104 cites W2340541605 @default.
- W646976104 doi "https://doi.org/10.46298/dmtcs.2771" @default.
- W646976104 hasPublicationYear "2010" @default.
- W646976104 type Work @default.
- W646976104 sameAs 646976104 @default.
- W646976104 citedByCount "0" @default.
- W646976104 crossrefType "journal-article" @default.
- W646976104 hasAuthorship W646976104A5017803296 @default.
- W646976104 hasAuthorship W646976104A5056618682 @default.
- W646976104 hasBestOaLocation W6469761041 @default.
- W646976104 hasConcept C112343008 @default.
- W646976104 hasConcept C114614502 @default.
- W646976104 hasConcept C118539577 @default.
- W646976104 hasConcept C118615104 @default.
- W646976104 hasConcept C121332964 @default.
- W646976104 hasConcept C136119220 @default.
- W646976104 hasConcept C149288129 @default.
- W646976104 hasConcept C202444582 @default.
- W646976104 hasConcept C33923547 @default.
- W646976104 hasConcept C62520636 @default.
- W646976104 hasConceptScore W646976104C112343008 @default.
- W646976104 hasConceptScore W646976104C114614502 @default.
- W646976104 hasConceptScore W646976104C118539577 @default.
- W646976104 hasConceptScore W646976104C118615104 @default.
- W646976104 hasConceptScore W646976104C121332964 @default.
- W646976104 hasConceptScore W646976104C136119220 @default.
- W646976104 hasConceptScore W646976104C149288129 @default.
- W646976104 hasConceptScore W646976104C202444582 @default.
- W646976104 hasConceptScore W646976104C33923547 @default.
- W646976104 hasConceptScore W646976104C62520636 @default.
- W646976104 hasIssue "Proceedings" @default.
- W646976104 hasLocation W6469761041 @default.
- W646976104 hasLocation W6469761042 @default.
- W646976104 hasLocation W6469761043 @default.
- W646976104 hasLocation W6469761044 @default.
- W646976104 hasLocation W6469761045 @default.
- W646976104 hasOpenAccess W646976104 @default.
- W646976104 hasPrimaryLocation W6469761041 @default.
- W646976104 hasRelatedWork W1965287268 @default.
- W646976104 hasRelatedWork W1978042415 @default.
- W646976104 hasRelatedWork W2049473448 @default.
- W646976104 hasRelatedWork W2065224863 @default.
- W646976104 hasRelatedWork W2087001086 @default.
- W646976104 hasRelatedWork W2332092418 @default.
- W646976104 hasRelatedWork W2537625454 @default.
- W646976104 hasRelatedWork W2622853751 @default.
- W646976104 hasRelatedWork W3011202710 @default.
- W646976104 hasRelatedWork W4235333154 @default.
- W646976104 hasVolume "DMTCS Proceedings vol. AM,..." @default.
- W646976104 isParatext "false" @default.
- W646976104 isRetracted "false" @default.
- W646976104 magId "646976104" @default.
- W646976104 workType "article" @default.