Matches in SemOpenAlex for { <https://semopenalex.org/work/W98409813> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W98409813 endingPage "211" @default.
- W98409813 startingPage "205" @default.
- W98409813 abstract "This paper presents the evidential paradigm of computer-supported mathematical assistance in “doing” mathematics and in reasoning activity. At present, the evidential paradigm is implemented in the form of System for Automated Deduction (SAD). The system is based on the methods of automated theorem proving and is intended for intelligent mathematical text processing. It proves mathematical theorems, verifies validity of self-contained mathematical texts and can be used for inference search in first-order sequent-based logic as well. For human-like representation of mathematical knowledge, SAD exploits an original formal language close to natural languages of scientific publications. Since the problem of automated text verification is of great importance for industrial applications (checking specifications, proving safety properties of network protocols, etc), the paper illustrates some principles and peculiarities of the evidential paradigm by means of exemplifying the verification of a part of a non-trivial mathematical text." @default.
- W98409813 created "2016-06-24" @default.
- W98409813 creator A5027731398 @default.
- W98409813 creator A5032059300 @default.
- W98409813 creator A5042030897 @default.
- W98409813 creator A5065888589 @default.
- W98409813 date "2004-01-01" @default.
- W98409813 modified "2023-09-23" @default.
- W98409813 title "Evidential Paradigm and Intelligent Mathematical Text Processing." @default.
- W98409813 cites W1502585746 @default.
- W98409813 cites W1723979372 @default.
- W98409813 cites W1966048066 @default.
- W98409813 cites W1969227311 @default.
- W98409813 cites W2420051363 @default.
- W98409813 cites W44791335 @default.
- W98409813 cites W615557786 @default.
- W98409813 hasPublicationYear "2004" @default.
- W98409813 type Work @default.
- W98409813 sameAs 98409813 @default.
- W98409813 citedByCount "1" @default.
- W98409813 crossrefType "journal-article" @default.
- W98409813 hasAuthorship W98409813A5027731398 @default.
- W98409813 hasAuthorship W98409813A5032059300 @default.
- W98409813 hasAuthorship W98409813A5042030897 @default.
- W98409813 hasAuthorship W98409813A5065888589 @default.
- W98409813 hasConcept C154945302 @default.
- W98409813 hasConcept C161301231 @default.
- W98409813 hasConcept C165696696 @default.
- W98409813 hasConcept C17744445 @default.
- W98409813 hasConcept C195344581 @default.
- W98409813 hasConcept C199360897 @default.
- W98409813 hasConcept C199539241 @default.
- W98409813 hasConcept C206880738 @default.
- W98409813 hasConcept C2776214188 @default.
- W98409813 hasConcept C2776359362 @default.
- W98409813 hasConcept C38652104 @default.
- W98409813 hasConcept C41008148 @default.
- W98409813 hasConcept C62073222 @default.
- W98409813 hasConcept C80444323 @default.
- W98409813 hasConcept C89421646 @default.
- W98409813 hasConcept C94625758 @default.
- W98409813 hasConceptScore W98409813C154945302 @default.
- W98409813 hasConceptScore W98409813C161301231 @default.
- W98409813 hasConceptScore W98409813C165696696 @default.
- W98409813 hasConceptScore W98409813C17744445 @default.
- W98409813 hasConceptScore W98409813C195344581 @default.
- W98409813 hasConceptScore W98409813C199360897 @default.
- W98409813 hasConceptScore W98409813C199539241 @default.
- W98409813 hasConceptScore W98409813C206880738 @default.
- W98409813 hasConceptScore W98409813C2776214188 @default.
- W98409813 hasConceptScore W98409813C2776359362 @default.
- W98409813 hasConceptScore W98409813C38652104 @default.
- W98409813 hasConceptScore W98409813C41008148 @default.
- W98409813 hasConceptScore W98409813C62073222 @default.
- W98409813 hasConceptScore W98409813C80444323 @default.
- W98409813 hasConceptScore W98409813C89421646 @default.
- W98409813 hasConceptScore W98409813C94625758 @default.
- W98409813 hasLocation W984098131 @default.
- W98409813 hasOpenAccess W98409813 @default.
- W98409813 hasPrimaryLocation W984098131 @default.
- W98409813 hasRelatedWork W1479916186 @default.
- W98409813 hasRelatedWork W1488370337 @default.
- W98409813 hasRelatedWork W1563883583 @default.
- W98409813 hasRelatedWork W1611270087 @default.
- W98409813 hasRelatedWork W1623345509 @default.
- W98409813 hasRelatedWork W1767750697 @default.
- W98409813 hasRelatedWork W1968972313 @default.
- W98409813 hasRelatedWork W2023151952 @default.
- W98409813 hasRelatedWork W2030394430 @default.
- W98409813 hasRelatedWork W2093170717 @default.
- W98409813 hasRelatedWork W2134163600 @default.
- W98409813 hasRelatedWork W2514923800 @default.
- W98409813 hasRelatedWork W2751258242 @default.
- W98409813 hasRelatedWork W2915313921 @default.
- W98409813 hasRelatedWork W2949483594 @default.
- W98409813 hasRelatedWork W3128668711 @default.
- W98409813 hasRelatedWork W3147294411 @default.
- W98409813 hasRelatedWork W3178940883 @default.
- W98409813 hasRelatedWork W1544328856 @default.
- W98409813 hasRelatedWork W2098382772 @default.
- W98409813 isParatext "false" @default.
- W98409813 isRetracted "false" @default.
- W98409813 magId "98409813" @default.
- W98409813 workType "article" @default.