{"entities":{"Q2873671":{"pageid":2884391,"ns":120,"title":"Item:Q2873671","lastrevid":42411812,"modified":"2025-06-15T14:45:10Z","type":"item","id":"Q2873671","labels":{"en":{"language":"en","value":"Coequational logic for finitary functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250407"}},"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":"Q2873671$A53AB44D-1E01-4F10-94D2-F2BFBDC2A6B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea2910a1e87da5ec8d2f0edd996d60d186c35c45","datavalue":{"value":"1279.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873671$10FD4784-79A5-426B-A31A-A70A30EFE948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"300f539e96c5c80145cb61869e1df647f4522e97","datavalue":{"value":{"entity-type":"item","numeric-id":618172,"id":"Q618172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$7A6757BE-B3F1-4459-91A4-243CB694E9F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$7217A417-A285-41F7-A488-4DB9E019A3A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873671$1EFF87C6-CCEC-4901-9C89-2579168C2BEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873671$76BF4E18-140C-406E-BE6D-943934FDD52D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f4b100452633708dce05910c09f55c97a858b5b","datavalue":{"value":"6250407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873671$59F25087-8206-43C9-AAD7-6C12C8558C20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"627a41a559a09f959823a20bd715798c0eff1c7a","datavalue":{"value":"cofree coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873671$BA83EEE5-D010-4E19-A892-9A0056B82646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acda964bb500b2e4c0e639115fdd0ae7a5e040ab","datavalue":{"value":"coequation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873671$E49C85EE-3974-4F62-8158-D51981DA62BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873671$C66F1C03-6C23-4CBC-8902-58FE8E333EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d2bf237feecae8165947c47bf8435f1b145d94f","datavalue":{"value":"finitary functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873671$07A102D3-DB39-4921-9356-90C0D3D365BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1cf1b37482513998279155a0af8ac2c92164d2","datavalue":{"value":"preimage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873671$9CB89AE2-FDDD-46F6-9F3A-9916153F0FD9","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":"Q2873671$EEA3DF35-C955-4D06-B6A5-5AC9B9146A6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08a345757c8f0567a8cc2d3053dc06c7386430c3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.05.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873671$9DFF953C-6B48-46AE-9193-A4860003980A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc585571d102aa0464f49bafbcbb7be8728287fb","datavalue":{"value":"W2019940009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873671$5CB97783-EE31-4AD0-9F38-988F0579AB66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"507dd065ba3c687b23973c2b2ffc7af3160a76e6","datavalue":{"value":{"entity-type":"item","numeric-id":5394570,"id":"Q5394570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$C72BFC2D-9D02-4E73-AD1D-091C9C6E4C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8752574af42d70f4a79095961b1ec973ec3b1dbb","datavalue":{"value":{"entity-type":"item","numeric-id":3512598,"id":"Q3512598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$B137A726-9FA9-47CB-98D6-44F6410F1C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10bee822c04a68f8d971c9ee25889cd02eadd0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2500475,"id":"Q2500475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$8B700D28-8EFB-40BA-BB30-92367C89E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515c51a0b47d119ec197c99d4b26c96be6b3ac90","datavalue":{"value":{"entity-type":"item","numeric-id":1884936,"id":"Q1884936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$6629E818-600A-4E18-9ED8-763F1759B21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$648BC654-E238-4FF1-829C-FF1A3C17F5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeee5cfc74218c9ac9f517e0d4310ef4faa8529e","datavalue":{"value":{"entity-type":"item","numeric-id":4917039,"id":"Q4917039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$1C98188B-18DA-4533-B19B-259566548F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$B30D02CC-2D5C-40D9-A51C-F09AF3A4CCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$8C715F49-DBAB-4649-9E9E-809E99872DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$B684C7A1-0506-4DC8-BE6C-91623A0F7E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c62d2601f9de5efbba07a4ef8ff1991d7ab6d","datavalue":{"value":{"entity-type":"item","numeric-id":557796,"id":"Q557796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873671$E7C6249C-A455-47D6-89CB-F53569DE21F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa358d30490b1ca9780aee257bdebd49a11ffc8d","datavalue":{"value":"10.1016/J.ENTCS.2008.05.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873671$3A96463B-38FA-4BB6-B4C3-95CED84180B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129d5fb1ca86a5735e89121c04f7ca3069be69b3","datavalue":{"value":{"entity-type":"item","numeric-id":618173,"id":"Q618173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6aaf6d582de7ee92a7ccd4ea6b85ef54e53958b","datavalue":{"value":{"amount":"+0.94019485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$3BB68CE1-B560-4555-AF10-B3237DACED18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5df14dde303d572073e741a384aeab33eece7","datavalue":{"value":{"entity-type":"item","numeric-id":3056299,"id":"Q3056299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ecdf9acd099604940136feae57feed9f7a2040","datavalue":{"value":{"amount":"+0.9398769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$2DA1E57C-689A-41EE-BC0B-F475AAE97BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ddf3be7b6082d628b27882dc39cddd5dafdcec6","datavalue":{"value":{"entity-type":"item","numeric-id":1683709,"id":"Q1683709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3140975af3e387c7459d1b919208b0400a8306af","datavalue":{"value":{"amount":"+0.93814206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$1349488A-A4AC-4FFC-A0BC-14E24A2742FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616755011f98ef2d1910815149a6ce09da979638","datavalue":{"value":{"entity-type":"item","numeric-id":5739455,"id":"Q5739455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3140975af3e387c7459d1b919208b0400a8306af","datavalue":{"value":{"amount":"+0.93814206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$ACE2F9BC-1843-4B34-95D8-30B5B93D70B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960a5c5920a999e3543ca8a33798b77f5ad3b38d","datavalue":{"value":{"entity-type":"item","numeric-id":2843736,"id":"Q2843736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070f8d4b6d155987ee5a2898414e533047288a8b","datavalue":{"value":{"amount":"+0.9164401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$6F267135-0377-408D-A53C-F225B6AA9AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c5c1c631665573b2efa5cc2b858b0a4a31fd33","datavalue":{"value":{"entity-type":"item","numeric-id":2873668,"id":"Q2873668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c62830f982611210ab5c59e48bca7a71625364","datavalue":{"value":{"amount":"+0.9068004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$E164734A-4C1E-4F5F-B8A3-B3360BFEA35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969da163373b183e9b4479b7569e88a6d514a55e","datavalue":{"value":{"entity-type":"item","numeric-id":5462663,"id":"Q5462663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96ff13645158c895d92bc1b70b685c9103ef6c4","datavalue":{"value":{"amount":"+0.9048114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$C5F6FE44-4455-4A21-925B-A8C9C72C60A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6089f3308cbcda5ab78eb9084ebf0d68522479f","datavalue":{"value":{"entity-type":"item","numeric-id":2914235,"id":"Q2914235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3493fb1479d622512709b6bb137f57e9ae49f1e","datavalue":{"value":{"amount":"+0.9005294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$263A8C99-FF39-47FE-B5DD-0B80A36C2397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e909f539dd6b5e1fa884fd248cb23696bf93c5c5","datavalue":{"value":{"amount":"+0.8985032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$01E313D7-54FC-4882-B872-186D95512C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9534a1a1ffa65afada9314d1cc7674d202d48c1","datavalue":{"value":{"entity-type":"item","numeric-id":4600775,"id":"Q4600775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56496d4de0eb34b3e14cbe0b76a601e8bd6f4e68","datavalue":{"value":{"amount":"+0.8974571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873671$C982CB33-2839-411C-B1A8-61AA53827543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90c596db2b28f6b44708633886963f38a70d4393","datavalue":{"value":{"text":"Coequational logic for finitary functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873671$727279A5-4DF3-4BEE-8EDE-5E21A0C06CF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873671"}}}}}