Matches in SemOpenAlex for { <https://semopenalex.org/work/W2182846928> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2182846928 abstract "Since then, our Dangerous Reductions research [HHU07] was accepted at the SAT 2007 conference in Lisbon. In light of Pavel Hrubes’ recent impressive Intuitionistic Logic lower bounds [Hru06], we are currently in the process of reworking our Intuitionistic Logic paper, which needs to be modified to take the new results into account. In unrelated research, [HHM07] was recently accepted by the Notre Dame Journal of Formal Logic." @default.
- W2182846928 created "2016-06-24" @default.
- W2182846928 creator A5034088016 @default.
- W2182846928 date "2007-01-01" @default.
- W2182846928 modified "2023-09-27" @default.
- W2182846928 title "Thesis Proposal: An Application of Game Characterizations to Propositional Proof Complexity" @default.
- W2182846928 cites W1520950860 @default.
- W2182846928 cites W1598289908 @default.
- W2182846928 cites W1838918432 @default.
- W2182846928 cites W1978701879 @default.
- W2182846928 cites W1979753555 @default.
- W2182846928 cites W1982129592 @default.
- W2182846928 cites W1997338813 @default.
- W2182846928 cites W1998430462 @default.
- W2182846928 cites W2014963708 @default.
- W2182846928 cites W2017209655 @default.
- W2182846928 cites W2028514779 @default.
- W2182846928 cites W2066721455 @default.
- W2182846928 cites W2071347463 @default.
- W2182846928 cites W2073227282 @default.
- W2182846928 cites W2076318470 @default.
- W2182846928 cites W2084384424 @default.
- W2182846928 cites W2092984557 @default.
- W2182846928 cites W2123581574 @default.
- W2182846928 cites W2129413084 @default.
- W2182846928 cites W2150339067 @default.
- W2182846928 cites W2460638073 @default.
- W2182846928 hasPublicationYear "2007" @default.
- W2182846928 type Work @default.
- W2182846928 sameAs 2182846928 @default.
- W2182846928 citedByCount "0" @default.
- W2182846928 crossrefType "journal-article" @default.
- W2182846928 hasAuthorship W2182846928A5034088016 @default.
- W2182846928 hasConcept C102993220 @default.
- W2182846928 hasConcept C110039528 @default.
- W2182846928 hasConcept C111472728 @default.
- W2182846928 hasConcept C138885662 @default.
- W2182846928 hasConcept C144237770 @default.
- W2182846928 hasConcept C178421362 @default.
- W2182846928 hasConcept C199343813 @default.
- W2182846928 hasConcept C199360897 @default.
- W2182846928 hasConcept C203659156 @default.
- W2182846928 hasConcept C2777686260 @default.
- W2182846928 hasConcept C33923547 @default.
- W2182846928 hasConcept C41008148 @default.
- W2182846928 hasConcept C69562738 @default.
- W2182846928 hasConcept C71924100 @default.
- W2182846928 hasConceptScore W2182846928C102993220 @default.
- W2182846928 hasConceptScore W2182846928C110039528 @default.
- W2182846928 hasConceptScore W2182846928C111472728 @default.
- W2182846928 hasConceptScore W2182846928C138885662 @default.
- W2182846928 hasConceptScore W2182846928C144237770 @default.
- W2182846928 hasConceptScore W2182846928C178421362 @default.
- W2182846928 hasConceptScore W2182846928C199343813 @default.
- W2182846928 hasConceptScore W2182846928C199360897 @default.
- W2182846928 hasConceptScore W2182846928C203659156 @default.
- W2182846928 hasConceptScore W2182846928C2777686260 @default.
- W2182846928 hasConceptScore W2182846928C33923547 @default.
- W2182846928 hasConceptScore W2182846928C41008148 @default.
- W2182846928 hasConceptScore W2182846928C69562738 @default.
- W2182846928 hasConceptScore W2182846928C71924100 @default.
- W2182846928 hasLocation W21828469281 @default.
- W2182846928 hasOpenAccess W2182846928 @default.
- W2182846928 hasPrimaryLocation W21828469281 @default.
- W2182846928 hasRelatedWork W117430941 @default.
- W2182846928 hasRelatedWork W1720348857 @default.
- W2182846928 hasRelatedWork W1980921829 @default.
- W2182846928 hasRelatedWork W2002134955 @default.
- W2182846928 hasRelatedWork W2010228494 @default.
- W2182846928 hasRelatedWork W2010884894 @default.
- W2182846928 hasRelatedWork W2060306799 @default.
- W2182846928 hasRelatedWork W2122478249 @default.
- W2182846928 hasRelatedWork W2124008746 @default.
- W2182846928 hasRelatedWork W2128926983 @default.
- W2182846928 hasRelatedWork W2134446632 @default.
- W2182846928 hasRelatedWork W2274792615 @default.
- W2182846928 hasRelatedWork W2383380621 @default.
- W2182846928 hasRelatedWork W2402643976 @default.
- W2182846928 hasRelatedWork W2526982836 @default.
- W2182846928 hasRelatedWork W2908263265 @default.
- W2182846928 hasRelatedWork W3042462954 @default.
- W2182846928 hasRelatedWork W3173260529 @default.
- W2182846928 hasRelatedWork W75874695 @default.
- W2182846928 hasRelatedWork W77687092 @default.
- W2182846928 isParatext "false" @default.
- W2182846928 isRetracted "false" @default.
- W2182846928 magId "2182846928" @default.
- W2182846928 workType "article" @default.