Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312893942> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4312893942 endingPage "202" @default.
- W4312893942 startingPage "161" @default.
- W4312893942 abstract "Given a theory $${textbf{X}}$$ and a statement $$Xin {textbf{X}},$$ a reduction $${textbf{X}}|XRightarrow {textbf{X}}-{X'}$$ is $${textbf{Q}}^*$$ -valid, denoted by $$models ^*{textbf{X}}|XRightarrow {textbf{X}}-{X'},$$ if $$X'=left{ begin{array}{ll} X&{}text{ if } {textbf{X}}-{X} text { is } {textbf{S}}^*text {-valid} lambda &{}text{ otherwise. } end{array}right. $$" @default.
- W4312893942 created "2023-01-05" @default.
- W4312893942 creator A5000432967 @default.
- W4312893942 creator A5025741195 @default.
- W4312893942 date "2022-01-01" @default.
- W4312893942 modified "2023-10-16" @default.
- W4312893942 title "R-Calculi for Post Three-Valued Description Logic" @default.
- W4312893942 cites W1526316384 @default.
- W4312893942 cites W2007013614 @default.
- W4312893942 cites W2051387156 @default.
- W4312893942 cites W2061019227 @default.
- W4312893942 cites W2085956853 @default.
- W4312893942 cites W2319549361 @default.
- W4312893942 cites W2611614840 @default.
- W4312893942 doi "https://doi.org/10.1007/978-981-19-4270-9_7" @default.
- W4312893942 hasPublicationYear "2022" @default.
- W4312893942 type Work @default.
- W4312893942 citedByCount "0" @default.
- W4312893942 crossrefType "book-chapter" @default.
- W4312893942 hasAuthorship W4312893942A5000432967 @default.
- W4312893942 hasAuthorship W4312893942A5025741195 @default.
- W4312893942 hasConcept C114614502 @default.
- W4312893942 hasConcept C118615104 @default.
- W4312893942 hasConcept C121332964 @default.
- W4312893942 hasConcept C17744445 @default.
- W4312893942 hasConcept C199539241 @default.
- W4312893942 hasConcept C2777026412 @default.
- W4312893942 hasConcept C2778113609 @default.
- W4312893942 hasConcept C33923547 @default.
- W4312893942 hasConcept C62520636 @default.
- W4312893942 hasConceptScore W4312893942C114614502 @default.
- W4312893942 hasConceptScore W4312893942C118615104 @default.
- W4312893942 hasConceptScore W4312893942C121332964 @default.
- W4312893942 hasConceptScore W4312893942C17744445 @default.
- W4312893942 hasConceptScore W4312893942C199539241 @default.
- W4312893942 hasConceptScore W4312893942C2777026412 @default.
- W4312893942 hasConceptScore W4312893942C2778113609 @default.
- W4312893942 hasConceptScore W4312893942C33923547 @default.
- W4312893942 hasConceptScore W4312893942C62520636 @default.
- W4312893942 hasLocation W43128939421 @default.
- W4312893942 hasOpenAccess W4312893942 @default.
- W4312893942 hasPrimaryLocation W43128939421 @default.
- W4312893942 hasRelatedWork W1592017605 @default.
- W4312893942 hasRelatedWork W1972372348 @default.
- W4312893942 hasRelatedWork W2058591591 @default.
- W4312893942 hasRelatedWork W2149071482 @default.
- W4312893942 hasRelatedWork W2597526809 @default.
- W4312893942 hasRelatedWork W2952539738 @default.
- W4312893942 hasRelatedWork W4292734940 @default.
- W4312893942 hasRelatedWork W107107499 @default.
- W4312893942 hasRelatedWork W121402011 @default.
- W4312893942 hasRelatedWork W2467037348 @default.
- W4312893942 isParatext "false" @default.
- W4312893942 isRetracted "false" @default.
- W4312893942 workType "book-chapter" @default.