2025-02-23T04:02:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-36509%22&qt=morelikethis&rows=5
2025-02-23T04:02:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-36509%22&qt=morelikethis&rows=5
2025-02-23T04:02:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T04:02:56-05:00 DEBUG: Deserialized SOLR response
Pure first-order quasiary logics with equality predicates
Saved in:
Main Authors: | M. S. Nikitchenko, S. S. Shkilniak |
---|---|
Format: | Article |
Language: | English |
Published: |
2017
|
Series: | Problems in programming |
Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0000724012 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
2025-02-23T04:02:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-36509%22&qt=morelikethis
2025-02-23T04:02:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-36509%22&qt=morelikethis
2025-02-23T04:02:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T04:02:56-05:00 DEBUG: Deserialized SOLR response
Similar Items
-
Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018) -
Pure first-order logics of quasiary predicates
by: M. S. Nikitchenko, et al.
Published: (2016) -
Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018) -
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
by: Shkilniak, О.S., et al.
Published: (2023) -
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
by: S. S. Shkilniak
Published: (2013)