{"entities":{"Q2942776":{"pageid":2953496,"ns":120,"title":"Item:Q2942776","lastrevid":79583177,"modified":"2026-05-06T14:15:33Z","type":"item","id":"Q2942776","labels":{"en":{"language":"en","value":"On coalgebras with internal moves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481070"}},"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":"Q2942776$0D11387A-50D0-424D-922A-4DF6F866F6D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"582790dd703b652dfc9a20d4f2f6a24dcb225635","datavalue":{"value":{"text":"On Coalgebras with Internal Moves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942776$1ED1F034-6C57-4AB5-B361-6346BE743109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a46eec08ed83e58e60506e840a241ed4adcf43da","datavalue":{"value":"1445.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$07FAA7C9-0DC9-44C8-AE08-E5B07D012719","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfb042774069dc55e03bf99f465070ac96425b88","datavalue":{"value":"10.1007/978-3-662-44124-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$4EF1B063-E93A-4A24-8EC4-DF623E7135EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e53d9c503aecdbbddb8e33b24fad81735f2bbc","datavalue":{"value":{"entity-type":"item","numeric-id":535112,"id":"Q535112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942776$4EFE2CDE-AF21-4CE7-B66E-CB1BC1949AB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942776$8197FD92-074E-4085-AC31-616DB2494506","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-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":"Q2942776$A4E1B697-CCF7-49C1-927E-9A628A989BBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e0d97d2b825d3411ab5ba7c0bfad2c81fd26903","datavalue":{"value":"https://arxiv.org/abs/1402.6281","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942776$444E972F-A575-48BC-AD01-7795020264E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$89EDF939-E110-4DFE-99C6-BAB1CFD60543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$09D72A8B-8C2C-4C32-A6D7-1CEB171AD214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$1CCECFB0-8692-45C5-A7CD-98810ED6151A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$3151BF00-6239-4B6A-96AC-1652E742C164","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"801fbe1ebdf5d2aa43bb50ab1c32f3c7a6295b48","datavalue":{"value":"6481070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$11498F86-BA29-4FD2-A52F-2A3A1B25FEF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$92C7BE6A-8BBE-4387-B5CA-1B803DA1A3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$E06153E0-2528-4F5C-A6F5-CCD731ADA41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86406fb9d081a45367ed6feb3f362e177b1dfe0","datavalue":{"value":"Conway operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$BC3CB140-1B12-4121-8128-EBB193F4643B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d896f8853f8cdcf38e6411fba73b36c265219f","datavalue":{"value":"epsilon transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$BDBB0D74-EE7D-4867-8DDB-3CE918C482E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2402c49a3ad74ec21b7e4e88e39845b8ed09a63","datavalue":{"value":"fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$32A09C1A-8291-4E6D-BC2A-1CC73A9E0A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1ffb6106e18af64cda150a9dcfea5010706779","datavalue":{"value":"internal transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$FFF53721-C4D8-4AD9-B21F-34E18E7D3116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$5C72034F-0770-4CF7-8AF6-80A21FBB018A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$646D87BE-14F2-4A6E-ACD9-1F75F4ECD441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$4372C248-E0E6-4842-A67A-5A0289CEDB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$813C5A90-F85D-40B0-99DE-D9C2DEC3A3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f9cac4818536e03dc73670485e1a132cc05b087","datavalue":{"value":"traced monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$31F3CA93-2CD7-4015-885B-A6E4E6BFF59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a5832f9557a740d1c0100065a91dd0068e878e4","datavalue":{"value":"uniform fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$BF630AEA-A486-4AC4-AD5F-1ABCA767D694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$9E3ACA5B-F0B1-42DE-98CB-82B5446F8F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93b7170f6c9ee6bc59e342239f6c6db577ba70c","datavalue":{"value":"weak trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$414E8AC2-EFD9-438B-91FA-649A16B69787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce930e8f7d63be1eb0560300885134fee24d5095","datavalue":{"value":"van Glabbeek spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942776$13BB0ED3-FB84-40E9-9DFD-437D5B6AF352","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":"Q2942776$05103B49-E5BC-4229-BCF8-25E371E277D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e21133ad091711229e21718f1cb105fc9a52d9a6","datavalue":{"value":"W2099514375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942776$2C12FDA8-D7BF-46AB-B184-F5B083FFADDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587700770f97314aea68c284cabec6b634547e","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c1a1b204101f646ad28f7e4d93ac41371571a6","datavalue":{"value":{"amount":"+0.8306117057800293","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":"Q2942776$69ECDE03-6C0C-4FD4-8E47-A1F0F8AB2BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76125c6acd499a76d920ef98de1c1bc63429769","datavalue":{"value":{"entity-type":"item","numeric-id":5009440,"id":"Q5009440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c16da3dad74f27c574fd7e8e8681e4e1e325ad3","datavalue":{"value":{"amount":"+0.8040573596954346","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":"Q2942776$85C18B45-F171-46E6-896E-D54B690AA562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5824922953a0cffddc4de0abd3851962b7b7de7","datavalue":{"value":{"entity-type":"item","numeric-id":890618,"id":"Q890618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37537dedb7f9cba5cd7ebef65ca67e1711aaad03","datavalue":{"value":{"amount":"+0.8016807436943054","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":"Q2942776$BF935517-3F65-48FC-9C6B-D9B077E69429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24a9e9ed39de44bdcc7248ea34b175533ad328","datavalue":{"value":{"entity-type":"item","numeric-id":4580201,"id":"Q4580201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74a61ee3ab7a9d16e2404e5c82777ca93843f9b","datavalue":{"value":{"amount":"+0.7902819514274597","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":"Q2942776$8D5CBB4D-2851-45C6-879D-2575ABCC59F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ae6a9775afd27d41cdfeaf61344334bda64b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4621137,"id":"Q4621137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0beaaae60b92e305cba7f90ec3a3e75c67b7e5db","datavalue":{"value":{"amount":"+0.7821152806282043","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":"Q2942776$452399E4-8AE7-4BBC-8371-3E6FD501B40C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On coalgebras with internal moves","badges":[]}}}}}