{"entities":{"Q3056299":{"pageid":3067015,"ns":120,"title":"Item:Q3056299","lastrevid":79994849,"modified":"2026-05-06T15:11:51Z","type":"item","id":"Q3056299","labels":{"en":{"language":"en","value":"A note on expressive coalgebraic logics for finitary set functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815211"}},"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":"Q3056299$6D9FC9DA-1A03-4E5E-9F72-3ECF865C9FDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f211568ce3398aabb5f73af1c755580846e071dd","datavalue":{"value":{"text":"A Note on Expressive Coalgebraic Logics for Finitary Set Functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056299$5D8B12D2-F13D-49B1-8CA7-D053391A0FD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9264eb2a26272330a2b0f99cecab4db66556087","datavalue":{"value":"1205.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056299$3CA26487-C4C3-458E-8A7E-47D8D74B9C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056299$D3860D84-4F79-4699-948E-7F6A7250D128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3056299$D10E4054-794A-4B77-8A11-9FFA538F2F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056299$15218D37-6E75-4C26-9DB5-C74BA5AD1C20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87778870f59c78e1197d30850fd34ecb24dadf87","datavalue":{"value":"5815211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056299$62C95EDE-2FA9-46E9-A559-2792FB663B6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f7fc1093451f2e62a72bbc1c2e271450e9df76","datavalue":{"value":"coalgebric logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056299$4912EDD1-26B0-4E7A-9962-049F26798047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7a081ef2efe605c463b043f2b00eb1606ddf7c","datavalue":{"value":"finitary set functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056299$06EE7B6B-F98A-4AED-B2F0-837D21EE2442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056299$49E06707-305B-4684-A0D5-5928F0135CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7285cf425b18f3789e529071e9128487da3034e7","datavalue":{"value":"strong expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056299$6434F276-F47F-4A58-B7A3-28DC9B948EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f141db866c0409d400adb38dc458444ee92b40d5","datavalue":{"value":"predicate lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056299$37AB82BE-A95B-4DA7-A255-480A6BDDB58F","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":"Q3056299$6A97D760-DEEA-49CE-A2F5-B4BC47243E24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a816ce56d1bb707217060bcadac1c78b1efbd29","datavalue":{"value":"https://doi.org/10.1093/logcom/exn095","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056299$F07F6C2E-B5B7-4C2F-A958-97B2D8F91A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28e13f33798c8444814efd6af32f9392854adcd2","datavalue":{"value":"W2013106107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056299$0030C362-E0DB-48C9-8551-7C386BE6720D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e26389cdd1822295bfbb8e8e81c9895fc56a157","datavalue":{"value":"10.1093/LOGCOM/EXN095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056299$2F053B9F-441E-481F-A970-10A37FE27482","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056299$3D971B39-96AC-40BA-96A7-4B2A21525CF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e474e20f3090f8a7a58b8f847bd7d09b43014429","datavalue":{"value":{"amount":"+0.8431349396705627","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":"Q3056299$B65F0D11-A760-452A-9E28-B49FD00ADB27","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":"e474e20f3090f8a7a58b8f847bd7d09b43014429","datavalue":{"value":{"amount":"+0.8431349396705627","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":"Q3056299$270130D5-6064-426A-A1F4-D40F18015884","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":"c403f7662965e12e254d2e670153c73ccf26a6b6","datavalue":{"value":{"amount":"+0.8385629057884216","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":"Q3056299$8AAAE9C7-1065-4E5A-B621-DC1A742AFAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d93f448ef6e6ef449605194d5dc8febcb70a201","datavalue":{"value":{"entity-type":"item","numeric-id":2576941,"id":"Q2576941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"793262624d5aef6ddc1144f46e817fbbdd004c22","datavalue":{"value":{"amount":"+0.8340858221054077","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":"Q3056299$8AF739F6-7590-4A07-9922-003E32C31B4E","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":"8361a6b5f4cd737d2f54bf6ed719f9bc3f42b57c","datavalue":{"value":{"amount":"+0.825849175453186","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":"Q3056299$71329082-8D90-42DC-BF2D-785D88B9CFB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on expressive coalgebraic logics for finitary set functors","badges":[]}}}}}