{"entities":{"Q4637694":{"pageid":6667275,"ns":120,"title":"Item:Q4637694","lastrevid":90553523,"modified":"2026-06-04T20:40:39Z","type":"item","id":"Q4637694","labels":{"en":{"language":"en","value":"Model theory and proof theory of coalgebraic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6864545"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637694$BAE232E9-4305-4E01-BF2C-8B680BFBF920","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ffd2c7b977b561a9bdcc34c42c76d45c0f9dd20","datavalue":{"value":"1459.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$011FB3B7-1383-4C56-90BD-9DB1A970458F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ef5acd26a42c73c246c130265cf26793cc80f2","datavalue":{"value":"10.23638/LMCS-14(1:22)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$B0604CC1-1950-4D30-9DF6-086F0BA21878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637694$70FEADB2-0007-4B20-9AD5-D192F0D56A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637694$4B4D404D-4393-4F9E-9DEC-D516335AD800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637694$9B92414E-3692-46C7-9170-4ACFEEAA6707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637694$A9A4115B-FD78-4C07-B90E-86F976BD9793","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c88888d4c8b884868b6c5323b4729f3c04ab0a31","datavalue":{"value":{"time":"+2018-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4637694$D4C9839B-3AB2-43AC-B106-C9893FF37C17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ca79d37e1c2ca04b8afaf2dba471ba4280a0ebb","datavalue":{"value":"https://arxiv.org/abs/1701.03773","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637694$3435759D-9525-4271-9510-F2503A153627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$F11D4C28-D55E-4947-8458-DC20E48CE860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$1F581F78-6439-4529-84AD-7AEEE9D51CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$5019BD6D-2D11-4F13-A977-E4FF78977281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$9E0468F0-561B-4C96-8239-FA59683D8B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$83A5B73D-B5E2-409F-9768-ABB4DF407DA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f389324428c249c7c160e9b2db70d377fc0b613","datavalue":{"value":"6864545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637694$9226D54A-F5B9-4CA1-A39A-AEEBF365D3A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4abf31290ab87d7661507781ab93518c45c8923","datavalue":{"value":"coalgebraic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637694$07CA9040-B491-4A52-8CF1-03463A4AF387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e7debdfa63702df4db50656a90094f385689e8","datavalue":{"value":"coalgebraic model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637694$12747897-5B9D-4F94-9350-D76501AEB945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9df6298a277f80dc8b9359be810fc1114dac3c","datavalue":{"value":"coalgebraic proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637694$DA2CBC53-25E3-4FC8-A205-9B6CC2A89841","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f825741c27efa5efae110294763db1848eb73564","datavalue":{"value":{"entity-type":"item","numeric-id":24785,"id":"Q24785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637694$DA107EA7-66CE-4411-9A50-6FAE95D9EB43","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637694$EB9AD33B-1149-41D4-A5DB-A2DDFFBE5D55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7847e1d32ffa0a281ff8719fbf8246c6dd135e43","datavalue":{"value":{"entity-type":"item","numeric-id":3167020,"id":"Q3167020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e4a25208f5fcaf1db916e85d07616856ce2de9","datavalue":{"value":{"amount":"+0.9429335594177246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637694$3A2C176E-553A-4B18-B449-1EAB5A81B8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e60949f2cfcbaff4d9567d9b620910d42e2aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4914523,"id":"Q4914523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be981c7c41f2b64524d83dada0ba236a532ec0b","datavalue":{"value":{"amount":"+0.8590030670166016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637694$9E1D7397-A7A1-4013-92F9-32341D31D5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a596d34a8ec5a4e27e7098bc350b4ab8b233aa","datavalue":{"value":{"entity-type":"item","numeric-id":2983396,"id":"Q2983396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a9a2a8e444e0e66d4bfd8e97edf65d2cd1ba8e","datavalue":{"value":{"amount":"+0.8010865449905396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637694$83C94098-82FF-42BC-B9FF-7527BAEF3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e6546314dc58bd97d1a309ceb654ad3e8d5bef","datavalue":{"value":{"entity-type":"item","numeric-id":3557860,"id":"Q3557860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0020d5ae7cd2a36235add4fd1ae38e15db1e15","datavalue":{"value":{"amount":"+0.7903161644935608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637694$C2EF3FF1-6418-47D6-A4B4-04FDDD188C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fa506ae4f6d037ec3c5ecb23ecb116de3aba37","datavalue":{"value":{"entity-type":"item","numeric-id":2503317,"id":"Q2503317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14dd38da84331962cd68d031c678bb26ffa1c1ed","datavalue":{"value":{"amount":"+0.7891373634338379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637694$D96BCC75-BADC-4B1F-A5F5-24803D155F31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model theory and proof theory of coalgebraic predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_theory_and_proof_theory_of_coalgebraic_predicate_logic"}}}}}