FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1536078516> ?p ?o ?g. }

• W1536078516 abstract "A computational problem π is said to have the Ptime self-witnessing property [5] if we can design a Turing machine code M such that if π is computable in polynomial time, then M is a polynomial-time Turing machine (recognizer or transducer depending on when π is a decision problem or function) that computes π. This notion captures constructivizing proofs of membership in P. For example, if we can show that some NP-complete problem is Ptime self-witnessing then any proof that P = NP implies that P is constructively equal to NP. This is still an open question." @default.
• W1536078516 created "2016-06-24" @default.
• W1536078516 creator A5003212467 @default.
• W1536078516 date "1996-01-01" @default.
• W1536078516 modified "2023-09-25" @default.
• W1536078516 title "A note on the self-witnessing property of computational problems" @default.
• W1536078516 cites W1596412683 @default.
• W1536078516 cites W1987092466 @default.
• W1536078516 cites W1988529552 @default.
• W1536078516 cites W1996839061 @default.
• W1536078516 cites W2043344835 @default.
• W1536078516 cites W4229738979 @default.
• W1536078516 cites W4236676762 @default.
• W1536078516 cites W4243643814 @default.
• W1536078516 cites W70814323 @default.
• W1536078516 doi "https://doi.org/10.1007/3-540-61332-3_157" @default.
• W1536078516 hasPublicationYear "1996" @default.
• W1536078516 type Work @default.
• W1536078516 sameAs 1536078516 @default.
• W1536078516 citedByCount "1" @default.
• W1536078516 crossrefType "book-chapter" @default.
• W1536078516 hasAuthorship W1536078516A5003212467 @default.
• W1536078516 hasConcept C108710211 @default.
• W1536078516 hasConcept C111472728 @default.
• W1536078516 hasConcept C11413529 @default.
• W1536078516 hasConcept C115988155 @default.
• W1536078516 hasConcept C118615104 @default.
• W1536078516 hasConcept C131671149 @default.
• W1536078516 hasConcept C134026603 @default.
• W1536078516 hasConcept C134306372 @default.
• W1536078516 hasConcept C138885662 @default.
• W1536078516 hasConcept C14036430 @default.
• W1536078516 hasConcept C179799912 @default.
• W1536078516 hasConcept C186861659 @default.
• W1536078516 hasConcept C189950617 @default.
• W1536078516 hasConcept C197685441 @default.
• W1536078516 hasConcept C199360897 @default.
• W1536078516 hasConcept C2524010 @default.
• W1536078516 hasConcept C29248071 @default.
• W1536078516 hasConcept C311688 @default.
• W1536078516 hasConcept C33923547 @default.
• W1536078516 hasConcept C39637292 @default.
• W1536078516 hasConcept C41008148 @default.
• W1536078516 hasConcept C45374587 @default.
• W1536078516 hasConcept C48415503 @default.
• W1536078516 hasConcept C54271186 @default.
• W1536078516 hasConcept C78458016 @default.
• W1536078516 hasConcept C80444323 @default.
• W1536078516 hasConcept C86803240 @default.
• W1536078516 hasConcept C90119067 @default.
• W1536078516 hasConcept C91331118 @default.
• W1536078516 hasConcept C9870796 @default.
• W1536078516 hasConceptScore W1536078516C108710211 @default.
• W1536078516 hasConceptScore W1536078516C111472728 @default.
• W1536078516 hasConceptScore W1536078516C11413529 @default.
• W1536078516 hasConceptScore W1536078516C115988155 @default.
• W1536078516 hasConceptScore W1536078516C118615104 @default.
• W1536078516 hasConceptScore W1536078516C131671149 @default.
• W1536078516 hasConceptScore W1536078516C134026603 @default.
• W1536078516 hasConceptScore W1536078516C134306372 @default.
• W1536078516 hasConceptScore W1536078516C138885662 @default.
• W1536078516 hasConceptScore W1536078516C14036430 @default.
• W1536078516 hasConceptScore W1536078516C179799912 @default.
• W1536078516 hasConceptScore W1536078516C186861659 @default.
• W1536078516 hasConceptScore W1536078516C189950617 @default.
• W1536078516 hasConceptScore W1536078516C197685441 @default.
• W1536078516 hasConceptScore W1536078516C199360897 @default.
• W1536078516 hasConceptScore W1536078516C2524010 @default.
• W1536078516 hasConceptScore W1536078516C29248071 @default.
• W1536078516 hasConceptScore W1536078516C311688 @default.
• W1536078516 hasConceptScore W1536078516C33923547 @default.
• W1536078516 hasConceptScore W1536078516C39637292 @default.
• W1536078516 hasConceptScore W1536078516C41008148 @default.
• W1536078516 hasConceptScore W1536078516C45374587 @default.
• W1536078516 hasConceptScore W1536078516C48415503 @default.
• W1536078516 hasConceptScore W1536078516C54271186 @default.
• W1536078516 hasConceptScore W1536078516C78458016 @default.
• W1536078516 hasConceptScore W1536078516C80444323 @default.
• W1536078516 hasConceptScore W1536078516C86803240 @default.
• W1536078516 hasConceptScore W1536078516C90119067 @default.
• W1536078516 hasConceptScore W1536078516C91331118 @default.
• W1536078516 hasConceptScore W1536078516C9870796 @default.
• W1536078516 hasLocation W15360785161 @default.
• W1536078516 hasOpenAccess W1536078516 @default.
• W1536078516 hasPrimaryLocation W15360785161 @default.
• W1536078516 hasRelatedWork W120144879 @default.
• W1536078516 hasRelatedWork W1480207850 @default.
• W1536078516 hasRelatedWork W1485836178 @default.
• W1536078516 hasRelatedWork W1494177512 @default.
• W1536078516 hasRelatedWork W1505336795 @default.
• W1536078516 hasRelatedWork W1520700928 @default.
• W1536078516 hasRelatedWork W155900513 @default.
• W1536078516 hasRelatedWork W1603231473 @default.
• W1536078516 hasRelatedWork W1723126856 @default.
• W1536078516 hasRelatedWork W1995246641 @default.
• W1536078516 hasRelatedWork W2094321606 @default.
• W1536078516 hasRelatedWork W2116395240 @default.
• W1536078516 hasRelatedWork W2125536734 @default.
• W1536078516 hasRelatedWork W2129079291 @default.
• W1536078516 hasRelatedWork W2147305777 @default.

• next