{"entities":{"Q2983396":{"pageid":2994121,"ns":120,"title":"Item:Q2983396","lastrevid":52805252,"modified":"2026-01-23T13:20:00Z","type":"item","id":"Q2983396","labels":{"en":{"language":"en","value":"A van Benthem/Rosen theorem for coalgebraic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718437"}},"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":"Q2983396$838564BA-D074-442D-989C-A5566A09A6F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6141fd872be93620cfcead6c4216b7e97945514d","datavalue":{"value":{"text":"A Van Benthem/Rosen theorem for coalgebraic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983396$0F5B393B-BC9B-4A98-8C8E-D6B355B89E36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcb44c2efeb0fedae95e5bc2b310cb76ea863aef","datavalue":{"value":"1388.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983396$6E02A8E6-10F5-47EC-A091-2B3B5809911E","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":"Q2983396$F7F27F9B-B0E1-46C5-BBB9-41C61C8C791E","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":"Q2983396$2F7ADF27-9986-431F-B9EE-B3BD90C49CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983396$0B66B5ED-62F5-46D6-B407-5D1D91D1C4B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2983396$4E4FA630-4FC6-4EA1-8F51-257162CC1C47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a705492eb38f9ebe97aaaf5f1e2cd7aaef5bebb7","datavalue":{"value":"https://semanticscholar.org/paper/9589685f4dfa3af2f0d1dce6d094ddf987716d1d","type":"string"},"datatype":"url"},"type":"statement","id":"Q2983396$41BBA755-C389-46E7-BA58-05AF31114D55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983396$13FEA551-D57B-4B54-AB02-A0639FEB0575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983396$32E51521-E2C8-4C20-BE16-9E63C774980D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e458fddb4ab38db5c8b6a0b2a39ddc288242b6a1","datavalue":{"value":"6718437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983396$FB8890B9-FD3C-42F7-964A-219AE0FCD3FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983396$8E648E0F-F064-4273-AA64-33A60A223302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983396$AFF1FD64-6CB5-47C1-A71F-054FDF191F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983396$D5BF48C0-40E9-4CD4-966C-D7E5507F28C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf200f42ee767590ef5a5488fe98149520d41f1","datavalue":{"value":"bisimulation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983396$9722794D-8DF9-43F9-B7B9-5C713D669848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f151fac8deea4a1244fa65b67e2c75c9c5fd304","datavalue":{"value":"Gaifman locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983396$934B3C3A-B866-41D4-895F-F3F69A63B1C5","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":"Q2983396$3D159E79-171D-4725-B034-50C824FE65C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"244b2cbfd71af7395eef815e94a04e90f432cee1","datavalue":{"value":"W2337715273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983396$F54871F8-327D-4310-872B-5AB4035EB39C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a61ca63398d0465c44f18c943b68737c4126e56f","datavalue":{"value":"10.1093/LOGCOM/EXV043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983396$36B03D9D-E6D3-455E-89FF-573F7268F03D","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":"Q2983396$1B1CF8A1-77C6-427B-9CE6-4089405DA87B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7b8496f9ca73c6ac516cf1a9390057873dd72e","datavalue":{"value":{"entity-type":"item","numeric-id":5249665,"id":"Q5249665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea8fea211c4c716899fa10f954f56c5fd54892b","datavalue":{"value":{"amount":"+0.8303713202476501","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":"Q2983396$ACB2B4F5-3419-47BE-9E31-366AB4167604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0e9cc3b3b4b2948eddef05edc7e8430090be46","datavalue":{"value":{"entity-type":"item","numeric-id":2904060,"id":"Q2904060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c562ea42543b3c2d9008dd317ae8adf2350128f4","datavalue":{"value":{"amount":"+0.8032412528991699","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":"Q2983396$C1BDA49B-D136-4FAD-8B6B-80DF7EF2DB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e6546314dc58bd97d1a309ceb654ad3e8d5bef","datavalue":{"value":{"entity-type":"item","numeric-id":3557860,"id":"Q3557860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de79c5a797b83ebf184d3deab8b162625b6b093d","datavalue":{"value":{"amount":"+0.8016085028648376","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":"Q2983396$F1CDE5BF-977C-40D1-883E-0EE9F1A3DCC2","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":"c2010fea11403be72f513a5fe91e4eda8717898d","datavalue":{"value":{"amount":"+0.7846365571022034","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":"Q2983396$FD0BB4A4-6722-4155-A708-E9E05A96F110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7847e1d32ffa0a281ff8719fbf8246c6dd135e43","datavalue":{"value":{"entity-type":"item","numeric-id":3167020,"id":"Q3167020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa550bdd0a448a3daf845ba5ab21210600bb773","datavalue":{"value":{"amount":"+0.7788646817207336","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":"Q2983396$914F734D-0B28-4CB1-B48D-FF1F4D1D910C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2983396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2983396"}}}}}