Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204764457> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3204764457 abstract "In logical inference, two main tasks are relevant: verifying the correctness of an alleged consequence and inferring a consequence with predetermined properties. The entire theoretical potential of mathematical logic is mainly aimed at solving the former problem. As for the task of finding some desired consequences, it has obtained practically no useful developments. In this paper, we propose methods for solving the problem of finding consequences with certain properties on the basis on n-tuple algebra. These methods are shown to be applicable for solving constraint satisfaction problems as well." @default.
- W3204764457 created "2021-10-11" @default.
- W3204764457 creator A5042211892 @default.
- W3204764457 creator A5069758792 @default.
- W3204764457 date "2021-01-01" @default.
- W3204764457 modified "2023-10-16" @default.
- W3204764457 title "Methods for Finding Consequences with Specified Properties" @default.
- W3204764457 cites W1964636930 @default.
- W3204764457 cites W2126583599 @default.
- W3204764457 cites W2763931077 @default.
- W3204764457 cites W2883063913 @default.
- W3204764457 cites W3201346583 @default.
- W3204764457 doi "https://doi.org/10.1007/978-3-030-86855-0_6" @default.
- W3204764457 hasPublicationYear "2021" @default.
- W3204764457 type Work @default.
- W3204764457 sameAs 3204764457 @default.
- W3204764457 citedByCount "1" @default.
- W3204764457 countsByYear W32047644572022 @default.
- W3204764457 crossrefType "book-chapter" @default.
- W3204764457 hasAuthorship W3204764457A5042211892 @default.
- W3204764457 hasAuthorship W3204764457A5069758792 @default.
- W3204764457 hasConcept C11413529 @default.
- W3204764457 hasConcept C118615104 @default.
- W3204764457 hasConcept C118930307 @default.
- W3204764457 hasConcept C12426560 @default.
- W3204764457 hasConcept C136119220 @default.
- W3204764457 hasConcept C154945302 @default.
- W3204764457 hasConcept C162324750 @default.
- W3204764457 hasConcept C187736073 @default.
- W3204764457 hasConcept C199622910 @default.
- W3204764457 hasConcept C202444582 @default.
- W3204764457 hasConcept C2524010 @default.
- W3204764457 hasConcept C2776036281 @default.
- W3204764457 hasConcept C2776214188 @default.
- W3204764457 hasConcept C2780451532 @default.
- W3204764457 hasConcept C33923547 @default.
- W3204764457 hasConcept C41008148 @default.
- W3204764457 hasConcept C44616089 @default.
- W3204764457 hasConcept C49937458 @default.
- W3204764457 hasConcept C55439883 @default.
- W3204764457 hasConcept C80444323 @default.
- W3204764457 hasConceptScore W3204764457C11413529 @default.
- W3204764457 hasConceptScore W3204764457C118615104 @default.
- W3204764457 hasConceptScore W3204764457C118930307 @default.
- W3204764457 hasConceptScore W3204764457C12426560 @default.
- W3204764457 hasConceptScore W3204764457C136119220 @default.
- W3204764457 hasConceptScore W3204764457C154945302 @default.
- W3204764457 hasConceptScore W3204764457C162324750 @default.
- W3204764457 hasConceptScore W3204764457C187736073 @default.
- W3204764457 hasConceptScore W3204764457C199622910 @default.
- W3204764457 hasConceptScore W3204764457C202444582 @default.
- W3204764457 hasConceptScore W3204764457C2524010 @default.
- W3204764457 hasConceptScore W3204764457C2776036281 @default.
- W3204764457 hasConceptScore W3204764457C2776214188 @default.
- W3204764457 hasConceptScore W3204764457C2780451532 @default.
- W3204764457 hasConceptScore W3204764457C33923547 @default.
- W3204764457 hasConceptScore W3204764457C41008148 @default.
- W3204764457 hasConceptScore W3204764457C44616089 @default.
- W3204764457 hasConceptScore W3204764457C49937458 @default.
- W3204764457 hasConceptScore W3204764457C55439883 @default.
- W3204764457 hasConceptScore W3204764457C80444323 @default.
- W3204764457 hasLocation W32047644571 @default.
- W3204764457 hasOpenAccess W3204764457 @default.
- W3204764457 hasPrimaryLocation W32047644571 @default.
- W3204764457 hasRelatedWork W11980700 @default.
- W3204764457 hasRelatedWork W12125146 @default.
- W3204764457 hasRelatedWork W12833454 @default.
- W3204764457 hasRelatedWork W13455872 @default.
- W3204764457 hasRelatedWork W13654271 @default.
- W3204764457 hasRelatedWork W3429031 @default.
- W3204764457 hasRelatedWork W6366331 @default.
- W3204764457 hasRelatedWork W637774 @default.
- W3204764457 hasRelatedWork W7142056 @default.
- W3204764457 hasRelatedWork W9885600 @default.
- W3204764457 isParatext "false" @default.
- W3204764457 isRetracted "false" @default.
- W3204764457 magId "3204764457" @default.
- W3204764457 workType "book-chapter" @default.