{"entities":{"Q2914687":{"pageid":2925407,"ns":120,"title":"Item:Q2914687","lastrevid":51557999,"modified":"2026-01-18T18:56:25Z","type":"item","id":"Q2914687","labels":{"en":{"language":"en","value":"Internal models for coalgebraic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084441"}},"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":"Q2914687$43895309-9278-467B-8297-3CED0A0D31D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c509a3107b488925f57966ee59c584b9444360ca","datavalue":{"value":{"text":"Internal Models for Coalgebraic Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914687$A56FA630-56F6-4CD3-BFC2-F6BCE8384F4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba72870aa007d8b500723945b3b931fdc7bca786","datavalue":{"value":"1328.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914687$D9960FED-81B3-49B4-8184-66E211153D6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bfd0a91fcbcef5be00e5bb6a1c83ee30cf62b8e","datavalue":{"value":"10.1007/978-3-642-32784-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914687$B7289B2B-3919-4444-9767-D8094A1B0C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2b6edef7bd3ae86efcd924cf74a83dca582172","datavalue":{"value":{"entity-type":"item","numeric-id":2914686,"id":"Q2914686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914687$5FE6D5F8-0ED9-42B1-AE92-517DF658F0BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38ed45f081b5272f43b89960828e8f9aaf31a28f","datavalue":{"value":{"entity-type":"item","numeric-id":2914672,"id":"Q2914672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914687$AD14768F-DECA-4968-B9A1-756C8EF2455A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914687$CF9DDB12-D408-42E8-B64E-362C0F26D0E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914687$FC9F233C-BEFA-4418-B621-F7FC347BE168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914687$6E0A8A1A-51E8-4BC8-A9BB-E4213FF111FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d336993a716fc7851ec9a827d64bd5968a500c1","datavalue":{"value":"6084441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914687$6FDB6DB2-D931-462B-907D-A0FEEF0477D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914687$0A36FB46-6235-4E14-9B5A-67CAD928A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914687$7B2388BA-02BA-477C-9120-04D36999469B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b695ccd87e8b52a27d731f697d29b19bce46e691","datavalue":{"value":"dual adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914687$C665C6F5-2520-4EC0-9D7C-8C43C6BBADAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914687$F4EF74F5-AD9C-44E9-BA79-0935ED02C179","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":"Q2914687$A9CA2614-F8C5-4AE3-A22B-9DBF2207CDA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbef75d2265b989de3009c3e31cca5f7b88cefef","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32784-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914687$348AE789-89CC-4F09-878A-C0B8902C5CE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"753abbb24e767d191083d1b765a807f6d33673fa","datavalue":{"value":"W2098448721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914687$ADA7C9B8-DC49-4CCB-BEDD-1D435325A17E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa03e28f01ed7263fd28122908318a232230605f","datavalue":{"value":{"entity-type":"item","numeric-id":3178292,"id":"Q3178292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fbfba39200cfe6e89e6d26ebc0b895e2a86d75","datavalue":{"value":{"amount":"+0.7966054677963257","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":"Q2914687$4EC3256B-9C44-42C2-ADBA-A2ACDD812DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd272f34e3359ea08563c048e01cbc9d55be358","datavalue":{"value":{"entity-type":"item","numeric-id":283748,"id":"Q283748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9e5b5e711eb16c391a6722192f4d14bf9fcff0","datavalue":{"value":{"amount":"+0.7764002084732056","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":"Q2914687$2C444749-37ED-4117-87AB-C3E5B0967501","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":"67704a2854eff2a68ef31f4c96562f4627935167","datavalue":{"value":{"amount":"+0.7734683156013489","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":"Q2914687$4E01DF0C-3A5C-40F1-8B80-811B157B3808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98d8fe7d6f21406139535289be1751fc67b7f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4499308,"id":"Q4499308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547f5a269adb4967d1b2249a1bb00807b328fc29","datavalue":{"value":{"amount":"+0.7724086046218872","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":"Q2914687$6C0A95E0-BA56-4A46-A3A5-ACB2D5F2D92F","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":"323d6aef4b7c4a30b11bb99fbd3773863e4e468f","datavalue":{"value":{"amount":"+0.7707761526107788","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":"Q2914687$F366747C-E8DB-4065-90CD-5665F15F1D48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914687"}}}}}