Matches in SemOpenAlex for { <https://semopenalex.org/work/W1524884472> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1524884472 abstract "The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system.We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula in the considered model." @default.
- W1524884472 created "2016-06-24" @default.
- W1524884472 creator A5017606989 @default.
- W1524884472 creator A5017766068 @default.
- W1524884472 creator A5043135669 @default.
- W1524884472 date "2001-01-01" @default.
- W1524884472 modified "2023-09-23" @default.
- W1524884472 title "Towards Axiomatic Basis of Inductive Inference" @default.
- W1524884472 cites W1599788899 @default.
- W1524884472 cites W1694825699 @default.
- W1524884472 cites W1969005071 @default.
- W1524884472 cites W2090580120 @default.
- W1524884472 cites W2136886825 @default.
- W1524884472 cites W943508897 @default.
- W1524884472 doi "https://doi.org/10.1007/3-540-44669-9_1" @default.
- W1524884472 hasPublicationYear "2001" @default.
- W1524884472 type Work @default.
- W1524884472 sameAs 1524884472 @default.
- W1524884472 citedByCount "0" @default.
- W1524884472 crossrefType "book-chapter" @default.
- W1524884472 hasAuthorship W1524884472A5017606989 @default.
- W1524884472 hasAuthorship W1524884472A5017766068 @default.
- W1524884472 hasAuthorship W1524884472A5043135669 @default.
- W1524884472 hasConcept C100481476 @default.
- W1524884472 hasConcept C102993220 @default.
- W1524884472 hasConcept C11413529 @default.
- W1524884472 hasConcept C118615104 @default.
- W1524884472 hasConcept C138885662 @default.
- W1524884472 hasConcept C140146324 @default.
- W1524884472 hasConcept C141603448 @default.
- W1524884472 hasConcept C151797676 @default.
- W1524884472 hasConcept C153046414 @default.
- W1524884472 hasConcept C154945302 @default.
- W1524884472 hasConcept C167729594 @default.
- W1524884472 hasConcept C173856430 @default.
- W1524884472 hasConcept C177264268 @default.
- W1524884472 hasConcept C19689857 @default.
- W1524884472 hasConcept C199360897 @default.
- W1524884472 hasConcept C206880738 @default.
- W1524884472 hasConcept C2524010 @default.
- W1524884472 hasConcept C2778523021 @default.
- W1524884472 hasConcept C32278780 @default.
- W1524884472 hasConcept C33923547 @default.
- W1524884472 hasConcept C3746660 @default.
- W1524884472 hasConcept C39920170 @default.
- W1524884472 hasConcept C41008148 @default.
- W1524884472 hasConcept C41895202 @default.
- W1524884472 hasConcept C80444323 @default.
- W1524884472 hasConceptScore W1524884472C100481476 @default.
- W1524884472 hasConceptScore W1524884472C102993220 @default.
- W1524884472 hasConceptScore W1524884472C11413529 @default.
- W1524884472 hasConceptScore W1524884472C118615104 @default.
- W1524884472 hasConceptScore W1524884472C138885662 @default.
- W1524884472 hasConceptScore W1524884472C140146324 @default.
- W1524884472 hasConceptScore W1524884472C141603448 @default.
- W1524884472 hasConceptScore W1524884472C151797676 @default.
- W1524884472 hasConceptScore W1524884472C153046414 @default.
- W1524884472 hasConceptScore W1524884472C154945302 @default.
- W1524884472 hasConceptScore W1524884472C167729594 @default.
- W1524884472 hasConceptScore W1524884472C173856430 @default.
- W1524884472 hasConceptScore W1524884472C177264268 @default.
- W1524884472 hasConceptScore W1524884472C19689857 @default.
- W1524884472 hasConceptScore W1524884472C199360897 @default.
- W1524884472 hasConceptScore W1524884472C206880738 @default.
- W1524884472 hasConceptScore W1524884472C2524010 @default.
- W1524884472 hasConceptScore W1524884472C2778523021 @default.
- W1524884472 hasConceptScore W1524884472C32278780 @default.
- W1524884472 hasConceptScore W1524884472C33923547 @default.
- W1524884472 hasConceptScore W1524884472C3746660 @default.
- W1524884472 hasConceptScore W1524884472C39920170 @default.
- W1524884472 hasConceptScore W1524884472C41008148 @default.
- W1524884472 hasConceptScore W1524884472C41895202 @default.
- W1524884472 hasConceptScore W1524884472C80444323 @default.
- W1524884472 hasLocation W15248844721 @default.
- W1524884472 hasOpenAccess W1524884472 @default.
- W1524884472 hasPrimaryLocation W15248844721 @default.
- W1524884472 hasRelatedWork W100267613 @default.
- W1524884472 hasRelatedWork W1511258729 @default.
- W1524884472 hasRelatedWork W1518744800 @default.
- W1524884472 hasRelatedWork W1546767004 @default.
- W1524884472 hasRelatedWork W1548268448 @default.
- W1524884472 hasRelatedWork W1587852012 @default.
- W1524884472 hasRelatedWork W192226592 @default.
- W1524884472 hasRelatedWork W1966944960 @default.
- W1524884472 hasRelatedWork W1982340990 @default.
- W1524884472 hasRelatedWork W1988222104 @default.
- W1524884472 hasRelatedWork W203833057 @default.
- W1524884472 hasRelatedWork W2059555651 @default.
- W1524884472 hasRelatedWork W2077962407 @default.
- W1524884472 hasRelatedWork W2155410891 @default.
- W1524884472 hasRelatedWork W2168555998 @default.
- W1524884472 hasRelatedWork W2293094391 @default.
- W1524884472 hasRelatedWork W2531070608 @default.
- W1524884472 hasRelatedWork W2889088234 @default.
- W1524884472 hasRelatedWork W3130894656 @default.
- W1524884472 hasRelatedWork W32330612 @default.
- W1524884472 isParatext "false" @default.
- W1524884472 isRetracted "false" @default.
- W1524884472 magId "1524884472" @default.
- W1524884472 workType "book-chapter" @default.