{"entities":{"Q2842556":{"pageid":2853276,"ns":120,"title":"Item:Q2842556","lastrevid":83729753,"modified":"2026-05-07T10:15:52Z","type":"item","id":"Q2842556","labels":{"en":{"language":"en","value":"Definability, canonical models, compactness for finitary coalgebraic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198605"}},"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":"Q2842556$3A7D1C2E-4F77-4F34-BE14-6224C9BC431C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90abb77edbb9ee25e072b130ee98f6ad707df7a5","datavalue":{"value":"1270.03143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842556$3056E925-EE93-4D73-991A-052978A85221","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b4cd65ea93d79e1702388a25df70f1ed12e8d5e","datavalue":{"value":"10.1016/S1571-0661(04)80363-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842556$9AE5F671-5401-41DE-A1A5-1990EE42AA98","rank":"normal"}],"P16":[{"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":"Q2842556$AC77455F-9632-417F-A594-3E86441EB84D","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":"Q2842556$6F4BCB3D-88C8-41E0-A1F3-520AA3ED7F69","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":"Q2842556$8EE1D657-1BB0-422F-8EA1-4417340FD3FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842556$1EB566FC-5120-4D22-A6C4-510485975B62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842556$63A23AC7-B251-4847-ABDC-9EC835AD3DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842556$79F2C3CD-9E04-46C0-BE8C-483FBE9E53F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c1ccff3f4a30697efb71173b0e7f259cd0ef05a","datavalue":{"value":"6198605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842556$A9C5AF05-759C-4242-AB8F-701B6C508EA1","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":"Q2842556$4D719737-C69F-4751-86E1-26D89C91A8B9","rank":"normal"}],"P223":[{"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":"Q2842556$FBEE89C6-FADF-418D-8DD1-D14316CD1F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$C808DBE9-5C09-4E43-AA50-C2D554A3B9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$42FD6ACF-F4DF-48AA-B148-6FC104F1EFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$CAB935E7-A625-4D35-AA74-9FF170783C50","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":"Q2842556$D3D9831F-DDB4-46E2-AC9C-F22A1DEC098D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201cc6bcf0bea718c2cd517493f15cdc5a65520","datavalue":{"value":{"entity-type":"item","numeric-id":4405697,"id":"Q4405697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$235275DA-7899-4019-95B3-615941275790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$32060047-7CA3-4D98-8F90-E1FD6D76929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$77967AFE-2FAC-46AA-A579-B8C540AC789A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac18a0f2a80a0259bc88c065a25315b162988fc","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$FCC7B255-18C6-407B-B6CD-D49D589D036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d9cd1c759a2d55980db70224c9d9203b930a59","datavalue":{"value":{"entity-type":"item","numeric-id":4917041,"id":"Q4917041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$ED8A0A04-9920-4963-ACA2-8EFC8A53FC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$B77B5849-CFAC-482C-935B-2D820574B5ED","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":"Q2842556$CCF9B96C-15DF-49B3-8722-E7955CD9A4CC","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":"Q2842556$04586CB1-D1C3-4D87-9670-DE9ADD092EDF","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":"Q2842556$C799EED1-42E4-43EA-9D60-F5A43A3C70A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d33642f7547ec0544aeb75a907ab49c3e2e2b27","datavalue":{"value":{"entity-type":"item","numeric-id":4256314,"id":"Q4256314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$8069D85F-A384-42AE-A9BA-67976F3EDC24","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":"Q2842556$FC18B048-AE9E-41AE-8EF7-14F51D86B1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ce55b7ffeba230a297d32bd80c664aafc9d649","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$53946E46-8DC5-4E15-80CD-B4992585D42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$829E5082-C95C-4AA5-816E-57159F47CC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$3CD4FCDF-7D11-4AA5-A59D-7D5AE25E3E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25bf8c129f94f0a8916118afef76c15964c5317","datavalue":{"value":{"entity-type":"item","numeric-id":4499300,"id":"Q4499300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842556$273034EB-9E3F-402E-AEA6-D4C13E85E477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9da42e64325a643f2c2728363ecdc23392ea4bf1","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80363-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842556$F2E64038-5290-4481-BA98-A8EFE570E410","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8997e7890d34dab735470250c0625b808b79bb02","datavalue":{"value":"W2017288906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842556$EFFB6897-BFAA-46B0-8C97-D1C01B3F1C8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0991e3e2cdee1b3a3fe12c4fd8949879448a356e","datavalue":{"value":{"text":"Definability, canonical models, compactness for finitary coalgebraic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842556$9D9D4F7C-A3B0-4031-B674-9B0946E9EBBC","rank":"normal"}],"P1643":[{"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":"576276b5aecb27a5961f25ae3776e911ce698eb1","datavalue":{"value":{"amount":"+0.8546169400215149","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":"Q2842556$C7830F8F-F5A6-48E1-8EE9-64DEF12EBFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0575f9cc6e3c3a021aed09e640314a5252f3480","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4cb1038d27f88d8487f181855f8517104f08ce","datavalue":{"value":{"amount":"+0.8383507132530212","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":"Q2842556$B69C4C29-2020-4FAF-8011-1F7265119F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6898050158c68b6137f8551ea18d72cd0748ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94140bcc3d1f5efccd9e91d5a1b1abea65c246c1","datavalue":{"value":{"amount":"+0.8122842311859131","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":"Q2842556$A5E0B875-36FA-4E5D-A751-32C9606182AC","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":"ebd9f18a33b10f36e01d3cae7a76aebdd5f4290d","datavalue":{"value":{"amount":"+0.7995103597640991","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":"Q2842556$78129B92-9EA4-4AA1-BD79-3EAB0FCB71F5","rank":"normal"},{"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":"0d80cf3f4948b4720971897048703cabacc54ed2","datavalue":{"value":{"amount":"+0.7982041239738464","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":"Q2842556$F7180DC4-5576-45CC-A0CF-0E69A183CA14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability, canonical models, compactness for finitary coalgebraic modal logic","badges":[]}}}}}