Matches in SemOpenAlex for { <https://semopenalex.org/work/W2308575459> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2308575459 abstract "This work describes the development of an automated theorem proving system of propositional logic. The paper presents the theoretical foundations, operational issues and structure of a theorem proving software, developed with academic and didactic purposes, using proof methods based on three semantics tableaux: Smullyan tableau, Lema tableau e KE tableau. Experiments were performed to verify the correctness of the results of the proofs, using automatically generating formulas." @default.
- W2308575459 created "2016-06-24" @default.
- W2308575459 creator A5010502785 @default.
- W2308575459 creator A5016268295 @default.
- W2308575459 creator A5053096748 @default.
- W2308575459 creator A5087080839 @default.
- W2308575459 creator A5091001040 @default.
- W2308575459 date "2013-01-01" @default.
- W2308575459 modified "2023-09-27" @default.
- W2308575459 title "PROVA AUTOMATIZADA DE TEOREMA EM LÓGICA PROPOSICIONAL AUTOMATED THEOREM PROVING IN PROPOSITIONAL LOGIC" @default.
- W2308575459 cites W2018015794 @default.
- W2308575459 cites W3296631 @default.
- W2308575459 hasPublicationYear "2013" @default.
- W2308575459 type Work @default.
- W2308575459 sameAs 2308575459 @default.
- W2308575459 citedByCount "0" @default.
- W2308575459 crossrefType "journal-article" @default.
- W2308575459 hasAuthorship W2308575459A5010502785 @default.
- W2308575459 hasAuthorship W2308575459A5016268295 @default.
- W2308575459 hasAuthorship W2308575459A5053096748 @default.
- W2308575459 hasAuthorship W2308575459A5087080839 @default.
- W2308575459 hasAuthorship W2308575459A5091001040 @default.
- W2308575459 hasConcept C102993220 @default.
- W2308575459 hasConcept C108710211 @default.
- W2308575459 hasConcept C11413529 @default.
- W2308575459 hasConcept C118615104 @default.
- W2308575459 hasConcept C13766981 @default.
- W2308575459 hasConcept C14523651 @default.
- W2308575459 hasConcept C184337299 @default.
- W2308575459 hasConcept C199343813 @default.
- W2308575459 hasConcept C199360897 @default.
- W2308575459 hasConcept C206880738 @default.
- W2308575459 hasConcept C2524010 @default.
- W2308575459 hasConcept C2777686260 @default.
- W2308575459 hasConcept C33203268 @default.
- W2308575459 hasConcept C33923547 @default.
- W2308575459 hasConcept C41008148 @default.
- W2308575459 hasConcept C55439883 @default.
- W2308575459 hasConcept C69562738 @default.
- W2308575459 hasConcept C71924100 @default.
- W2308575459 hasConcept C74640108 @default.
- W2308575459 hasConceptScore W2308575459C102993220 @default.
- W2308575459 hasConceptScore W2308575459C108710211 @default.
- W2308575459 hasConceptScore W2308575459C11413529 @default.
- W2308575459 hasConceptScore W2308575459C118615104 @default.
- W2308575459 hasConceptScore W2308575459C13766981 @default.
- W2308575459 hasConceptScore W2308575459C14523651 @default.
- W2308575459 hasConceptScore W2308575459C184337299 @default.
- W2308575459 hasConceptScore W2308575459C199343813 @default.
- W2308575459 hasConceptScore W2308575459C199360897 @default.
- W2308575459 hasConceptScore W2308575459C206880738 @default.
- W2308575459 hasConceptScore W2308575459C2524010 @default.
- W2308575459 hasConceptScore W2308575459C2777686260 @default.
- W2308575459 hasConceptScore W2308575459C33203268 @default.
- W2308575459 hasConceptScore W2308575459C33923547 @default.
- W2308575459 hasConceptScore W2308575459C41008148 @default.
- W2308575459 hasConceptScore W2308575459C55439883 @default.
- W2308575459 hasConceptScore W2308575459C69562738 @default.
- W2308575459 hasConceptScore W2308575459C71924100 @default.
- W2308575459 hasConceptScore W2308575459C74640108 @default.
- W2308575459 hasLocation W23085754591 @default.
- W2308575459 hasOpenAccess W2308575459 @default.
- W2308575459 hasPrimaryLocation W23085754591 @default.
- W2308575459 isParatext "false" @default.
- W2308575459 isRetracted "false" @default.
- W2308575459 magId "2308575459" @default.
- W2308575459 workType "article" @default.