FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3123028025> ?p ?o ?g. }

• W3123028025 endingPage "34" @default.
• W3123028025 startingPage "1" @default.
• W3123028025 abstract "We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin extension rule or with the substitution rule; (2) there are analytic deep-inference proof systems that exhibit an exponential speedup over analytic Gentzen proof systems that they polynomially simulate." @default.
• W3123028025 created "2021-02-01" @default.
• W3123028025 creator A5007010992 @default.
• W3123028025 creator A5083986303 @default.
• W3123028025 date "2009-02-01" @default.
• W3123028025 modified "2023-10-17" @default.
• W3123028025 title "On the proof complexity of deep inference" @default.
• W3123028025 cites W1480549483 @default.
• W3123028025 cites W1520950860 @default.
• W3123028025 cites W1584701575 @default.
• W3123028025 cites W1589830330 @default.
• W3123028025 cites W1968584500 @default.
• W3123028025 cites W1970244405 @default.
• W3123028025 cites W1988083342 @default.
• W3123028025 cites W1990883597 @default.
• W3123028025 cites W1994532891 @default.
• W3123028025 cites W2008876986 @default.
• W3123028025 cites W2014195574 @default.
• W3123028025 cites W2056365917 @default.
• W3123028025 cites W2084232252 @default.
• W3123028025 cites W2102625227 @default.
• W3123028025 cites W2116328015 @default.
• W3123028025 cites W2155005677 @default.
• W3123028025 cites W2167202795 @default.
• W3123028025 cites W2168699673 @default.
• W3123028025 cites W2171353564 @default.
• W3123028025 cites W2911865844 @default.
• W3123028025 doi "https://doi.org/10.1145/1462179.1462186" @default.
• W3123028025 hasPublicationYear "2009" @default.
• W3123028025 type Work @default.
• W3123028025 sameAs 3123028025 @default.
• W3123028025 citedByCount "32" @default.
• W3123028025 countsByYear W31230280252012 @default.
• W3123028025 countsByYear W31230280252013 @default.
• W3123028025 countsByYear W31230280252014 @default.
• W3123028025 countsByYear W31230280252015 @default.
• W3123028025 countsByYear W31230280252016 @default.
• W3123028025 countsByYear W31230280252017 @default.
• W3123028025 countsByYear W31230280252018 @default.
• W3123028025 countsByYear W31230280252019 @default.
• W3123028025 countsByYear W31230280252020 @default.
• W3123028025 countsByYear W31230280252022 @default.
• W3123028025 crossrefType "journal-article" @default.
• W3123028025 hasAuthorship W3123028025A5007010992 @default.
• W3123028025 hasAuthorship W3123028025A5083986303 @default.
• W3123028025 hasBestOaLocation W31230280252 @default.
• W3123028025 hasConcept C105605280 @default.
• W3123028025 hasConcept C108710211 @default.
• W3123028025 hasConcept C111919701 @default.
• W3123028025 hasConcept C11413529 @default.
• W3123028025 hasConcept C118615104 @default.
• W3123028025 hasConcept C154945302 @default.
• W3123028025 hasConcept C161505775 @default.
• W3123028025 hasConcept C195653647 @default.
• W3123028025 hasConcept C199360897 @default.
• W3123028025 hasConcept C2318724 @default.
• W3123028025 hasConcept C2524010 @default.
• W3123028025 hasConcept C2776214188 @default.
• W3123028025 hasConcept C2778029271 @default.
• W3123028025 hasConcept C28077239 @default.
• W3123028025 hasConcept C33923547 @default.
• W3123028025 hasConcept C3746660 @default.
• W3123028025 hasConcept C41008148 @default.
• W3123028025 hasConcept C6489637 @default.
• W3123028025 hasConcept C68339613 @default.
• W3123028025 hasConcept C80444323 @default.
• W3123028025 hasConceptScore W3123028025C105605280 @default.
• W3123028025 hasConceptScore W3123028025C108710211 @default.
• W3123028025 hasConceptScore W3123028025C111919701 @default.
• W3123028025 hasConceptScore W3123028025C11413529 @default.
• W3123028025 hasConceptScore W3123028025C118615104 @default.
• W3123028025 hasConceptScore W3123028025C154945302 @default.
• W3123028025 hasConceptScore W3123028025C161505775 @default.
• W3123028025 hasConceptScore W3123028025C195653647 @default.
• W3123028025 hasConceptScore W3123028025C199360897 @default.
• W3123028025 hasConceptScore W3123028025C2318724 @default.
• W3123028025 hasConceptScore W3123028025C2524010 @default.
• W3123028025 hasConceptScore W3123028025C2776214188 @default.
• W3123028025 hasConceptScore W3123028025C2778029271 @default.
• W3123028025 hasConceptScore W3123028025C28077239 @default.
• W3123028025 hasConceptScore W3123028025C33923547 @default.
• W3123028025 hasConceptScore W3123028025C3746660 @default.
• W3123028025 hasConceptScore W3123028025C41008148 @default.
• W3123028025 hasConceptScore W3123028025C6489637 @default.
• W3123028025 hasConceptScore W3123028025C68339613 @default.
• W3123028025 hasConceptScore W3123028025C80444323 @default.
• W3123028025 hasFunder F4320334627 @default.
• W3123028025 hasIssue "2" @default.
• W3123028025 hasLocation W31230280251 @default.
• W3123028025 hasLocation W31230280252 @default.
• W3123028025 hasLocation W31230280253 @default.
• W3123028025 hasLocation W31230280254 @default.
• W3123028025 hasLocation W31230280255 @default.
• W3123028025 hasOpenAccess W3123028025 @default.
• W3123028025 hasPrimaryLocation W31230280251 @default.
• W3123028025 hasRelatedWork W131041899 @default.
• W3123028025 hasRelatedWork W1559475567 @default.
• W3123028025 hasRelatedWork W2064948582 @default.

• next