FRINK Linked Data Fragments server

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

• W2098022011 endingPage "219" @default.
• W2098022011 startingPage "209" @default.
• W2098022011 abstract "Exponential lower bounds are proved for the length-of-resolution refutations of sets of disjunctions constructed from expander graphs, using the method of Tseitin. Since these sets of clauses encode biconditionals, they have short (polynomial-length) refutations in a standard axiomatic formulation of propositional calculus." @default.
• W2098022011 created "2016-06-24" @default.
• W2098022011 creator A5057218145 @default.
• W2098022011 date "1987-01-01" @default.
• W2098022011 modified "2023-10-12" @default.
• W2098022011 title "Hard examples for resolution" @default.
• W2098022011 cites W1974951277 @default.
• W2098022011 cites W1988083342 @default.
• W2098022011 cites W1997158981 @default.
• W2098022011 cites W2067642391 @default.
• W2098022011 cites W2069767473 @default.
• W2098022011 cites W2070017679 @default.
• W2098022011 doi "https://doi.org/10.1145/7531.8928" @default.
• W2098022011 hasPublicationYear "1987" @default.
• W2098022011 type Work @default.
• W2098022011 sameAs 2098022011 @default.
• W2098022011 citedByCount "418" @default.
• W2098022011 countsByYear W20980220112012 @default.
• W2098022011 countsByYear W20980220112013 @default.
• W2098022011 countsByYear W20980220112014 @default.
• W2098022011 countsByYear W20980220112015 @default.
• W2098022011 countsByYear W20980220112016 @default.
• W2098022011 countsByYear W20980220112017 @default.
• W2098022011 countsByYear W20980220112018 @default.
• W2098022011 countsByYear W20980220112019 @default.
• W2098022011 countsByYear W20980220112020 @default.
• W2098022011 countsByYear W20980220112021 @default.
• W2098022011 countsByYear W20980220112022 @default.
• W2098022011 countsByYear W20980220112023 @default.
• W2098022011 crossrefType "journal-article" @default.
• W2098022011 hasAuthorship W2098022011A5057218145 @default.
• W2098022011 hasBestOaLocation W20980220111 @default.
• W2098022011 hasConcept C102993220 @default.
• W2098022011 hasConcept C104317684 @default.
• W2098022011 hasConcept C114614502 @default.
• W2098022011 hasConcept C118615104 @default.
• W2098022011 hasConcept C125773388 @default.
• W2098022011 hasConcept C134306372 @default.
• W2098022011 hasConcept C138268822 @default.
• W2098022011 hasConcept C14523651 @default.
• W2098022011 hasConcept C151376022 @default.
• W2098022011 hasConcept C154945302 @default.
• W2098022011 hasConcept C16221470 @default.
• W2098022011 hasConcept C167729594 @default.
• W2098022011 hasConcept C185592680 @default.
• W2098022011 hasConcept C199343813 @default.
• W2098022011 hasConcept C2524010 @default.
• W2098022011 hasConcept C2777686260 @default.
• W2098022011 hasConcept C33203268 @default.
• W2098022011 hasConcept C33923547 @default.
• W2098022011 hasConcept C41008148 @default.
• W2098022011 hasConcept C55493867 @default.
• W2098022011 hasConcept C66746571 @default.
• W2098022011 hasConcept C69562738 @default.
• W2098022011 hasConcept C71924100 @default.
• W2098022011 hasConcept C74640108 @default.
• W2098022011 hasConceptScore W2098022011C102993220 @default.
• W2098022011 hasConceptScore W2098022011C104317684 @default.
• W2098022011 hasConceptScore W2098022011C114614502 @default.
• W2098022011 hasConceptScore W2098022011C118615104 @default.
• W2098022011 hasConceptScore W2098022011C125773388 @default.
• W2098022011 hasConceptScore W2098022011C134306372 @default.
• W2098022011 hasConceptScore W2098022011C138268822 @default.
• W2098022011 hasConceptScore W2098022011C14523651 @default.
• W2098022011 hasConceptScore W2098022011C151376022 @default.
• W2098022011 hasConceptScore W2098022011C154945302 @default.
• W2098022011 hasConceptScore W2098022011C16221470 @default.
• W2098022011 hasConceptScore W2098022011C167729594 @default.
• W2098022011 hasConceptScore W2098022011C185592680 @default.
• W2098022011 hasConceptScore W2098022011C199343813 @default.
• W2098022011 hasConceptScore W2098022011C2524010 @default.
• W2098022011 hasConceptScore W2098022011C2777686260 @default.
• W2098022011 hasConceptScore W2098022011C33203268 @default.
• W2098022011 hasConceptScore W2098022011C33923547 @default.
• W2098022011 hasConceptScore W2098022011C41008148 @default.
• W2098022011 hasConceptScore W2098022011C55493867 @default.
• W2098022011 hasConceptScore W2098022011C66746571 @default.
• W2098022011 hasConceptScore W2098022011C69562738 @default.
• W2098022011 hasConceptScore W2098022011C71924100 @default.
• W2098022011 hasConceptScore W2098022011C74640108 @default.
• W2098022011 hasIssue "1" @default.
• W2098022011 hasLocation W20980220111 @default.
• W2098022011 hasOpenAccess W2098022011 @default.
• W2098022011 hasPrimaryLocation W20980220111 @default.
• W2098022011 hasRelatedWork W1492881020 @default.
• W2098022011 hasRelatedWork W2022840750 @default.
• W2098022011 hasRelatedWork W2060658593 @default.
• W2098022011 hasRelatedWork W2098022011 @default.
• W2098022011 hasRelatedWork W2153912760 @default.
• W2098022011 hasRelatedWork W2951050752 @default.
• W2098022011 hasRelatedWork W4298206169 @default.
• W2098022011 hasRelatedWork W4321153753 @default.
• W2098022011 hasRelatedWork W770516323 @default.
• W2098022011 hasRelatedWork W860315492 @default.
• W2098022011 hasVolume "34" @default.
• W2098022011 isParatext "false" @default.
• W2098022011 isRetracted "false" @default.
• W2098022011 magId "2098022011" @default.

• next