SemOpenAlex |

SemOpenAlex

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

Showing items 1 to 100 of ±135 with 100 items per page.

W2289512926 abstract "It is shown in this paper that a set of fragments of CL (Classical Logic) can be embedded within CL. The set includes many logics presented in the literature. The embedding turns finite premise sets into finite premise sets. As an effect, (partial) decision methods for CL can be applied to the fragments." @default.
W2289512926 created "2016-06-24" @default.
W2289512926 creator A5061918684 @default.
W2289512926 date "2008-01-01" @default.
W2289512926 modified "2023-09-26" @default.
W2289512926 title "Logische bewijsdynamieken voor de formele explicatie van wetenschappelijke probleemoplossingsprocessen" @default.
W2289512926 cites W110963011 @default.
W2289512926 cites W118451852 @default.
W2289512926 cites W11993494 @default.
W2289512926 cites W124922568 @default.
W2289512926 cites W133550812 @default.
W2289512926 cites W14508362 @default.
W2289512926 cites W1483568252 @default.
W2289512926 cites W1501198635 @default.
W2289512926 cites W1504482310 @default.
W2289512926 cites W1512324169 @default.
W2289512926 cites W1530757972 @default.
W2289512926 cites W1536217426 @default.
W2289512926 cites W1539260997 @default.
W2289512926 cites W1540715591 @default.
W2289512926 cites W1540898256 @default.
W2289512926 cites W1550278928 @default.
W2289512926 cites W1559837960 @default.
W2289512926 cites W1571008965 @default.
W2289512926 cites W1572451808 @default.
W2289512926 cites W1590243215 @default.
W2289512926 cites W1593769724 @default.
W2289512926 cites W1595442647 @default.
W2289512926 cites W1602390698 @default.
W2289512926 cites W1607228922 @default.
W2289512926 cites W1677271966 @default.
W2289512926 cites W188194049 @default.
W2289512926 cites W1910245860 @default.
W2289512926 cites W1964710638 @default.
W2289512926 cites W1965063292 @default.
W2289512926 cites W1965185410 @default.
W2289512926 cites W1971429569 @default.
W2289512926 cites W1989043907 @default.
W2289512926 cites W1991954916 @default.
W2289512926 cites W2003976385 @default.
W2289512926 cites W2004739217 @default.
W2289512926 cites W2011540614 @default.
W2289512926 cites W2011623499 @default.
W2289512926 cites W2013788787 @default.
W2289512926 cites W2014949869 @default.
W2289512926 cites W2015104405 @default.
W2289512926 cites W2015653763 @default.
W2289512926 cites W2016557994 @default.
W2289512926 cites W2018899807 @default.
W2289512926 cites W2018957484 @default.
W2289512926 cites W2019323056 @default.
W2289512926 cites W2021342756 @default.
W2289512926 cites W2022760936 @default.
W2289512926 cites W2032492488 @default.
W2289512926 cites W2044788325 @default.
W2289512926 cites W2050705073 @default.
W2289512926 cites W2055448233 @default.
W2289512926 cites W2060642394 @default.
W2289512926 cites W2067029596 @default.
W2289512926 cites W2078856314 @default.
W2289512926 cites W2080126541 @default.
W2289512926 cites W2081963674 @default.
W2289512926 cites W2094326530 @default.
W2289512926 cites W2110182592 @default.
W2289512926 cites W2116848179 @default.
W2289512926 cites W2117832390 @default.
W2289512926 cites W2123401230 @default.
W2289512926 cites W2142072439 @default.
W2289512926 cites W2142616542 @default.
W2289512926 cites W2151387769 @default.
W2289512926 cites W2153859544 @default.
W2289512926 cites W2156945293 @default.
W2289512926 cites W2297204787 @default.
W2289512926 cites W2304557404 @default.
W2289512926 cites W2318120001 @default.
W2289512926 cites W2319531978 @default.
W2289512926 cites W2320903769 @default.
W2289512926 cites W2333196491 @default.
W2289512926 cites W2341912386 @default.
W2289512926 cites W2480880306 @default.
W2289512926 cites W2494628634 @default.
W2289512926 cites W2530006810 @default.
W2289512926 cites W2564821346 @default.
W2289512926 cites W2587482210 @default.
W2289512926 cites W2606168090 @default.
W2289512926 cites W2626273498 @default.
W2289512926 cites W2626881475 @default.
W2289512926 cites W26530055 @default.
W2289512926 cites W2697365126 @default.
W2289512926 cites W2732947490 @default.
W2289512926 cites W2736069852 @default.
W2289512926 cites W2796438186 @default.
W2289512926 cites W2901060116 @default.
W2289512926 cites W29377560 @default.
W2289512926 cites W2954333904 @default.
W2289512926 cites W3135105016 @default.
W2289512926 cites W3137389784 @default.
W2289512926 cites W31407229 @default.
W2289512926 cites W605421089 @default.
W2289512926 cites W61640938 @default.