Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096156726> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2096156726 abstract "Bibel's matrix connection method is an alternative to resolution for the mechanized proof of logical statements. Bibel's method was originally defined for classical logic. In this work, an adaptation of the method for annotated propositional logic is given, followed by a simple case study. Some implementation details are also presented." @default.
- W2096156726 created "2016-06-24" @default.
- W2096156726 creator A5013478105 @default.
- W2096156726 creator A5033111709 @default.
- W2096156726 creator A5044004252 @default.
- W2096156726 date "2002-11-13" @default.
- W2096156726 modified "2023-09-26" @default.
- W2096156726 title "Bibel's matrix connection method in paraconsistent logic: general concepts and implementation" @default.
- W2096156726 cites W1829244603 @default.
- W2096156726 cites W2142616542 @default.
- W2096156726 cites W2158084301 @default.
- W2096156726 cites W2487176464 @default.
- W2096156726 cites W4298078965 @default.
- W2096156726 doi "https://doi.org/10.1109/sccc.2001.972644" @default.
- W2096156726 hasPublicationYear "2002" @default.
- W2096156726 type Work @default.
- W2096156726 sameAs 2096156726 @default.
- W2096156726 citedByCount "2" @default.
- W2096156726 countsByYear W20961567262017 @default.
- W2096156726 crossrefType "proceedings-article" @default.
- W2096156726 hasAuthorship W2096156726A5013478105 @default.
- W2096156726 hasAuthorship W2096156726A5033111709 @default.
- W2096156726 hasAuthorship W2096156726A5044004252 @default.
- W2096156726 hasConcept C106487976 @default.
- W2096156726 hasConcept C111472728 @default.
- W2096156726 hasConcept C11413529 @default.
- W2096156726 hasConcept C13355873 @default.
- W2096156726 hasConcept C136119220 @default.
- W2096156726 hasConcept C138268822 @default.
- W2096156726 hasConcept C138885662 @default.
- W2096156726 hasConcept C159985019 @default.
- W2096156726 hasConcept C192562407 @default.
- W2096156726 hasConcept C199343813 @default.
- W2096156726 hasConcept C199360897 @default.
- W2096156726 hasConcept C202444582 @default.
- W2096156726 hasConcept C2524010 @default.
- W2096156726 hasConcept C2777686260 @default.
- W2096156726 hasConcept C2780586882 @default.
- W2096156726 hasConcept C33923547 @default.
- W2096156726 hasConcept C41008148 @default.
- W2096156726 hasConcept C69562738 @default.
- W2096156726 hasConcept C71924100 @default.
- W2096156726 hasConcept C80444323 @default.
- W2096156726 hasConcept C94375191 @default.
- W2096156726 hasConceptScore W2096156726C106487976 @default.
- W2096156726 hasConceptScore W2096156726C111472728 @default.
- W2096156726 hasConceptScore W2096156726C11413529 @default.
- W2096156726 hasConceptScore W2096156726C13355873 @default.
- W2096156726 hasConceptScore W2096156726C136119220 @default.
- W2096156726 hasConceptScore W2096156726C138268822 @default.
- W2096156726 hasConceptScore W2096156726C138885662 @default.
- W2096156726 hasConceptScore W2096156726C159985019 @default.
- W2096156726 hasConceptScore W2096156726C192562407 @default.
- W2096156726 hasConceptScore W2096156726C199343813 @default.
- W2096156726 hasConceptScore W2096156726C199360897 @default.
- W2096156726 hasConceptScore W2096156726C202444582 @default.
- W2096156726 hasConceptScore W2096156726C2524010 @default.
- W2096156726 hasConceptScore W2096156726C2777686260 @default.
- W2096156726 hasConceptScore W2096156726C2780586882 @default.
- W2096156726 hasConceptScore W2096156726C33923547 @default.
- W2096156726 hasConceptScore W2096156726C41008148 @default.
- W2096156726 hasConceptScore W2096156726C69562738 @default.
- W2096156726 hasConceptScore W2096156726C71924100 @default.
- W2096156726 hasConceptScore W2096156726C80444323 @default.
- W2096156726 hasConceptScore W2096156726C94375191 @default.
- W2096156726 hasLocation W20961567261 @default.
- W2096156726 hasOpenAccess W2096156726 @default.
- W2096156726 hasPrimaryLocation W20961567261 @default.
- W2096156726 hasRelatedWork W1505395785 @default.
- W2096156726 hasRelatedWork W1514150835 @default.
- W2096156726 hasRelatedWork W1531159060 @default.
- W2096156726 hasRelatedWork W156466166 @default.
- W2096156726 hasRelatedWork W1799934009 @default.
- W2096156726 hasRelatedWork W2013594952 @default.
- W2096156726 hasRelatedWork W2081976468 @default.
- W2096156726 hasRelatedWork W2136749973 @default.
- W2096156726 hasRelatedWork W2338791852 @default.
- W2096156726 hasRelatedWork W2519911856 @default.
- W2096156726 hasRelatedWork W2908263265 @default.
- W2096156726 hasRelatedWork W2914836315 @default.
- W2096156726 hasRelatedWork W2917963553 @default.
- W2096156726 hasRelatedWork W3110961098 @default.
- W2096156726 hasRelatedWork W3126800879 @default.
- W2096156726 hasRelatedWork W362162902 @default.
- W2096156726 hasRelatedWork W561326750 @default.
- W2096156726 hasRelatedWork W588836834 @default.
- W2096156726 hasRelatedWork W87514402 @default.
- W2096156726 hasRelatedWork W2182005681 @default.
- W2096156726 isParatext "false" @default.
- W2096156726 isRetracted "false" @default.
- W2096156726 magId "2096156726" @default.
- W2096156726 workType "article" @default.