Matches in SemOpenAlex for { <https://semopenalex.org/work/W4211044325> ?p ?o ?g. }
- W4211044325 endingPage "184" @default.
- W4211044325 startingPage "165" @default.
- W4211044325 created "2022-02-13" @default.
- W4211044325 date "2019-03-28" @default.
- W4211044325 modified "2023-09-26" @default.
- W4211044325 title "Basic Example of the Correspondence between Theories and Proof Systems" @default.
- W4211044325 cites W141966453 @default.
- W4211044325 cites W143396352 @default.
- W4211044325 cites W1514413980 @default.
- W4211044325 cites W1520950860 @default.
- W4211044325 cites W1524684967 @default.
- W4211044325 cites W153015188 @default.
- W4211044325 cites W1535316912 @default.
- W4211044325 cites W1552145226 @default.
- W4211044325 cites W1569195974 @default.
- W4211044325 cites W1572440476 @default.
- W4211044325 cites W1583541147 @default.
- W4211044325 cites W1608879862 @default.
- W4211044325 cites W1614370253 @default.
- W4211044325 cites W1865743830 @default.
- W4211044325 cites W1944379106 @default.
- W4211044325 cites W1964394232 @default.
- W4211044325 cites W1966278576 @default.
- W4211044325 cites W1966303481 @default.
- W4211044325 cites W1967344706 @default.
- W4211044325 cites W1968584500 @default.
- W4211044325 cites W1968655942 @default.
- W4211044325 cites W1970089350 @default.
- W4211044325 cites W1972122408 @default.
- W4211044325 cites W1975857059 @default.
- W4211044325 cites W1978132353 @default.
- W4211044325 cites W1978337116 @default.
- W4211044325 cites W1979972097 @default.
- W4211044325 cites W1980879781 @default.
- W4211044325 cites W1981949200 @default.
- W4211044325 cites W1982129592 @default.
- W4211044325 cites W1982672583 @default.
- W4211044325 cites W1982704699 @default.
- W4211044325 cites W1983604941 @default.
- W4211044325 cites W1985834822 @default.
- W4211044325 cites W1985854796 @default.
- W4211044325 cites W1985970833 @default.
- W4211044325 cites W1988083342 @default.
- W4211044325 cites W1990362734 @default.
- W4211044325 cites W1990932978 @default.
- W4211044325 cites W1991886545 @default.
- W4211044325 cites W1993138363 @default.
- W4211044325 cites W1993227745 @default.
- W4211044325 cites W1993453078 @default.
- W4211044325 cites W1995120485 @default.
- W4211044325 cites W1996110613 @default.
- W4211044325 cites W1997172367 @default.
- W4211044325 cites W1997908783 @default.
- W4211044325 cites W1998918799 @default.
- W4211044325 cites W1999069928 @default.
- W4211044325 cites W1999590237 @default.
- W4211044325 cites W2002715978 @default.
- W4211044325 cites W2004130530 @default.
- W4211044325 cites W2006011411 @default.
- W4211044325 cites W2007166036 @default.
- W4211044325 cites W2007316622 @default.
- W4211044325 cites W2008731436 @default.
- W4211044325 cites W2009304285 @default.
- W4211044325 cites W2012084714 @default.
- W4211044325 cites W2012102524 @default.
- W4211044325 cites W2012476164 @default.
- W4211044325 cites W2012805418 @default.
- W4211044325 cites W2014588328 @default.
- W4211044325 cites W2015463688 @default.
- W4211044325 cites W2017209655 @default.
- W4211044325 cites W2021956337 @default.
- W4211044325 cites W2024450183 @default.
- W4211044325 cites W2025279645 @default.
- W4211044325 cites W2026119659 @default.
- W4211044325 cites W2026916148 @default.
- W4211044325 cites W2026967932 @default.
- W4211044325 cites W2028861313 @default.
- W4211044325 cites W2029109849 @default.
- W4211044325 cites W2029390834 @default.
- W4211044325 cites W2029576333 @default.
- W4211044325 cites W2030087828 @default.
- W4211044325 cites W2031370656 @default.
- W4211044325 cites W2032780190 @default.
- W4211044325 cites W2034768280 @default.
- W4211044325 cites W2034804004 @default.
- W4211044325 cites W2036265926 @default.
- W4211044325 cites W2036503832 @default.
- W4211044325 cites W2036656440 @default.
- W4211044325 cites W2037028865 @default.
- W4211044325 cites W2037971976 @default.
- W4211044325 cites W2038193643 @default.
- W4211044325 cites W2038247515 @default.
- W4211044325 cites W2039214864 @default.
- W4211044325 cites W2039236516 @default.
- W4211044325 cites W2039982637 @default.
- W4211044325 cites W2040404640 @default.
- W4211044325 cites W2040502162 @default.
- W4211044325 cites W2040813688 @default.
- W4211044325 cites W2043071947 @default.
- W4211044325 cites W2043360684 @default.