Matches in SemOpenAlex for { <https://semopenalex.org/work/W2354005566> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2354005566 abstract "A method of compression of representations of propositional formulas,compressed diagram for formulas,is presented.The corresponding formal system is given,and compared with sequent calculus systems Gentzencut},this system offers an exponential speedup in proof efficiency over them,which provides for propositional logic an alternative formal system." @default.
- W2354005566 created "2016-06-24" @default.
- W2354005566 creator A5028112099 @default.
- W2354005566 date "2011-01-01" @default.
- W2354005566 modified "2023-09-25" @default.
- W2354005566 title "Compression of Representations of Formulas and Corresponding Formal System for Propositional Logic" @default.
- W2354005566 hasPublicationYear "2011" @default.
- W2354005566 type Work @default.
- W2354005566 sameAs 2354005566 @default.
- W2354005566 citedByCount "0" @default.
- W2354005566 crossrefType "journal-article" @default.
- W2354005566 hasAuthorship W2354005566A5028112099 @default.
- W2354005566 hasConcept C102993220 @default.
- W2354005566 hasConcept C108710211 @default.
- W2354005566 hasConcept C110039528 @default.
- W2354005566 hasConcept C118615104 @default.
- W2354005566 hasConcept C136119220 @default.
- W2354005566 hasConcept C14523651 @default.
- W2354005566 hasConcept C191222856 @default.
- W2354005566 hasConcept C199343813 @default.
- W2354005566 hasConcept C202444582 @default.
- W2354005566 hasConcept C203659156 @default.
- W2354005566 hasConcept C2524010 @default.
- W2354005566 hasConcept C2777686260 @default.
- W2354005566 hasConcept C33203268 @default.
- W2354005566 hasConcept C33923547 @default.
- W2354005566 hasConcept C41008148 @default.
- W2354005566 hasConcept C62073222 @default.
- W2354005566 hasConcept C6489637 @default.
- W2354005566 hasConcept C65880906 @default.
- W2354005566 hasConcept C69562738 @default.
- W2354005566 hasConcept C71924100 @default.
- W2354005566 hasConcept C74640108 @default.
- W2354005566 hasConcept C80444323 @default.
- W2354005566 hasConcept C89421646 @default.
- W2354005566 hasConceptScore W2354005566C102993220 @default.
- W2354005566 hasConceptScore W2354005566C108710211 @default.
- W2354005566 hasConceptScore W2354005566C110039528 @default.
- W2354005566 hasConceptScore W2354005566C118615104 @default.
- W2354005566 hasConceptScore W2354005566C136119220 @default.
- W2354005566 hasConceptScore W2354005566C14523651 @default.
- W2354005566 hasConceptScore W2354005566C191222856 @default.
- W2354005566 hasConceptScore W2354005566C199343813 @default.
- W2354005566 hasConceptScore W2354005566C202444582 @default.
- W2354005566 hasConceptScore W2354005566C203659156 @default.
- W2354005566 hasConceptScore W2354005566C2524010 @default.
- W2354005566 hasConceptScore W2354005566C2777686260 @default.
- W2354005566 hasConceptScore W2354005566C33203268 @default.
- W2354005566 hasConceptScore W2354005566C33923547 @default.
- W2354005566 hasConceptScore W2354005566C41008148 @default.
- W2354005566 hasConceptScore W2354005566C62073222 @default.
- W2354005566 hasConceptScore W2354005566C6489637 @default.
- W2354005566 hasConceptScore W2354005566C65880906 @default.
- W2354005566 hasConceptScore W2354005566C69562738 @default.
- W2354005566 hasConceptScore W2354005566C71924100 @default.
- W2354005566 hasConceptScore W2354005566C74640108 @default.
- W2354005566 hasConceptScore W2354005566C80444323 @default.
- W2354005566 hasConceptScore W2354005566C89421646 @default.
- W2354005566 hasLocation W23540055661 @default.
- W2354005566 hasOpenAccess W2354005566 @default.
- W2354005566 hasPrimaryLocation W23540055661 @default.
- W2354005566 hasRelatedWork W1497902529 @default.
- W2354005566 hasRelatedWork W1521975091 @default.
- W2354005566 hasRelatedWork W1555569636 @default.
- W2354005566 hasRelatedWork W1607734894 @default.
- W2354005566 hasRelatedWork W1834198313 @default.
- W2354005566 hasRelatedWork W1980622348 @default.
- W2354005566 hasRelatedWork W2003922364 @default.
- W2354005566 hasRelatedWork W2015640848 @default.
- W2354005566 hasRelatedWork W2055279698 @default.
- W2354005566 hasRelatedWork W2074901796 @default.
- W2354005566 hasRelatedWork W2084441573 @default.
- W2354005566 hasRelatedWork W2085914381 @default.
- W2354005566 hasRelatedWork W2089782082 @default.
- W2354005566 hasRelatedWork W2140189867 @default.
- W2354005566 hasRelatedWork W2234171659 @default.
- W2354005566 hasRelatedWork W2350792405 @default.
- W2354005566 hasRelatedWork W2412692259 @default.
- W2354005566 hasRelatedWork W3089146403 @default.
- W2354005566 hasRelatedWork W2107956612 @default.
- W2354005566 hasRelatedWork W2108887947 @default.
- W2354005566 isParatext "false" @default.
- W2354005566 isRetracted "false" @default.
- W2354005566 magId "2354005566" @default.
- W2354005566 workType "article" @default.