FRINK Linked Data Fragments server

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

• W2099261111 endingPage "146" @default.
• W2099261111 startingPage "139" @default.
• W2099261111 abstract "A refutational system of logic for a language of order w ia presented . This langage is a slight modification of Church's -calculus with types. The system is complete, in the sense that a refutation of a set of sentences exists if and only if this set does not possess a general Henkin model. The main rule of inference is a generalization of Robinson's resolution to type theory, which allows us to get rid of the substitution rule." @default.
• W2099261111 created "2016-06-24" @default.
• W2099261111 creator A5028030463 @default.
• W2099261111 date "1973-08-20" @default.
• W2099261111 modified "2023-09-25" @default.
• W2099261111 title "A mechanization of type theory" @default.
• W2099261111 cites W1546616265 @default.
• W2099261111 cites W1594912681 @default.
• W2099261111 cites W1984201153 @default.
• W2099261111 cites W1996404651 @default.
• W2099261111 cites W2023266231 @default.
• W2099261111 cites W2042035120 @default.
• W2099261111 cites W2100738443 @default.
• W2099261111 cites W2115610240 @default.
• W2099261111 cites W2140669384 @default.
• W2099261111 cites W2160331299 @default.
• W2099261111 cites W2172019237 @default.
• W2099261111 hasPublicationYear "1973" @default.
• W2099261111 type Work @default.
• W2099261111 sameAs 2099261111 @default.
• W2099261111 citedByCount "37" @default.
• W2099261111 countsByYear W20992611112015 @default.
• W2099261111 countsByYear W20992611112018 @default.
• W2099261111 countsByYear W20992611112019 @default.
• W2099261111 countsByYear W20992611112021 @default.
• W2099261111 crossrefType "proceedings-article" @default.
• W2099261111 hasAuthorship W2099261111A5028030463 @default.
• W2099261111 hasConcept C100481476 @default.
• W2099261111 hasConcept C10138342 @default.
• W2099261111 hasConcept C134306372 @default.
• W2099261111 hasConcept C138268822 @default.
• W2099261111 hasConcept C154945302 @default.
• W2099261111 hasConcept C162324750 @default.
• W2099261111 hasConcept C177148314 @default.
• W2099261111 hasConcept C177264268 @default.
• W2099261111 hasConcept C182306322 @default.
• W2099261111 hasConcept C18903297 @default.
• W2099261111 hasConcept C199343813 @default.
• W2099261111 hasConcept C199360897 @default.
• W2099261111 hasConcept C204321447 @default.
• W2099261111 hasConcept C2777299769 @default.
• W2099261111 hasConcept C2777686260 @default.
• W2099261111 hasConcept C2778220771 @default.
• W2099261111 hasConcept C33923547 @default.
• W2099261111 hasConcept C3746660 @default.
• W2099261111 hasConcept C41008148 @default.
• W2099261111 hasConcept C71924100 @default.
• W2099261111 hasConcept C80444323 @default.
• W2099261111 hasConcept C86803240 @default.
• W2099261111 hasConcept C93682546 @default.
• W2099261111 hasConceptScore W2099261111C100481476 @default.
• W2099261111 hasConceptScore W2099261111C10138342 @default.
• W2099261111 hasConceptScore W2099261111C134306372 @default.
• W2099261111 hasConceptScore W2099261111C138268822 @default.
• W2099261111 hasConceptScore W2099261111C154945302 @default.
• W2099261111 hasConceptScore W2099261111C162324750 @default.
• W2099261111 hasConceptScore W2099261111C177148314 @default.
• W2099261111 hasConceptScore W2099261111C177264268 @default.
• W2099261111 hasConceptScore W2099261111C182306322 @default.
• W2099261111 hasConceptScore W2099261111C18903297 @default.
• W2099261111 hasConceptScore W2099261111C199343813 @default.
• W2099261111 hasConceptScore W2099261111C199360897 @default.
• W2099261111 hasConceptScore W2099261111C204321447 @default.
• W2099261111 hasConceptScore W2099261111C2777299769 @default.
• W2099261111 hasConceptScore W2099261111C2777686260 @default.
• W2099261111 hasConceptScore W2099261111C2778220771 @default.
• W2099261111 hasConceptScore W2099261111C33923547 @default.
• W2099261111 hasConceptScore W2099261111C3746660 @default.
• W2099261111 hasConceptScore W2099261111C41008148 @default.
• W2099261111 hasConceptScore W2099261111C71924100 @default.
• W2099261111 hasConceptScore W2099261111C80444323 @default.
• W2099261111 hasConceptScore W2099261111C86803240 @default.
• W2099261111 hasConceptScore W2099261111C93682546 @default.
• W2099261111 hasLocation W20992611111 @default.
• W2099261111 hasOpenAccess W2099261111 @default.
• W2099261111 hasPrimaryLocation W20992611111 @default.
• W2099261111 hasRelatedWork W1546616265 @default.
• W2099261111 hasRelatedWork W1570712623 @default.
• W2099261111 hasRelatedWork W1769049439 @default.
• W2099261111 hasRelatedWork W1984201153 @default.
• W2099261111 hasRelatedWork W1990121424 @default.
• W2099261111 hasRelatedWork W1996404651 @default.
• W2099261111 hasRelatedWork W2018221833 @default.
• W2099261111 hasRelatedWork W2023266231 @default.
• W2099261111 hasRelatedWork W2034155940 @default.
• W2099261111 hasRelatedWork W2034676877 @default.
• W2099261111 hasRelatedWork W2040723389 @default.
• W2099261111 hasRelatedWork W2059054133 @default.
• W2099261111 hasRelatedWork W2084443499 @default.
• W2099261111 hasRelatedWork W2084797476 @default.
• W2099261111 hasRelatedWork W2100738443 @default.
• W2099261111 hasRelatedWork W2115610240 @default.
• W2099261111 hasRelatedWork W2137033866 @default.
• W2099261111 hasRelatedWork W2140669384 @default.
• W2099261111 hasRelatedWork W2160331299 @default.
• W2099261111 hasRelatedWork W2172019237 @default.
• W2099261111 isParatext "false" @default.
• W2099261111 isRetracted "false" @default.

• next