Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293767041> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4293767041 endingPage "65" @default.
- W4293767041 startingPage "58" @default.
- W4293767041 abstract "In this paper four proof complexity characteristics for some class of balanced tautologies are investigated in two proof systems of propositional logic. One of the considered systems is based on determinative disjunctive normal form, the other on the generalization of splitting method. The optimal upper and lower bounds by logarithmic scale for all main proof complexity characteristics of considered tautologies are obtained in both systems." @default.
- W4293767041 created "2022-08-31" @default.
- W4293767041 creator A5048626830 @default.
- W4293767041 date "2022-07-13" @default.
- W4293767041 modified "2023-09-30" @default.
- W4293767041 title "PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS" @default.
- W4293767041 doi "https://doi.org/10.46991/pysu:a/2022.56.2.058" @default.
- W4293767041 hasPublicationYear "2022" @default.
- W4293767041 type Work @default.
- W4293767041 citedByCount "0" @default.
- W4293767041 crossrefType "journal-article" @default.
- W4293767041 hasAuthorship W4293767041A5048626830 @default.
- W4293767041 hasBestOaLocation W42937670411 @default.
- W4293767041 hasConcept C102993220 @default.
- W4293767041 hasConcept C105605280 @default.
- W4293767041 hasConcept C108710211 @default.
- W4293767041 hasConcept C118615104 @default.
- W4293767041 hasConcept C134306372 @default.
- W4293767041 hasConcept C136726353 @default.
- W4293767041 hasConcept C138885662 @default.
- W4293767041 hasConcept C14523651 @default.
- W4293767041 hasConcept C154945302 @default.
- W4293767041 hasConcept C161505775 @default.
- W4293767041 hasConcept C16221470 @default.
- W4293767041 hasConcept C177148314 @default.
- W4293767041 hasConcept C2524010 @default.
- W4293767041 hasConcept C2775907739 @default.
- W4293767041 hasConcept C2777212361 @default.
- W4293767041 hasConcept C33203268 @default.
- W4293767041 hasConcept C33923547 @default.
- W4293767041 hasConcept C39927690 @default.
- W4293767041 hasConcept C41008148 @default.
- W4293767041 hasConcept C41895202 @default.
- W4293767041 hasConcept C69562738 @default.
- W4293767041 hasConcept C74640108 @default.
- W4293767041 hasConcept C80444323 @default.
- W4293767041 hasConceptScore W4293767041C102993220 @default.
- W4293767041 hasConceptScore W4293767041C105605280 @default.
- W4293767041 hasConceptScore W4293767041C108710211 @default.
- W4293767041 hasConceptScore W4293767041C118615104 @default.
- W4293767041 hasConceptScore W4293767041C134306372 @default.
- W4293767041 hasConceptScore W4293767041C136726353 @default.
- W4293767041 hasConceptScore W4293767041C138885662 @default.
- W4293767041 hasConceptScore W4293767041C14523651 @default.
- W4293767041 hasConceptScore W4293767041C154945302 @default.
- W4293767041 hasConceptScore W4293767041C161505775 @default.
- W4293767041 hasConceptScore W4293767041C16221470 @default.
- W4293767041 hasConceptScore W4293767041C177148314 @default.
- W4293767041 hasConceptScore W4293767041C2524010 @default.
- W4293767041 hasConceptScore W4293767041C2775907739 @default.
- W4293767041 hasConceptScore W4293767041C2777212361 @default.
- W4293767041 hasConceptScore W4293767041C33203268 @default.
- W4293767041 hasConceptScore W4293767041C33923547 @default.
- W4293767041 hasConceptScore W4293767041C39927690 @default.
- W4293767041 hasConceptScore W4293767041C41008148 @default.
- W4293767041 hasConceptScore W4293767041C41895202 @default.
- W4293767041 hasConceptScore W4293767041C69562738 @default.
- W4293767041 hasConceptScore W4293767041C74640108 @default.
- W4293767041 hasConceptScore W4293767041C80444323 @default.
- W4293767041 hasIssue "2 (258)" @default.
- W4293767041 hasLocation W42937670411 @default.
- W4293767041 hasOpenAccess W4293767041 @default.
- W4293767041 hasPrimaryLocation W42937670411 @default.
- W4293767041 hasRelatedWork W1969569184 @default.
- W4293767041 hasRelatedWork W2153912760 @default.
- W4293767041 hasRelatedWork W2296202685 @default.
- W4293767041 hasRelatedWork W2373482785 @default.
- W4293767041 hasRelatedWork W2393406546 @default.
- W4293767041 hasRelatedWork W3213123031 @default.
- W4293767041 hasRelatedWork W4293767041 @default.
- W4293767041 hasRelatedWork W4321153753 @default.
- W4293767041 hasRelatedWork W165694850 @default.
- W4293767041 hasRelatedWork W402386841 @default.
- W4293767041 hasVolume "56" @default.
- W4293767041 isParatext "false" @default.
- W4293767041 isRetracted "false" @default.
- W4293767041 workType "article" @default.