Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028856788> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2028856788 endingPage "844" @default.
- W2028856788 startingPage "813" @default.
- W2028856788 abstract "Monotonic preorders are integrated into tableaux using a simultaneous rigid unification calculus. For the case where monotonicity is not considered, a sound, complete and terminating calculus is defined and subsequently refined by using rewrite techniques. For the monotonic case, a sound and existentially complete calculus is presented which avoids the computation of some naive solutions." @default.
- W2028856788 created "2016-06-24" @default.
- W2028856788 creator A5009577466 @default.
- W2028856788 creator A5035865191 @default.
- W2028856788 date "2001-11-01" @default.
- W2028856788 modified "2023-10-16" @default.
- W2028856788 title "Free-variable tableaux for monotonic preorders" @default.
- W2028856788 doi "https://doi.org/10.1093/jigpal/9.6.813" @default.
- W2028856788 hasPublicationYear "2001" @default.
- W2028856788 type Work @default.
- W2028856788 sameAs 2028856788 @default.
- W2028856788 citedByCount "0" @default.
- W2028856788 crossrefType "journal-article" @default.
- W2028856788 hasAuthorship W2028856788A5009577466 @default.
- W2028856788 hasAuthorship W2028856788A5035865191 @default.
- W2028856788 hasConcept C11413529 @default.
- W2028856788 hasConcept C134306372 @default.
- W2028856788 hasConcept C136119220 @default.
- W2028856788 hasConcept C199343813 @default.
- W2028856788 hasConcept C199360897 @default.
- W2028856788 hasConcept C202444582 @default.
- W2028856788 hasConcept C2777686260 @default.
- W2028856788 hasConcept C33923547 @default.
- W2028856788 hasConcept C41008148 @default.
- W2028856788 hasConcept C45374587 @default.
- W2028856788 hasConcept C71924100 @default.
- W2028856788 hasConcept C72169020 @default.
- W2028856788 hasConcept C96146094 @default.
- W2028856788 hasConceptScore W2028856788C11413529 @default.
- W2028856788 hasConceptScore W2028856788C134306372 @default.
- W2028856788 hasConceptScore W2028856788C136119220 @default.
- W2028856788 hasConceptScore W2028856788C199343813 @default.
- W2028856788 hasConceptScore W2028856788C199360897 @default.
- W2028856788 hasConceptScore W2028856788C202444582 @default.
- W2028856788 hasConceptScore W2028856788C2777686260 @default.
- W2028856788 hasConceptScore W2028856788C33923547 @default.
- W2028856788 hasConceptScore W2028856788C41008148 @default.
- W2028856788 hasConceptScore W2028856788C45374587 @default.
- W2028856788 hasConceptScore W2028856788C71924100 @default.
- W2028856788 hasConceptScore W2028856788C72169020 @default.
- W2028856788 hasConceptScore W2028856788C96146094 @default.
- W2028856788 hasIssue "6" @default.
- W2028856788 hasLocation W20288567881 @default.
- W2028856788 hasOpenAccess W2028856788 @default.
- W2028856788 hasPrimaryLocation W20288567881 @default.
- W2028856788 hasRelatedWork W2009650958 @default.
- W2028856788 hasRelatedWork W2014538672 @default.
- W2028856788 hasRelatedWork W2047600461 @default.
- W2028856788 hasRelatedWork W2053474327 @default.
- W2028856788 hasRelatedWork W2080268478 @default.
- W2028856788 hasRelatedWork W2103405455 @default.
- W2028856788 hasRelatedWork W2354062721 @default.
- W2028856788 hasRelatedWork W2889728348 @default.
- W2028856788 hasRelatedWork W3029612563 @default.
- W2028856788 hasRelatedWork W81024070 @default.
- W2028856788 hasVolume "9" @default.
- W2028856788 isParatext "false" @default.
- W2028856788 isRetracted "false" @default.
- W2028856788 magId "2028856788" @default.
- W2028856788 workType "article" @default.