{"entities":{"Q2870200":{"pageid":2880920,"ns":120,"title":"Item:Q2870200","lastrevid":51906173,"modified":"2026-01-20T12:40:19Z","type":"item","id":"Q2870200","labels":{"en":{"language":"en","value":"A coalgebraic theory of reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247495"}},"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":"Q2870200$1CEA6107-95F3-489F-A4BB-111F1F91C54F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a4167c4ecd3d29949d019adaaf87e3f403c6721","datavalue":{"value":"1279.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870200$B52D7546-80F3-4B56-8879-EF20BB1F4B82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$1D9E7EB7-A089-4BB7-AD75-0E9AB559A7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$B19ED36A-13CD-43A6-BA2E-176DD4676514","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$CA75E13E-BBB3-47B3-A7ED-DE57C52287C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-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":"Q2870200$6C1FB753-AB90-4D76-9469-04B590E2265C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870200$0F58793F-4A16-4CDE-90E3-C3FD73ADCF33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6dd7ca853db816c5bb9ac5f199745f912ce42af","datavalue":{"value":"6247495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870200$52D2F351-6C5B-4656-B399-D0393D1970D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870200$2587DEAB-BA9E-4A05-BB9B-E0DECD5B1D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870200$646EB811-5DCE-4CE3-A8B0-F193A2D5E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870200$A0FCBB7D-695A-4678-9D9D-06F6A268070D","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":"Q2870200$3A17248E-D33D-4E66-AD2E-D141FF2EAF9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f02d35b17df674c000d1aa9d948fb76f6b5ac053","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870200$4013BEBC-5536-4DFF-A853-D3B847D196E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5645c70b5fb3378f701071bd18b20748772ba448","datavalue":{"value":"W2131255145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870200$EE92451D-5CB6-4DFA-B5A8-97E62D1DB5F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"597fc8cf4a2ee0678bc6861381274855a2c7ab33","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$FBAF74C7-FA5D-4B0D-AA3B-6E4F3D4F7A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab35f4a7d55ba33e39746dca3e29f44516746a","datavalue":{"value":{"entity-type":"item","numeric-id":2996148,"id":"Q2996148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$212EB56F-18F4-4305-B48E-04B8EBF4F2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$D7A76046-0BA8-4D8D-89E3-12F9B3C1EC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea7792b3040b5e27e1d9975214c531bf98aff1d","datavalue":{"value":{"entity-type":"item","numeric-id":2870200,"id":"Q2870200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$630B9B7D-A949-4E64-9B05-E3E40BF224FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f786aa111b6ea1e874472e8911623c345b4d21d","datavalue":{"value":{"entity-type":"item","numeric-id":4222948,"id":"Q4222948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$0B6A6DA3-E463-4467-8FA7-7FBF1F1D4E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c12d0a14a108925badd4fc4c2dbe21d1b38f98","datavalue":{"value":{"entity-type":"item","numeric-id":4256315,"id":"Q4256315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$69D600C6-0302-43FB-A6C3-3168A50A56DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfff74db467be74631f35fd5a680ed57b2d9c0a","datavalue":{"value":{"entity-type":"item","numeric-id":4934317,"id":"Q4934317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$0C095A89-1E43-4234-B88C-9A94598CA6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f2bffc3ac1cf4bbbc7bfad8abe5d9371f2b980","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$1F2603B1-11B5-41DD-9DC3-8F9555B6E5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b0fff040e8abdd791ffbcc9c1bf14e03848eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5492811,"id":"Q5492811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$5C6BF017-CCD4-41C1-8A5D-6981DB472AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$7DAF6FDD-71A9-4471-B091-AB18DF3949F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3975b36ca6c71e5d04d124129914ac8a1057a5c","datavalue":{"value":{"entity-type":"item","numeric-id":4791828,"id":"Q4791828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$B1AFA9B5-2A92-424A-83F1-3F812E46E606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$91DC9FCC-CB33-4479-865D-3CE690C1951F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870200$AECA675D-C475-4B1A-8F02-46FB85F24587","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"841424d48525c50bcd29eb90bac83cf5590d02c7","datavalue":{"value":"10.1016/J.ENTCS.2009.02.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870200$54C19021-D22E-480C-95F8-4526D983DA75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9484c26cd4c6d8cb0dafc4b1616c20f2a1cb3af7","datavalue":{"value":{"text":"A coalgebraic theory of reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870200$324700AD-BF0A-4B81-8273-3B339B71BB39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ba55166e32526c209051ca36da614884fcc62c","datavalue":{"value":{"entity-type":"item","numeric-id":2864375,"id":"Q2864375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b831674645ffd3a46376400202cb70b597a077","datavalue":{"value":{"amount":"+0.8871293663978577","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":"Q2870200$845DB108-4874-422C-BCFA-78A30412B27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e761fc3f825628a6cbf95eefbb3b4edf572e3ef","datavalue":{"value":{"entity-type":"item","numeric-id":3525649,"id":"Q3525649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cf06c6bcc44804c695ae7c29ae6dc2a2e585a0","datavalue":{"value":{"amount":"+0.8589461445808411","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":"Q2870200$D7FEB277-1D88-4CF2-9B58-164FC8B9951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a464af9d0a75eab232264b9bc71a3cb17f6591","datavalue":{"value":{"entity-type":"item","numeric-id":2888486,"id":"Q2888486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181901b58d7b31b4249af76aba62751ef7f446b7","datavalue":{"value":{"amount":"+0.8176274299621582","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":"Q2870200$3E235AB2-A94D-4E7E-9A69-C7C6BB80F209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59808b80c1e43974d84e7c9ff60c152bece8487d","datavalue":{"value":{"amount":"+0.8027649521827698","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":"Q2870200$CF703A12-5BA3-43CC-B15A-4218C5978084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d5f90613ff61749d2f543c0673298447206729","datavalue":{"value":{"entity-type":"item","numeric-id":5941158,"id":"Q5941158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de982d3ff54119fb5869fd3b9f724e4de320a11c","datavalue":{"value":{"amount":"+0.8006254434585571","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":"Q2870200$750118CF-6E4B-41E6-BA32-462C0162ED4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870200"}}}}}