FO(.) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "FO(.)" in English language version.

refsWebsite

Global rank English rank

low place

low place

4,725^th place

3,556^th place

69^th place

59^th place

18^th place

17^th place

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

low place

9,569^th place

arxiv.org

Denecker, Marc (2000). "Extending classical logic with inductive definitions". International Conference on Computational Logic: 703–717. arXiv:cs/0003019. Bibcode:2000cs........3019D.

doi.org

De Cat, Broes; Bogaerts, Bart; Bruynooghe, Maurice; Janssens, Gerda; Denecker, Marc (2018). "Predicate logic as a modeling language: The IDP system". Declarative Logic Programming: Theory, Systems, and Applications. pp. 279–323. doi:10.1145/3191315.3191321. ISBN 9781970001990. S2CID 3866665.

gitlab.com

"FOLASP". Retrieved 2022-02-01.

harvard.edu

ui.adsabs.harvard.edu

Denecker, Marc (2000). "Extending classical logic with inductive definitions". International Conference on Computational Logic: 703–717. arXiv:cs/0003019. Bibcode:2000cs........3019D.

idp-z3.be

idp-z3.be

"IDP-Z3". Retrieved 2022-02-01.
"Interactive Consultant". Retrieved 2022-02-01.

interactive-consultant.idp-z3.be

"Interactive Lawyer". Retrieved 2022-02-01.

kuleuven.be

lirias.kuleuven.be

De Cat, Broes; Bogaerts, Bart; Bruynooghe, Maurice; Janssens, Gerda; Denecker, Marc (2018). "Predicate logic as a modeling language: The IDP system". Declarative Logic Programming: Theory, Systems, and Applications. pp. 279–323. doi:10.1145/3191315.3191321. ISBN 9781970001990. S2CID 3866665.

dtai.cs.kuleuven.be

"IDP". Retrieved 2022-02-01.

semanticscholar.org

api.semanticscholar.org

De Cat, Broes; Bogaerts, Bart; Bruynooghe, Maurice; Janssens, Gerda; Denecker, Marc (2018). "Predicate logic as a modeling language: The IDP system". Declarative Logic Programming: Theory, Systems, and Applications. pp. 279–323. doi:10.1145/3191315.3191321. ISBN 9781970001990. S2CID 3866665.