Matches in SemOpenAlex for { <https://semopenalex.org/work/W1516079304> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1516079304 endingPage "344" @default.
- W1516079304 startingPage "289" @default.
- W1516079304 created "2016-06-24" @default.
- W1516079304 creator A5002384779 @default.
- W1516079304 date "2001-01-01" @default.
- W1516079304 modified "2023-09-28" @default.
- W1516079304 title "Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators" @default.
- W1516079304 hasPublicationYear "2001" @default.
- W1516079304 type Work @default.
- W1516079304 sameAs 1516079304 @default.
- W1516079304 citedByCount "8" @default.
- W1516079304 countsByYear W15160793042018 @default.
- W1516079304 crossrefType "journal-article" @default.
- W1516079304 hasAuthorship W1516079304A5002384779 @default.
- W1516079304 hasConcept C11821877 @default.
- W1516079304 hasConcept C118615104 @default.
- W1516079304 hasConcept C136119220 @default.
- W1516079304 hasConcept C138268822 @default.
- W1516079304 hasConcept C138390121 @default.
- W1516079304 hasConcept C154945302 @default.
- W1516079304 hasConcept C162860070 @default.
- W1516079304 hasConcept C192606457 @default.
- W1516079304 hasConcept C199343813 @default.
- W1516079304 hasConcept C202444582 @default.
- W1516079304 hasConcept C2777686260 @default.
- W1516079304 hasConcept C33923547 @default.
- W1516079304 hasConcept C41008148 @default.
- W1516079304 hasConcept C71924100 @default.
- W1516079304 hasConceptScore W1516079304C11821877 @default.
- W1516079304 hasConceptScore W1516079304C118615104 @default.
- W1516079304 hasConceptScore W1516079304C136119220 @default.
- W1516079304 hasConceptScore W1516079304C138268822 @default.
- W1516079304 hasConceptScore W1516079304C138390121 @default.
- W1516079304 hasConceptScore W1516079304C154945302 @default.
- W1516079304 hasConceptScore W1516079304C162860070 @default.
- W1516079304 hasConceptScore W1516079304C192606457 @default.
- W1516079304 hasConceptScore W1516079304C199343813 @default.
- W1516079304 hasConceptScore W1516079304C202444582 @default.
- W1516079304 hasConceptScore W1516079304C2777686260 @default.
- W1516079304 hasConceptScore W1516079304C33923547 @default.
- W1516079304 hasConceptScore W1516079304C41008148 @default.
- W1516079304 hasConceptScore W1516079304C71924100 @default.
- W1516079304 hasLocation W15160793041 @default.
- W1516079304 hasOpenAccess W1516079304 @default.
- W1516079304 hasPrimaryLocation W15160793041 @default.
- W1516079304 hasRelatedWork W130537534 @default.
- W1516079304 hasRelatedWork W1487409515 @default.
- W1516079304 hasRelatedWork W1519478560 @default.
- W1516079304 hasRelatedWork W1535673504 @default.
- W1516079304 hasRelatedWork W1551340995 @default.
- W1516079304 hasRelatedWork W1556184062 @default.
- W1516079304 hasRelatedWork W1577536563 @default.
- W1516079304 hasRelatedWork W1592359484 @default.
- W1516079304 hasRelatedWork W1604272107 @default.
- W1516079304 hasRelatedWork W1977670033 @default.
- W1516079304 hasRelatedWork W1978050007 @default.
- W1516079304 hasRelatedWork W2035493071 @default.
- W1516079304 hasRelatedWork W2076410236 @default.
- W1516079304 hasRelatedWork W2093397547 @default.
- W1516079304 hasRelatedWork W2110182592 @default.
- W1516079304 hasRelatedWork W2138336393 @default.
- W1516079304 hasRelatedWork W2150553139 @default.
- W1516079304 hasRelatedWork W2168690391 @default.
- W1516079304 hasRelatedWork W61450922 @default.
- W1516079304 hasRelatedWork W634414395 @default.
- W1516079304 hasVolume "6" @default.
- W1516079304 isParatext "false" @default.
- W1516079304 isRetracted "false" @default.
- W1516079304 magId "1516079304" @default.
- W1516079304 workType "article" @default.