Matches in SemOpenAlex for { <https://semopenalex.org/work/W1036990135> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1036990135 endingPage "481" @default.
- W1036990135 startingPage "481" @default.
- W1036990135 created "2016-06-24" @default.
- W1036990135 creator A5002384779 @default.
- W1036990135 date "1999-01-01" @default.
- W1036990135 modified "2023-09-22" @default.
- W1036990135 title "Resolution-based Theorem Proving for Non-classical Logics based on Distributive Lattices with Operators" @default.
- W1036990135 hasPublicationYear "1999" @default.
- W1036990135 type Work @default.
- W1036990135 sameAs 1036990135 @default.
- W1036990135 citedByCount "0" @default.
- W1036990135 crossrefType "journal-article" @default.
- W1036990135 hasAuthorship W1036990135A5002384779 @default.
- W1036990135 hasConcept C11821877 @default.
- W1036990135 hasConcept C118615104 @default.
- W1036990135 hasConcept C136119220 @default.
- W1036990135 hasConcept C138268822 @default.
- W1036990135 hasConcept C154945302 @default.
- W1036990135 hasConcept C1883856 @default.
- W1036990135 hasConcept C199343813 @default.
- W1036990135 hasConcept C202444582 @default.
- W1036990135 hasConcept C2777686260 @default.
- W1036990135 hasConcept C33923547 @default.
- W1036990135 hasConcept C41008148 @default.
- W1036990135 hasConcept C42011625 @default.
- W1036990135 hasConcept C58166 @default.
- W1036990135 hasConcept C71924100 @default.
- W1036990135 hasConcept C98224912 @default.
- W1036990135 hasConceptScore W1036990135C11821877 @default.
- W1036990135 hasConceptScore W1036990135C118615104 @default.
- W1036990135 hasConceptScore W1036990135C136119220 @default.
- W1036990135 hasConceptScore W1036990135C138268822 @default.
- W1036990135 hasConceptScore W1036990135C154945302 @default.
- W1036990135 hasConceptScore W1036990135C1883856 @default.
- W1036990135 hasConceptScore W1036990135C199343813 @default.
- W1036990135 hasConceptScore W1036990135C202444582 @default.
- W1036990135 hasConceptScore W1036990135C2777686260 @default.
- W1036990135 hasConceptScore W1036990135C33923547 @default.
- W1036990135 hasConceptScore W1036990135C41008148 @default.
- W1036990135 hasConceptScore W1036990135C42011625 @default.
- W1036990135 hasConceptScore W1036990135C58166 @default.
- W1036990135 hasConceptScore W1036990135C71924100 @default.
- W1036990135 hasConceptScore W1036990135C98224912 @default.
- W1036990135 hasOpenAccess W1036990135 @default.
- W1036990135 hasRelatedWork W1480092413 @default.
- W1036990135 hasRelatedWork W1506269905 @default.
- W1036990135 hasRelatedWork W1511090187 @default.
- W1036990135 hasRelatedWork W1593505166 @default.
- W1036990135 hasRelatedWork W1643485152 @default.
- W1036990135 hasRelatedWork W1919037109 @default.
- W1036990135 hasRelatedWork W193857920 @default.
- W1036990135 hasRelatedWork W1964435671 @default.
- W1036990135 hasRelatedWork W2005649416 @default.
- W1036990135 hasRelatedWork W2012616890 @default.
- W1036990135 hasRelatedWork W2031392871 @default.
- W1036990135 hasRelatedWork W2127246914 @default.
- W1036990135 hasRelatedWork W2606189036 @default.
- W1036990135 hasRelatedWork W2745840098 @default.
- W1036990135 hasRelatedWork W3009027761 @default.
- W1036990135 hasRelatedWork W3022423315 @default.
- W1036990135 hasRelatedWork W3047808796 @default.
- W1036990135 hasRelatedWork W3181940067 @default.
- W1036990135 hasRelatedWork W1899877418 @default.
- W1036990135 hasRelatedWork W2185605982 @default.
- W1036990135 isParatext "false" @default.
- W1036990135 isRetracted "false" @default.
- W1036990135 magId "1036990135" @default.
- W1036990135 workType "article" @default.