FRINK Linked Data Fragments server

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

• W2483555900 endingPage "468" @default.
• W2483555900 startingPage "441" @default.
• W2483555900 abstract "This is a survey paper on various weak systems of Feferman’s explicit mathematics and their proof theory. The strength of the systems considered in measured in terms of their provably terminating operations typically belonging to some natural classes of computational time or space complexity." @default.
• W2483555900 created "2016-08-23" @default.
• W2483555900 creator A5010107932 @default.
• W2483555900 date "2010-01-01" @default.
• W2483555900 modified "2023-09-28" @default.
• W2483555900 title "Weak theories of operations and types" @default.
• W2483555900 cites W1491710345 @default.
• W2483555900 cites W1492008767 @default.
• W2483555900 cites W1498926208 @default.
• W2483555900 cites W1518280455 @default.
• W2483555900 cites W1518290936 @default.
• W2483555900 cites W1533996603 @default.
• W2483555900 cites W1596708455 @default.
• W2483555900 cites W1763978647 @default.
• W2483555900 cites W191705811 @default.
• W2483555900 cites W1965442792 @default.
• W2483555900 cites W1966026587 @default.
• W2483555900 cites W1970954854 @default.
• W2483555900 cites W1973440844 @default.
• W2483555900 cites W1974374936 @default.
• W2483555900 cites W1980256844 @default.
• W2483555900 cites W1981324778 @default.
• W2483555900 cites W1999590237 @default.
• W2483555900 cites W2004826968 @default.
• W2483555900 cites W2009311883 @default.
• W2483555900 cites W2032152194 @default.
• W2483555900 cites W2041616904 @default.
• W2483555900 cites W2057094492 @default.
• W2483555900 cites W2057260190 @default.
• W2483555900 cites W2069549740 @default.
• W2483555900 cites W2075380453 @default.
• W2483555900 cites W2113484588 @default.
• W2483555900 cites W2114124105 @default.
• W2483555900 cites W2119127687 @default.
• W2483555900 cites W2137355506 @default.
• W2483555900 cites W2166160002 @default.
• W2483555900 cites W2600221731 @default.
• W2483555900 cites W2602240559 @default.
• W2483555900 cites W3029117793 @default.
• W2483555900 cites W77620528 @default.
• W2483555900 cites W9698083 @default.
• W2483555900 cites W981129589 @default.
• W2483555900 hasPublicationYear "2010" @default.
• W2483555900 type Work @default.
• W2483555900 sameAs 2483555900 @default.
• W2483555900 citedByCount "1" @default.
• W2483555900 countsByYear W24835559002015 @default.
• W2483555900 crossrefType "book-chapter" @default.
• W2483555900 hasAuthorship W2483555900A5010107932 @default.
• W2483555900 hasConcept C111919701 @default.
• W2483555900 hasConcept C118615104 @default.
• W2483555900 hasConcept C136119220 @default.
• W2483555900 hasConcept C166957645 @default.
• W2483555900 hasConcept C199343813 @default.
• W2483555900 hasConcept C202444582 @default.
• W2483555900 hasConcept C205649164 @default.
• W2483555900 hasConcept C2776608160 @default.
• W2483555900 hasConcept C2777686260 @default.
• W2483555900 hasConcept C2778572836 @default.
• W2483555900 hasConcept C33923547 @default.
• W2483555900 hasConcept C41008148 @default.
• W2483555900 hasConcept C71924100 @default.
• W2483555900 hasConceptScore W2483555900C111919701 @default.
• W2483555900 hasConceptScore W2483555900C118615104 @default.
• W2483555900 hasConceptScore W2483555900C136119220 @default.
• W2483555900 hasConceptScore W2483555900C166957645 @default.
• W2483555900 hasConceptScore W2483555900C199343813 @default.
• W2483555900 hasConceptScore W2483555900C202444582 @default.
• W2483555900 hasConceptScore W2483555900C205649164 @default.
• W2483555900 hasConceptScore W2483555900C2776608160 @default.
• W2483555900 hasConceptScore W2483555900C2777686260 @default.
• W2483555900 hasConceptScore W2483555900C2778572836 @default.
• W2483555900 hasConceptScore W2483555900C33923547 @default.
• W2483555900 hasConceptScore W2483555900C41008148 @default.
• W2483555900 hasConceptScore W2483555900C71924100 @default.
• W2483555900 hasLocation W24835559001 @default.
• W2483555900 hasOpenAccess W2483555900 @default.
• W2483555900 hasPrimaryLocation W24835559001 @default.
• W2483555900 hasRelatedWork W1416320646 @default.
• W2483555900 hasRelatedWork W1538684076 @default.
• W2483555900 hasRelatedWork W1838030851 @default.
• W2483555900 hasRelatedWork W1841737296 @default.
• W2483555900 hasRelatedWork W1972235384 @default.
• W2483555900 hasRelatedWork W2013515969 @default.
• W2483555900 hasRelatedWork W2035122794 @default.
• W2483555900 hasRelatedWork W2047577730 @default.
• W2483555900 hasRelatedWork W2097924536 @default.
• W2483555900 hasRelatedWork W2124573906 @default.
• W2483555900 hasRelatedWork W2299488973 @default.
• W2483555900 hasRelatedWork W2401532419 @default.
• W2483555900 hasRelatedWork W2403714184 @default.
• W2483555900 hasRelatedWork W2615385066 @default.
• W2483555900 hasRelatedWork W2900346622 @default.
• W2483555900 hasRelatedWork W3102528294 @default.
• W2483555900 hasRelatedWork W3177159830 @default.
• W2483555900 hasRelatedWork W36170559 @default.
• W2483555900 hasRelatedWork W46551043 @default.
• W2483555900 hasRelatedWork W56322521 @default.

• next