{"entities":{"Q3056300":{"pageid":3067016,"ns":120,"title":"Item:Q3056300","lastrevid":79994858,"modified":"2026-05-06T15:11:51Z","type":"item","id":"Q3056300","labels":{"en":{"language":"en","value":"Rank-1 modal logics are coalgebraic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815212"}},"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":"Q3056300$BAB01466-61B4-4F91-8E46-173FBC8FF924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d47052381c80d5c177a47b58e66de4711e8450f","datavalue":{"value":{"text":"Rank-1 Modal Logics are Coalgebraic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056300$08D26480-9A23-47DB-8873-BFB390C55CED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03c4094e79d7a4adc70e309edf82eed7d2c02ebe","datavalue":{"value":"1266.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056300$56760C4F-D4F4-41FC-8669-119CEEF06963","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056300$5E1E18BA-B222-477E-9B8A-E014AC8DA0D3","rank":"normal"},{"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":"Q3056300$E218FD97-56C9-4998-81D9-CC93802B8416","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":"Q3056300$04EF5C96-F616-4580-A433-CA7B58B34195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056300$AF3EDE06-4C9F-4285-9784-D2457B28A65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056300$C6FB1A2D-92E9-46F8-975A-7DB008CA39EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f137299306a110f4d980313b68e5931b2040bcc9","datavalue":{"value":"5815212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056300$A3A1C9FF-C227-4179-B95A-BB92075481E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056300$08079942-B39D-48A9-8A57-43280EBBB84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056300$EAC1D1EE-217A-48C2-A7EE-A88FB6C7C40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b92727e01225e223fff5bf508808d4c38c4687","datavalue":{"value":"neighbourhood frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056300$C63B264F-C2F4-4A87-BA17-50FC5AA65C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056300$DBCF91A6-CCC4-493A-84FE-5E209CEC758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056300$B8334782-6346-4537-9072-28B6C8475F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523eb4dee4e0de4d796d9cbea25be1afad3f8a00","datavalue":{"value":"coalgebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056300$D80A798D-37DD-4AF2-B9AD-EAF54FE91770","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":"Q3056300$6DBDBB45-2CAE-4FEB-8DEF-D6552D00840A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"991bbffbf74b025f943f3d777ac12cb2952a985c","datavalue":{"value":"https://doi.org/10.1093/logcom/exn096","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056300$9A85EAD5-7852-40AE-9EC0-F3D2CD1358EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21522ad189c475b8358b98be8684f22aeb45e677","datavalue":{"value":"W2077519384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056300$9281D59A-2E44-4E37-9B7F-E6547D896768","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da9adb1f00db722a5998e6a066a792a73eaa612c","datavalue":{"value":"10.1093/LOGCOM/EXN096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056300$3003E96F-F432-4B0C-8123-D798E0540365","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":"Q3056300$FFC94783-3F68-4E7B-BA18-1C1A615DC86A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e2ec38205e58314e58e5ce729835ba236d7e00","datavalue":{"value":{"entity-type":"item","numeric-id":3590964,"id":"Q3590964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd5f2329c54686c9622aeed53e1c4df3c3f9942","datavalue":{"value":{"amount":"+0.9777902960777284","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":"Q3056300$5A257CF3-CA89-453A-BA3E-FDF1636A5B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84652b5adbccdf2040d1631b14b2c837b2ce1e65","datavalue":{"value":{"entity-type":"item","numeric-id":5458351,"id":"Q5458351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d6f7dde602cbda00623688336216ccda802da5","datavalue":{"value":{"amount":"+0.8628807067871094","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":"Q3056300$0CB7ADF1-1D46-4A84-8231-21B990DC6C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734d48f8b8cf90d10e9e054ec680c1b7ee9433d","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c104d4ac429a7894c50eeeffe7a9f37109008cc2","datavalue":{"value":{"amount":"+0.8244217038154602","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":"Q3056300$2A7B1DF4-1025-44F1-B945-A46214447FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7e3ce2b29770d433476af7b8a7c2e3824f06ec","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acea5f17ecaad06e1cefa23b4428df8b90748d5","datavalue":{"value":{"amount":"+0.8229918479919434","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":"Q3056300$195DC5E0-6369-4756-BE43-09F993640616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea9b0642cba0444c3791717a878cf34de41f228","datavalue":{"value":{"entity-type":"item","numeric-id":5899086,"id":"Q5899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3723d58873bc9aad09e7b15e2d697adf68c64002","datavalue":{"value":{"amount":"+0.8215258121490479","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":"Q3056300$3C03E95F-EBDC-4A2C-9244-D7E26BAAE4A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rank-1 modal logics are coalgebraic","badges":[]}}}}}