{"entities":{"Q4910420":{"pageid":6939999,"ns":120,"title":"Item:Q4910420","lastrevid":91597019,"modified":"2026-06-04T23:34:50Z","type":"item","id":"Q4910420","labels":{"en":{"language":"en","value":"Some Sahlqvist Completeness Results for Coalgebraic Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145834"}},"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":"Q4910420$D5CB03D0-64C4-450A-AEAA-7B4F71BF6EE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bfec2500fe9491afe46c2c7a7591dcf6b02a753","datavalue":{"value":{"text":"Some Sahlqvist Completeness Results for Coalgebraic Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910420$85B28B33-3D33-4610-94A5-2A4BC70FB4C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6aabf7ed25cfaea85be9199734846a670dc959d1","datavalue":{"value":"1260.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910420$687A024A-D6D9-4878-B891-78C73C40CC87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c091c63557b360a2cdf0c5ed3e5f77041ed37d5","datavalue":{"value":"10.1007/978-3-642-37075-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910420$540BE648-5C51-40A7-8D0A-1151FF5BCDD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fda21a604a1f1183f6508ba31d02f715ce23f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1623127,"id":"Q1623127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910420$FFA8CFFD-5E74-4A10-AA9F-56FF00942474","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":"Q4910420$D4F9B9F6-52A9-4739-9610-276B8CD47754","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910420$AA4E3DA9-58A0-445D-B549-25629046857E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910420$1403A37E-A148-4E59-8AB3-D81E600AB80D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910420$084A07F9-AD28-40C0-9241-A9BF0513A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910420$65296156-8EA2-40E9-B481-BBB559E63E37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69b1d3f2c559d065a06a6330bde5d74cb8fd1b92","datavalue":{"value":"6145834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910420$18BA18A6-24A5-418C-892B-6C25AF653AC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910420$2100FC7B-E1BB-4C41-BBBA-7B1CA74A3144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c262983b439db0e698e56e398a603fa1ac2aa26e","datavalue":{"value":"coalgebraic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910420$178AAD7C-FB43-4431-B64E-5849E395D3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910420$60C426E8-A81E-47F9-8732-97EFCC0F4C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910420$00523B68-ED4A-4A29-8A90-54946C682565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bc784fa2a0fac98549606e6d22b349215e22ef","datavalue":{"value":"Sahlqvist formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910420$ABF14CED-7C8D-4B46-8EBB-BF99F58D45F3","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":"Q4910420$DFBF59F0-34A8-4D4D-804D-EB2D7F7FB1B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1fc1e4a0cb91d67fd4fb5d6d5b4227585c97b85","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37075-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910420$3F277B93-ACE9-42E3-9D85-299153601626","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afda3874b24b977bc71b8089bad3ad14129d0a90","datavalue":{"value":"W1601815786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910420$CE1FADCB-BC39-4128-9D37-D5F15338B5B0","rank":"normal"}],"P1643":[{"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":"411d2c4df7b2ffb1d76ae8685d630aa3d9357ca3","datavalue":{"value":{"amount":"+0.94269174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$C2A6DF7B-905E-44D1-99DC-AD91C6A59C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430c04ac401ad0b968f18c20823aaeae21710acc","datavalue":{"value":{"amount":"+0.9312211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$4274D501-6F14-41CB-A811-F75E91973BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceec0d2118eb9401450fdcd74bbcf9e66a1449a9","datavalue":{"value":{"entity-type":"item","numeric-id":5390017,"id":"Q5390017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2e208ff556763fcf891766dfcf9ee5a276dd77","datavalue":{"value":{"amount":"+0.930166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$74DCD45A-C0C3-4FEF-BAF2-9D34BA2BB765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab233438d0829b45e6681e18f385b5fbce73ec0","datavalue":{"value":{"entity-type":"item","numeric-id":2843724,"id":"Q2843724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9253e0c12fc037c8e8e877ce0a9818eee8ebfeae","datavalue":{"value":{"amount":"+0.9163803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$66631FDA-9490-48D0-AA34-44108106E3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e60949f2cfcbaff4d9567d9b620910d42e2aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4914523,"id":"Q4914523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22df74b4dce9db93190592b47d4785cd20df3e7a","datavalue":{"value":{"amount":"+0.9121053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$E0BDB398-AE87-49CB-8B8A-AD09030AEAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426a47afc49b1c6edd7bfe7eb047dcc515775e2b","datavalue":{"value":{"entity-type":"item","numeric-id":703520,"id":"Q703520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b522ec69a21bf874ee9dde5d4b429c849dbf53","datavalue":{"value":{"amount":"+0.9119872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$7B7D9242-82BD-4842-A6F2-8D83BB58FC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24300fa79427c2e0c21f0a01d30fc279f59ba402","datavalue":{"value":{"amount":"+0.91090316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$AA82A15C-C72D-4506-9A4A-7D85BF651E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0236726feff592b9a314898593175d227081cca5","datavalue":{"value":{"entity-type":"item","numeric-id":2409626,"id":"Q2409626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97527d21b463eb3daf4679b4c21858e07888ec8f","datavalue":{"value":{"amount":"+0.9080262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$58F2B550-709D-4F58-AD01-EC1A21D42724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9271f3ed2dd88ca444b08be6f941aa5d79de17c","datavalue":{"value":{"entity-type":"item","numeric-id":5739456,"id":"Q5739456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e0b8e805d9b81d4b008de0bed037d91a3ca5f3","datavalue":{"value":{"amount":"+0.9079248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910420$715C5852-3907-4FDD-BC78-79DC99EBF20F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some Sahlqvist Completeness Results for Coalgebraic Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_Sahlqvist_Completeness_Results_for_Coalgebraic_Logics"}}}}}