FRINK Linked Data Fragments server

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

• W2413604966 endingPage "291" @default.
• W2413604966 startingPage "253" @default.
• W2413604966 abstract "This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians." @default.
• W2413604966 created "2016-06-24" @default.
• W2413604966 creator A5046740352 @default.
• W2413604966 creator A5069450817 @default.
• W2413604966 date "2016-06-11" @default.
• W2413604966 modified "2023-09-26" @default.
• W2413604966 title "A Fully Automatic Theorem Prover with Human-Style Output" @default.
• W2413604966 cites W1496318535 @default.
• W2413604966 cites W1522489781 @default.
• W2413604966 cites W1768814311 @default.
• W2413604966 cites W1867225156 @default.
• W2413604966 cites W1969211016 @default.
• W2413604966 cites W1979183780 @default.
• W2413604966 cites W1996158986 @default.
• W2413604966 cites W2023139438 @default.
• W2413604966 cites W2025572920 @default.
• W2413604966 cites W2038634728 @default.
• W2413604966 cites W2078700544 @default.
• W2413604966 cites W2080104522 @default.
• W2413604966 cites W2133093325 @default.
• W2413604966 cites W2497998874 @default.
• W2413604966 cites W3124386704 @default.
• W2413604966 cites W4233205495 @default.
• W2413604966 cites W4246059478 @default.
• W2413604966 cites W4251347492 @default.
• W2413604966 doi "https://doi.org/10.1007/s10817-016-9377-1" @default.
• W2413604966 hasPubMedCentralId "https://www.ncbi.nlm.nih.gov/pmc/articles/6109770" @default.
• W2413604966 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/30174363" @default.
• W2413604966 hasPublicationYear "2016" @default.
• W2413604966 type Work @default.
• W2413604966 sameAs 2413604966 @default.
• W2413604966 citedByCount "34" @default.
• W2413604966 countsByYear W24136049662017 @default.
• W2413604966 countsByYear W24136049662018 @default.
• W2413604966 countsByYear W24136049662019 @default.
• W2413604966 countsByYear W24136049662020 @default.
• W2413604966 countsByYear W24136049662021 @default.
• W2413604966 countsByYear W24136049662022 @default.
• W2413604966 countsByYear W24136049662023 @default.
• W2413604966 crossrefType "journal-article" @default.
• W2413604966 hasAuthorship W2413604966A5046740352 @default.
• W2413604966 hasAuthorship W2413604966A5069450817 @default.
• W2413604966 hasBestOaLocation W24136049661 @default.
• W2413604966 hasConcept C108710211 @default.
• W2413604966 hasConcept C111919701 @default.
• W2413604966 hasConcept C11413529 @default.
• W2413604966 hasConcept C118615104 @default.
• W2413604966 hasConcept C127413603 @default.
• W2413604966 hasConcept C136119220 @default.
• W2413604966 hasConcept C159718280 @default.
• W2413604966 hasConcept C166957645 @default.
• W2413604966 hasConcept C176217482 @default.
• W2413604966 hasConcept C198043062 @default.
• W2413604966 hasConcept C199343813 @default.
• W2413604966 hasConcept C199360897 @default.
• W2413604966 hasConcept C202444582 @default.
• W2413604966 hasConcept C206880738 @default.
• W2413604966 hasConcept C21547014 @default.
• W2413604966 hasConcept C2524010 @default.
• W2413604966 hasConcept C2776445246 @default.
• W2413604966 hasConcept C2777686260 @default.
• W2413604966 hasConcept C2778572836 @default.
• W2413604966 hasConcept C33923547 @default.
• W2413604966 hasConcept C41008148 @default.
• W2413604966 hasConcept C71924100 @default.
• W2413604966 hasConcept C80444323 @default.
• W2413604966 hasConcept C95457728 @default.
• W2413604966 hasConceptScore W2413604966C108710211 @default.
• W2413604966 hasConceptScore W2413604966C111919701 @default.
• W2413604966 hasConceptScore W2413604966C11413529 @default.
• W2413604966 hasConceptScore W2413604966C118615104 @default.
• W2413604966 hasConceptScore W2413604966C127413603 @default.
• W2413604966 hasConceptScore W2413604966C136119220 @default.
• W2413604966 hasConceptScore W2413604966C159718280 @default.
• W2413604966 hasConceptScore W2413604966C166957645 @default.
• W2413604966 hasConceptScore W2413604966C176217482 @default.
• W2413604966 hasConceptScore W2413604966C198043062 @default.
• W2413604966 hasConceptScore W2413604966C199343813 @default.
• W2413604966 hasConceptScore W2413604966C199360897 @default.
• W2413604966 hasConceptScore W2413604966C202444582 @default.
• W2413604966 hasConceptScore W2413604966C206880738 @default.
• W2413604966 hasConceptScore W2413604966C21547014 @default.
• W2413604966 hasConceptScore W2413604966C2524010 @default.
• W2413604966 hasConceptScore W2413604966C2776445246 @default.
• W2413604966 hasConceptScore W2413604966C2777686260 @default.
• W2413604966 hasConceptScore W2413604966C2778572836 @default.
• W2413604966 hasConceptScore W2413604966C33923547 @default.
• W2413604966 hasConceptScore W2413604966C41008148 @default.
• W2413604966 hasConceptScore W2413604966C71924100 @default.
• W2413604966 hasConceptScore W2413604966C80444323 @default.
• W2413604966 hasConceptScore W2413604966C95457728 @default.
• W2413604966 hasFunder F4320320273 @default.
• W2413604966 hasIssue "2" @default.
• W2413604966 hasLocation W24136049661 @default.
• W2413604966 hasLocation W24136049662 @default.
• W2413604966 hasLocation W24136049663 @default.
• W2413604966 hasLocation W24136049664 @default.
• W2413604966 hasLocation W24136049665 @default.

• next