https://confident.dbis.rwth-aachen.de/or/index.php
type: Ontology
creation date: 2025-12-24T07:47:30+01:00
imports: http://semantic-mediawiki.org/swivt/1.0

Logic
type: Class
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 14
wiki page content language: en
has query: http://confident-conference.org/or/index.php
wiki page creation date: 2008-12-24T08:03:42Z
creation date#aux: 2454824.8359028
processing error: http://confident-conference.org/or/index.php
last editor is: http://confident-conference.org/or/index.php
wiki page modification date: 2020-02-26T21:32:00Z
modification date#aux: 2458906.3972222
wiki page sort key: Logic
subclass of: http://confident-conference.org/or/index.php
page creator: http://confident-conference.org/or/index.php

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: table
query size: 2
query string:
wiki page sort key: Logic# QUERY80a49c42d6f2c6587a5a0d3b0e4c082f

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 1
query format: icalendar
query size: 5
query string: ≥1 January 2016 ≤31 December 2016
wiki page sort key: Logic# QUERYc5cd2e311cf77f6f7f702fbf36f30a2f

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic# QUERYcc6e8aa488b542fc5b70873a204a5473

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic# QUERYcdae1347ede9afbe4209006a49f40ed7

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic# QUERYb1895efd7b8e1ca50ebe6031ca8a5410

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic# QUERYbd4126f433e1c1303cc46653dfb72581

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic# QUERY50faf89a08272f30ce77c1714870cd70

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic# QUERYa2030058a9613b38983bd558fa03e08a

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 1
query format: table
query size: 3
query string: ≥31 March 2022
wiki page sort key: Logic# QUERY45d797d35bcc5833d31cc094e12dd40a

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
query depth: 1
query format: list
query size: 5
query string: ≥31 March 2022
wiki page sort key: Logic# QUERYcba34003b86f4893c0a2cf229799048b

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_unexpectedpart","[["]
wiki page sort key: Logic# ERR003c87646d3026c15f1608742381f560

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_misplacedsymbol","[["]
wiki page sort key: Logic# ERR4d654bd0fc980a6b0597358ed2064db6

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_unexpectedpart",""]
wiki page sort key: Logic# ERR479c60d47340bb7e2bcf8e5e1e9207e6

http://confident-conference.org/or/index.php
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: http://confident-conference.org/or/index.php
processing error message: [2,"smw_noclosingbrackets"]
wiki page sort key: Logic# ERR1dd423a8697e32d6813ecd1a7aae482c

AiML
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: AiML
type: Logic

CIAA
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: CIAA
type: Logic

CSL
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: CSL
type: Logic

Commonsense
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: Commonsense
type: Logic

ICLP
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: ICLP
type: Logic

ILP
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: ILP
type: Logic

LICS
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: LICS
type: Logic

LOPSTR
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: LOPSTR
type: Logic

TABLEAUX
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: TABLEAUX
type: Logic

TIME
type: Subject
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: TIME
type: Logic

ALPSWS 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ALPSWS 2008

ASPOCP 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ASPOCP 2008

AiML 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: AiML 2018

AiML 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: AiML 2020

CIAA 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2017

CIAA 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2018

CIAA 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2019

CIAA 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2020

CIAA 2021
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2021

CSL 1987
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1987

CSL 1988
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1988

CSL 1989
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1989

CSL 1990
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1990

CSL 1991
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1991

CSL 1992
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1992

CSL 1993
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1993

CSL 1994
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1994

CSL 1995
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1995

CSL 1996
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1996

CSL 1997
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1997

CSL 1998
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1998

CSL 1999
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 1999

CSL 2000
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2000

CSL 2001
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2001

CSL 2002
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2002

CSL 2003
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2003

CSL 2004
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2004

CSL 2005
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2005

CSL 2006
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2006

CSL 2007
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2007

CSL 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2008

CSL 2009
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2009

CSL 2010
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2010

CSL 2011
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2011

CSL 2012
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2012

CSL 2013
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2013

CSL 2014
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2014

CSL 2015
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2015

CSL 2016
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2016

CSL 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2017

CSL 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2018

CSL 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2020

CSL 2021
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2021

CSL 2022
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2022

Commonsense 2011
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2011

Commonsense 2013
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2013

Commonsense 2015
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2015

DALT 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: DALT 2008

DEON 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: DEON 2008

ICLP 2009
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ICLP 2009

ICLP 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ICLP 2020

ILP 2009
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2009

ILP 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2017

ILP 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2018

ILP 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2019

ILP 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2020

ISMVL 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: ISMVL 2008

JoLLI Special Issue 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: JoLLI Special Issue 2008

LICS 1986
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1986

LICS 1987
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1987

LICS 1988
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1988

LICS 1989
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1989

LICS 1990
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1990

LICS 1991
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1991

LICS 1992
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1992

LICS 1993
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1993

LICS 1994
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1994

LICS 1995
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1995

LICS 1996
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1996

LICS 1997
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1997

LICS 1998
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1998

LICS 1999
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1999

LICS 2000
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2000

LICS 2001
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2001

LICS 2002
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2002

LICS 2003
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2003

LICS 2004
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2004

LICS 2005
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2005

LICS 2006
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2006

LICS 2007
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2007

LICS 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2008

LICS 2009
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2009

LICS 2010
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2010

LICS 2011
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2011

LICS 2012
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2012

LICS 2013
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2013

LICS 2014
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2014

LICS 2015
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2015

LICS 2016
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2016

LICS 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2017

LICS 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2018

LICS 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2019

LICS 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2020

LID 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LID 2008

LOPSTR 2016
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2016

LOPSTR 2017
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2017

LOPSTR 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2018

LOPSTR 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2019

LOPSTR 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2020

LaSh 2016
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: LaSh 2016

SELSE 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: SELSE 2008

StuS 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: StuS 2008

TABLEAUX 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TABLEAUX 2020

TIME 2018
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2018

TIME 2019
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2019

TIME 2020
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2020

WoLLIC 2008
type: Subject
type: Logic
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 0
wiki page content language: en
wiki page sort key: WoLLIC 2008

Modal logic
type: Class
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 14
wiki page content language: en
wiki page sort key: Modal logic
subclass of: Logic

Field
type: ObjectProperty
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 102
wiki page content language: en
wiki page sort key: Field

INST
type: DatatypeProperty
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 102
wiki page content language: en
wiki page sort key: INST

Subcategory of
type: ObjectProperty
page: https://confident.dbis.rwth-aachen.de/or/index.php
wiki namespace: 102
wiki page content language: en
wiki page sort key: Subcategory of