{"entities":{"Q2763651":{"pageid":2774390,"ns":120,"title":"Item:Q2763651","lastrevid":79217684,"modified":"2026-05-06T13:24:47Z","type":"item","id":"Q2763651","labels":{"en":{"language":"en","value":"Expressivity results in the modal logic of coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692912"}},"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":"Q2763651$5222DA9A-3282-4916-A90A-C71F8CB4163C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1870c8fde03a1a2b3cb357ac2ee767e24db6bc22","datavalue":{"value":"0979.03508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763651$A9EC222E-CA22-4F23-8933-8DD461BFA3C4","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":"Q2763651$B48FC887-920F-4039-BB66-EDAC89C83D7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da1e102b79cffd268b6f68feaae2005a6fba4d8e","datavalue":{"value":{"time":"+2002-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763651$5E374D81-B9A2-4A52-9821-ABE7E1D4D2CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763651$275257BF-CD4C-442A-B9B0-591DD593F020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763651$B9A4E6E9-431C-452F-B985-549A28A36CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763651$F408DF88-CA6C-45B0-B8B7-CA74EB7F42AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763651$E11FFEED-4BF1-4A4E-8DE9-E492302A0701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26b3bcec2d6f622df2eee7ec25c3b2709ecfa063","datavalue":{"value":"1692912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763651$E123C896-AEFE-45CB-950F-4989A9C3E25E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$BA785E27-7A69-4F9B-B91C-712F3F97D7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$8679F7B9-0CDD-4C62-9929-4F038DD0E2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$ACB8333A-CD3A-43D1-B158-EC8308ADA953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f81369d3738af6a4647f315a8e0254e01652a94","datavalue":{"value":"natural relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$E103FF32-5A4D-4F57-8146-6830BBEF723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3e7f1f83750b9bd80c7f7332eb0563ba016db0","datavalue":{"value":"predicate liftings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$D5D5AAF3-B8B1-4B6D-B3C3-2324DC75A141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$63FC371A-D372-49A3-BC5D-646EF72B8DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$F3CAE341-E0EB-4CF4-A14A-7E7101BB1578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4926b42b3e93af56d3ce7d634dcfa865c4a899","datavalue":{"value":"parameter transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$FDD70BD4-1630-49D8-AB6C-B18FE3300C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c711a3d8983630e0a8b322190df11c1d6708ccd0","datavalue":{"value":"cofibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$74706BB8-3862-49EC-95F7-873BF5B0ADD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763651$B7E2A322-2CD1-498A-9C86-6CF5741920F4","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":"Q2763651$5D1CC36B-2507-47E4-8CAC-C80511F642F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74cd5cc4eb4dee5814886c6d35bfb54d9793155e","datavalue":{"value":{"text":"Expressivity results in the modal logic of coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763651$BD3D3F79-2B95-4251-ABA3-114A55F85BF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressivity results in the modal logic of coalgebras","badges":[]}}}}}