Matches in SemOpenAlex for { <https://semopenalex.org/location/W20869837811> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W20869837811 hasURL "https://doi.org/10.1305/ndjfl/1093888501" @default.
- W20869837811 type Location @default.
- W20869837811 hasSource S78544662 @default.
- W20869837811 hasVersion "publishedVersion" @default.
- W20869837811 isOa "true" @default.
- W20869837811 pdfUrl "https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-19/issue-4/Model-theoretical-investigation-of-theorem-proving-methods/10.1305/ndjfl/1093888501.pdf" @default.