Matches in SemOpenAlex for { <https://semopenalex.org/work/W2366652024> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2366652024 abstract "Author investigate the complexity of deciding whether for propositional CNF formulas F and H there exists a renaming such that (F)=H. A renaming is a function mapping a propositional variable x to x or x. For MU(1),a subclasses of minimal unsatisfiable formulas,we show the solvability in polynomial time." @default.
- W2366652024 created "2016-06-24" @default.
- W2366652024 creator A5030100878 @default.
- W2366652024 date "2003-01-01" @default.
- W2366652024 modified "2023-09-27" @default.
- W2366652024 title "Polynomial Decidability of Renaming for Formulas in MU(1)" @default.
- W2366652024 hasPublicationYear "2003" @default.
- W2366652024 type Work @default.
- W2366652024 sameAs 2366652024 @default.
- W2366652024 citedByCount "1" @default.
- W2366652024 crossrefType "journal-article" @default.
- W2366652024 hasAuthorship W2366652024A5030100878 @default.
- W2366652024 hasConcept C102993220 @default.
- W2366652024 hasConcept C114614502 @default.
- W2366652024 hasConcept C118615104 @default.
- W2366652024 hasConcept C134306372 @default.
- W2366652024 hasConcept C14036430 @default.
- W2366652024 hasConcept C14523651 @default.
- W2366652024 hasConcept C153269930 @default.
- W2366652024 hasConcept C182365436 @default.
- W2366652024 hasConcept C311688 @default.
- W2366652024 hasConcept C33203268 @default.
- W2366652024 hasConcept C33923547 @default.
- W2366652024 hasConcept C41008148 @default.
- W2366652024 hasConcept C69562738 @default.
- W2366652024 hasConcept C74640108 @default.
- W2366652024 hasConcept C78458016 @default.
- W2366652024 hasConcept C80444323 @default.
- W2366652024 hasConcept C86803240 @default.
- W2366652024 hasConcept C90119067 @default.
- W2366652024 hasConceptScore W2366652024C102993220 @default.
- W2366652024 hasConceptScore W2366652024C114614502 @default.
- W2366652024 hasConceptScore W2366652024C118615104 @default.
- W2366652024 hasConceptScore W2366652024C134306372 @default.
- W2366652024 hasConceptScore W2366652024C14036430 @default.
- W2366652024 hasConceptScore W2366652024C14523651 @default.
- W2366652024 hasConceptScore W2366652024C153269930 @default.
- W2366652024 hasConceptScore W2366652024C182365436 @default.
- W2366652024 hasConceptScore W2366652024C311688 @default.
- W2366652024 hasConceptScore W2366652024C33203268 @default.
- W2366652024 hasConceptScore W2366652024C33923547 @default.
- W2366652024 hasConceptScore W2366652024C41008148 @default.
- W2366652024 hasConceptScore W2366652024C69562738 @default.
- W2366652024 hasConceptScore W2366652024C74640108 @default.
- W2366652024 hasConceptScore W2366652024C78458016 @default.
- W2366652024 hasConceptScore W2366652024C80444323 @default.
- W2366652024 hasConceptScore W2366652024C86803240 @default.
- W2366652024 hasConceptScore W2366652024C90119067 @default.
- W2366652024 hasLocation W23666520241 @default.
- W2366652024 hasOpenAccess W2366652024 @default.
- W2366652024 hasPrimaryLocation W23666520241 @default.
- W2366652024 hasRelatedWork W1493350325 @default.
- W2366652024 hasRelatedWork W1525293204 @default.
- W2366652024 hasRelatedWork W1554715854 @default.
- W2366652024 hasRelatedWork W1633286018 @default.
- W2366652024 hasRelatedWork W1980777597 @default.
- W2366652024 hasRelatedWork W1996958432 @default.
- W2366652024 hasRelatedWork W2026299856 @default.
- W2366652024 hasRelatedWork W2032544829 @default.
- W2366652024 hasRelatedWork W2042347326 @default.
- W2366652024 hasRelatedWork W2050426366 @default.
- W2366652024 hasRelatedWork W2140327811 @default.
- W2366652024 hasRelatedWork W2166566648 @default.
- W2366652024 hasRelatedWork W2315522835 @default.
- W2366652024 hasRelatedWork W2353696996 @default.
- W2366652024 hasRelatedWork W2360321538 @default.
- W2366652024 hasRelatedWork W2361816368 @default.
- W2366652024 hasRelatedWork W2368599666 @default.
- W2366652024 hasRelatedWork W2951050752 @default.
- W2366652024 hasRelatedWork W2962941898 @default.
- W2366652024 hasRelatedWork W2470318452 @default.
- W2366652024 isParatext "false" @default.
- W2366652024 isRetracted "false" @default.
- W2366652024 magId "2366652024" @default.
- W2366652024 workType "article" @default.