{"entities":{"Q2904060":{"pageid":2914785,"ns":120,"title":"Item:Q2904060","lastrevid":84991586,"modified":"2026-06-03T05:28:01Z","type":"item","id":"Q2904060","labels":{"en":{"language":"en","value":"Coalgebraic Lindstr\u00f6m theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063270"}},"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":"Q2904060$2F4CD93E-AEF7-46B4-953D-B8176DA4F86E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"997d0c28bdda637f4b199f8ced793e4cf6a309e3","datavalue":{"value":"1254.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904060$10DA601C-6171-4065-8702-7289F4DA13CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904060$D85D956F-99BC-4046-8395-88191F6E2EB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904060$E3F551AC-C507-442A-8225-A2B12CF34AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904060$ED7DAA57-7E7B-44D5-81BA-724656C76301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cde159853e4b701a1064bd723d2d4f3ad262b722","datavalue":{"value":"6063270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904060$33AC6861-0CFB-4CF9-A7AB-26FF39400CFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf27b6e7b72a61e367a54b87ef15419606d20968","datavalue":{"value":"Lindstr\u00f6m theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904060$255EF7C4-456A-4749-A27F-324B68F86856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904060$D086AF39-824D-4C71-8C3E-06AA31F84748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf200f42ee767590ef5a5488fe98149520d41f1","datavalue":{"value":"bisimulation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904060$A8FA3134-F22B-4A12-9844-99F5B13753D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904060$9A5C3CF7-FA21-4B51-A10F-2EECD1336731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904060$1019021A-96A1-4C6D-A623-DC6342DD60BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904060$D3297370-B7FC-41DF-91BD-574E57B9FDA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904060$D2795BBC-507A-455D-9BD0-45B2EFA56962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904060$741D774F-CB87-4DBC-9C19-C791EB52D0E1","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":"Q2904060$BDD176B8-52FB-4348-9868-DA4A5F2E9D7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4d90c0e3a89294d1398b74c27af01ac6c9942be","datavalue":{"value":{"text":"Coalgebraic Lindstr\u00f6m theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904060$FD1C397C-DEC1-4F79-BA23-0541DF0D60B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f883e8b0b365f1d575b240e5e87da27af5726dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2957957,"id":"Q2957957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62ff1e6ab6390e83fc119e9d2885b3b584e213a","datavalue":{"value":{"amount":"+0.904129445552826","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":"Q2904060$E94D8CFF-FA84-44DB-A304-BF314832C81F","rank":"normal"},{"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":"3be05744b69c920457be4d7aa243378ffccf531d","datavalue":{"value":{"amount":"+0.803669273853302","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":"Q2904060$6E59D218-2D4F-4346-B53D-8985837DFFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a596d34a8ec5a4e27e7098bc350b4ab8b233aa","datavalue":{"value":{"entity-type":"item","numeric-id":2983396,"id":"Q2983396"},"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":"Q2904060$F54B0B4B-29DB-4C93-8919-10C6BDCA3D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cc8432a0588f8acb893858a59cba91ace6a4a2","datavalue":{"value":{"amount":"+0.7870299220085144","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":"Q2904060$F909D4C3-0BE2-48ED-A764-1858D8A4CA58","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":"64cc8432a0588f8acb893858a59cba91ace6a4a2","datavalue":{"value":{"amount":"+0.7870299220085144","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":"Q2904060$7F3EC596-7C99-45F1-8F16-AF45265E5615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic Lindstr\u00f6m theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebraic_Lindstr%C3%B6m_theorems"}}}}}