Matches in SemOpenAlex for { <https://semopenalex.org/work/W2274799360> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2274799360 abstract "Proceedings of the 4th international workshop on first-order theorem proving. FTP'2003 is the fourth in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of very recent work and discussion of research in progress" @default.
- W2274799360 created "2016-06-24" @default.
- W2274799360 creator A5026634244 @default.
- W2274799360 creator A5071756692 @default.
- W2274799360 date "2003-01-01" @default.
- W2274799360 modified "2023-09-25" @default.
- W2274799360 title "4th International Workshop on First-Order Theorem Proving- FTP'2003" @default.
- W2274799360 hasPublicationYear "2003" @default.
- W2274799360 type Work @default.
- W2274799360 sameAs 2274799360 @default.
- W2274799360 citedByCount "0" @default.
- W2274799360 crossrefType "book" @default.
- W2274799360 hasAuthorship W2274799360A5026634244 @default.
- W2274799360 hasAuthorship W2274799360A5071756692 @default.
- W2274799360 hasConcept C10138342 @default.
- W2274799360 hasConcept C110875604 @default.
- W2274799360 hasConcept C120665830 @default.
- W2274799360 hasConcept C121332964 @default.
- W2274799360 hasConcept C126838900 @default.
- W2274799360 hasConcept C127413603 @default.
- W2274799360 hasConcept C136764020 @default.
- W2274799360 hasConcept C161191863 @default.
- W2274799360 hasConcept C162324750 @default.
- W2274799360 hasConcept C169485995 @default.
- W2274799360 hasConcept C182306322 @default.
- W2274799360 hasConcept C192209626 @default.
- W2274799360 hasConcept C199343813 @default.
- W2274799360 hasConcept C206880738 @default.
- W2274799360 hasConcept C2777601897 @default.
- W2274799360 hasConcept C2777686260 @default.
- W2274799360 hasConcept C33566652 @default.
- W2274799360 hasConcept C41008148 @default.
- W2274799360 hasConcept C42475967 @default.
- W2274799360 hasConcept C71924100 @default.
- W2274799360 hasConcept C80444323 @default.
- W2274799360 hasConceptScore W2274799360C10138342 @default.
- W2274799360 hasConceptScore W2274799360C110875604 @default.
- W2274799360 hasConceptScore W2274799360C120665830 @default.
- W2274799360 hasConceptScore W2274799360C121332964 @default.
- W2274799360 hasConceptScore W2274799360C126838900 @default.
- W2274799360 hasConceptScore W2274799360C127413603 @default.
- W2274799360 hasConceptScore W2274799360C136764020 @default.
- W2274799360 hasConceptScore W2274799360C161191863 @default.
- W2274799360 hasConceptScore W2274799360C162324750 @default.
- W2274799360 hasConceptScore W2274799360C169485995 @default.
- W2274799360 hasConceptScore W2274799360C182306322 @default.
- W2274799360 hasConceptScore W2274799360C192209626 @default.
- W2274799360 hasConceptScore W2274799360C199343813 @default.
- W2274799360 hasConceptScore W2274799360C206880738 @default.
- W2274799360 hasConceptScore W2274799360C2777601897 @default.
- W2274799360 hasConceptScore W2274799360C2777686260 @default.
- W2274799360 hasConceptScore W2274799360C33566652 @default.
- W2274799360 hasConceptScore W2274799360C41008148 @default.
- W2274799360 hasConceptScore W2274799360C42475967 @default.
- W2274799360 hasConceptScore W2274799360C71924100 @default.
- W2274799360 hasConceptScore W2274799360C80444323 @default.
- W2274799360 hasIssue "1" @default.
- W2274799360 hasLocation W22747993601 @default.
- W2274799360 hasOpenAccess W2274799360 @default.
- W2274799360 hasPrimaryLocation W22747993601 @default.
- W2274799360 hasRelatedWork W1517534379 @default.
- W2274799360 hasRelatedWork W1585968270 @default.
- W2274799360 hasRelatedWork W1587344455 @default.
- W2274799360 hasRelatedWork W1712107315 @default.
- W2274799360 hasRelatedWork W2159065002 @default.
- W2274799360 hasRelatedWork W2280901385 @default.
- W2274799360 hasRelatedWork W2303140169 @default.
- W2274799360 hasRelatedWork W2564954397 @default.
- W2274799360 hasRelatedWork W2601974362 @default.
- W2274799360 hasRelatedWork W2620210094 @default.
- W2274799360 hasRelatedWork W2752050161 @default.
- W2274799360 hasRelatedWork W2766304680 @default.
- W2274799360 hasRelatedWork W2793605330 @default.
- W2274799360 hasRelatedWork W2912071024 @default.
- W2274799360 hasRelatedWork W2912262297 @default.
- W2274799360 hasRelatedWork W2912783987 @default.
- W2274799360 hasRelatedWork W2914878487 @default.
- W2274799360 hasRelatedWork W2915984525 @default.
- W2274799360 hasRelatedWork W2964013359 @default.
- W2274799360 hasRelatedWork W339667747 @default.
- W2274799360 hasVolume "1" @default.
- W2274799360 isParatext "false" @default.
- W2274799360 isRetracted "false" @default.
- W2274799360 magId "2274799360" @default.
- W2274799360 workType "book" @default.