{"entities":{"Q2873668":{"pageid":2884388,"ns":120,"title":"Item:Q2873668","lastrevid":51912515,"modified":"2026-01-20T12:54:33Z","type":"item","id":"Q2873668","labels":{"en":{"language":"en","value":"Functorial coalgebraic logic: the case of many-sorted varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250404"}},"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":"Q2873668$D7D40431-4E32-4439-91AD-5A3BF0C6BF0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed4cb71c8b03c552713091e4b8e0b0e8ee64014","datavalue":{"value":"1279.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873668$25F280A8-8D12-4A00-A76A-62A7EF320CB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$84A0FAC3-D6E0-48CA-B597-2871536F3E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$89F94EEF-C9AD-4365-B495-5E204716D391","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":"Q2873668$DB6D3E25-2496-4FE8-9B8A-C7494F9D387F","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":"Q2873668$D7BEE5CF-4FE3-45F6-A2C8-9789088F65CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873668$555F19B8-1FBF-4B14-8B60-FAC044F7987B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873668$2C36BA16-59D5-40A7-AD40-9C6F0269F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873668$94AB46AA-1206-46FF-A51A-B9237ECF3980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39fafa831aa4cf3ec93b17cfa6f3827cd7a5109a","datavalue":{"value":"6250404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873668$645C41BE-C7BB-48B7-9DCB-B5AE40D1B62B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$A3B0D2A3-5100-4747-BA49-6B26C2988109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$9C7D7837-E063-465A-A970-E562BB62FB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$F4AB4FE0-0D54-49FC-85E7-BC29F535310E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$2753EFFE-EB13-49C4-BC20-E9BAFDE7D941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf56bf782a5961420ae5f504f9272e66b939942a","datavalue":{"value":"sifted colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$16ED06AE-A09D-42CC-8E25-819185A11C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$DD29696C-9B95-442B-B368-E5AC31324E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$AE7FE5EC-475C-4A97-BAB8-A79C254CB4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f0edad94b3cb7e209e74e8494233a75cdf9007","datavalue":{"value":"presentation by operations and equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873668$9C3DD468-1939-444E-BEDE-78ECF2908486","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":"Q2873668$3FC3426B-3783-4AE6-8658-BCEFC60E9DB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8959b701317f03bb0cd120b0bc09c456d0dcfc8e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.05.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873668$B7E037ED-0FA3-4E61-8A12-6DAA030E69AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aac2c24227fc91da69cafa182f55ff733d4c3154","datavalue":{"value":"W1965466569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873668$617CB3F5-4B4F-44E6-8040-8262DB774F79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$D78AFAE6-CCDD-4DA4-95FD-209357C2E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$19E45926-8C58-452B-81DF-EEAFEC47FA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$FA37248C-D2D4-43C9-B612-60716D4B1379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94b192bcb1f1438fac6d7d940c39373c38eae5","datavalue":{"value":{"entity-type":"item","numeric-id":4527392,"id":"Q4527392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$EB4683AD-2764-4656-8888-3E3BCFB0F46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f07a5337aa99edf273489b307d42f143920052","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$3B71FEE0-7E61-403D-9D22-C7E4CFBA0C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fc53b330df65c06db898861ce0dd086aab1c9","datavalue":{"value":{"entity-type":"item","numeric-id":5899087,"id":"Q5899087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$618431BE-4AD1-4E4F-BA53-BCEDC595676F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4d4d51eec50085395d381accdbc188dc3b4d39","datavalue":{"value":{"entity-type":"item","numeric-id":5428843,"id":"Q5428843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$5B76E2CB-5F2D-4E00-B04D-F83E6FC3460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$6638262C-723E-4C68-93B2-F5B111743E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$66DAFD12-4D3E-4E12-AA37-72D67FF8B7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec12bbe412575dad24d14f42016ed59a2668309","datavalue":{"value":{"entity-type":"item","numeric-id":5492825,"id":"Q5492825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$A5A5D93B-5CC7-4CA4-A596-8872A2872B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$F22D0A50-964B-4188-8B7A-79319739DB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f55ce5b3ef6c0010cbbaf9e29337871803b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$05645C2B-0F0A-430E-ADB4-B33C36C3EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c87ae724ec7ee94ce13582011b58dd7102746a6","datavalue":{"value":{"entity-type":"item","numeric-id":5462663,"id":"Q5462663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$F7896694-CD7C-41D1-B7B8-167BB8D40992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faf6abb197a0facad98daf3e7c2ce18de194677","datavalue":{"value":{"entity-type":"item","numeric-id":3612499,"id":"Q3612499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$5793F954-7149-42C1-A209-64629A1623C8","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":"Q2873668$BE3E8B6D-A7AC-4BC1-A254-CC4E27376EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c10a827d2af24fcbdf825a50f1eff9d38a2cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2762529,"id":"Q2762529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$063AA23C-E031-4333-966C-FDEF0C01DD0A","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":"Q2873668$B616718B-AE71-4998-B6DB-EE313444D403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$B0D63E00-1F0D-428A-89B5-072411C12BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873668$8F5E414E-79AD-4948-85C1-C42C0B75F30D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61a4b4d1b404057bd074aaef2e9fb54245b89484","datavalue":{"value":"10.1016/J.ENTCS.2008.05.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873668$5195B466-3EAA-4D50-9592-DA5F71B050C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85ebdb5cbfc5703dfcd8bfc4b652de3cf3db4bc6","datavalue":{"value":{"text":"Functorial coalgebraic logic: the case of many-sorted varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873668$B040B8F9-21E4-4F74-8D55-3A6B85ED338A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e024dcb08851a6bf290caa0c5e168e9a796667d","datavalue":{"value":{"entity-type":"item","numeric-id":618170,"id":"Q618170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a5e6cc322060e7116b494d890eedd994e18bc9","datavalue":{"value":{"amount":"+0.8912060260772705","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":"Q2873668$976B39D0-1583-4359-A78C-ECB549C44107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9fa5426d3518e7e770e5a5e94ebca5a14d46ba","datavalue":{"value":{"entity-type":"item","numeric-id":2842552,"id":"Q2842552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db5a7d587fed17b2d53e55f978131847223c1cc","datavalue":{"value":{"amount":"+0.8341706991195679","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":"Q2873668$14CB27E1-2378-47F9-A554-B3981BA1E18C","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":"be19db8345c72da0a6c5b893741c717022116d29","datavalue":{"value":{"amount":"+0.8107361793518066","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":"Q2873668$48F3F425-07A6-4C6C-B3E3-AFAE0CC7908F","rank":"normal"},{"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":"3830028cb730539cd2b2184ce8111025a785310c","datavalue":{"value":{"amount":"+0.8099474310874939","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":"Q2873668$41E88929-0CE7-4E9A-9C29-A60D677BA79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a221533aab40513f2bd012249dcece64517dee90","datavalue":{"value":{"entity-type":"item","numeric-id":2847816,"id":"Q2847816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9c0033dafa9fca2cc0cf5c16bdcec1f54d5a1e","datavalue":{"value":{"amount":"+0.7984542846679688","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":"Q2873668$648E8675-70DD-4A85-B57E-3DEDD993B55D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873668"}}}}}