Matches in SemOpenAlex for { <https://semopenalex.org/work/W2746113145> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2746113145 abstract "Mathematics was developed as a strong research instrument with fully verifiable argumentations. We call any consistent and sufficiently powerful formal theory that enables to algorithmically verify for any given text whether it is a proof or not algorithmically verifiable mathematics (AV-mathematics for short). We say that a decision problem (L subseteq varSigma ^*) is almost everywhere solvable if for all but finitely many inputs (x in varSigma ^*) one can prove either “(x in L)” or “(x not in L)” in AV-mathematics." @default.
- W2746113145 created "2017-08-31" @default.
- W2746113145 creator A5062653045 @default.
- W2746113145 creator A5088678782 @default.
- W2746113145 date "2017-01-01" @default.
- W2746113145 modified "2023-09-30" @default.
- W2746113145 title "What One Has to Know When Attacking $$textsf {P}$$ vs. $$textsf {NP}$$ (Extended Abstract)" @default.
- W2746113145 cites W1590283810 @default.
- W2746113145 cites W1978909760 @default.
- W2746113145 cites W1986970855 @default.
- W2746113145 cites W1993138363 @default.
- W2746113145 cites W2043360684 @default.
- W2746113145 cites W2086390954 @default.
- W2746113145 cites W2912080987 @default.
- W2746113145 cites W4236235956 @default.
- W2746113145 cites W4256369010 @default.
- W2746113145 doi "https://doi.org/10.1007/978-3-662-55751-8_2" @default.
- W2746113145 hasPublicationYear "2017" @default.
- W2746113145 type Work @default.
- W2746113145 sameAs 2746113145 @default.
- W2746113145 citedByCount "0" @default.
- W2746113145 crossrefType "book-chapter" @default.
- W2746113145 hasAuthorship W2746113145A5062653045 @default.
- W2746113145 hasAuthorship W2746113145A5088678782 @default.
- W2746113145 hasConcept C118615104 @default.
- W2746113145 hasConcept C169654258 @default.
- W2746113145 hasConcept C177264268 @default.
- W2746113145 hasConcept C199360897 @default.
- W2746113145 hasConcept C33923547 @default.
- W2746113145 hasConcept C41008148 @default.
- W2746113145 hasConcept C80444323 @default.
- W2746113145 hasConcept C85847156 @default.
- W2746113145 hasConceptScore W2746113145C118615104 @default.
- W2746113145 hasConceptScore W2746113145C169654258 @default.
- W2746113145 hasConceptScore W2746113145C177264268 @default.
- W2746113145 hasConceptScore W2746113145C199360897 @default.
- W2746113145 hasConceptScore W2746113145C33923547 @default.
- W2746113145 hasConceptScore W2746113145C41008148 @default.
- W2746113145 hasConceptScore W2746113145C80444323 @default.
- W2746113145 hasConceptScore W2746113145C85847156 @default.
- W2746113145 hasLocation W27461131451 @default.
- W2746113145 hasOpenAccess W2746113145 @default.
- W2746113145 hasPrimaryLocation W27461131451 @default.
- W2746113145 hasRelatedWork W1567405928 @default.
- W2746113145 hasRelatedWork W1710481082 @default.
- W2746113145 hasRelatedWork W1964977674 @default.
- W2746113145 hasRelatedWork W1981928362 @default.
- W2746113145 hasRelatedWork W2055068568 @default.
- W2746113145 hasRelatedWork W2063154040 @default.
- W2746113145 hasRelatedWork W2074085132 @default.
- W2746113145 hasRelatedWork W2087237939 @default.
- W2746113145 hasRelatedWork W2094212430 @default.
- W2746113145 hasRelatedWork W2151854364 @default.
- W2746113145 hasRelatedWork W2160241987 @default.
- W2746113145 hasRelatedWork W2324616103 @default.
- W2746113145 hasRelatedWork W2325967599 @default.
- W2746113145 hasRelatedWork W2507144520 @default.
- W2746113145 hasRelatedWork W253191695 @default.
- W2746113145 hasRelatedWork W2894723597 @default.
- W2746113145 hasRelatedWork W2944982397 @default.
- W2746113145 hasRelatedWork W2982466078 @default.
- W2746113145 hasRelatedWork W2990410191 @default.
- W2746113145 hasRelatedWork W1945534885 @default.
- W2746113145 isParatext "false" @default.
- W2746113145 isRetracted "false" @default.
- W2746113145 magId "2746113145" @default.
- W2746113145 workType "book-chapter" @default.