{"entities":{"Q2864375":{"pageid":2875095,"ns":120,"title":"Item:Q2864375","lastrevid":51886592,"modified":"2026-01-20T11:42:34Z","type":"item","id":"Q2864375","labels":{"en":{"language":"en","value":"G-reactive systems as coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236385"}},"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":"Q2864375$C859F022-3BBE-46A5-8114-128D19F9C7C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97a620dd20dde89eb61894ea9068bbf24ea89c81","datavalue":{"value":"1277.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864375$5C79F503-1773-400A-A0E3-9A7D85346D30","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":"Q2864375$E97988D3-1DD7-46EE-96B0-D1F8A629BB42","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":"Q2864375$DE39766A-1679-4702-A07D-B4E89139B150","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":"Q2864375$CCAED886-85BB-401A-90BC-0048EF68D726","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864375$0BF1D51A-D18E-47BA-9176-3B23A54A0390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864375$5CA64CD9-9908-4703-B3FB-64FC68905D99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e77ade4fda38885cd45a5a4dfa346bff923a1983","datavalue":{"value":"6236385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864375$F243B747-0E0B-4FD1-98C9-68BD9803D7E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864375$79465919-4F78-41AA-A7FC-1A8AFE4FF097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864375$4690C59B-7E84-41DE-9DBD-02F38B5D693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864375$F629FE66-BEF5-4698-AAE6-FDB023CF6A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6137c3decb10cd2fe3f1348e6f24be17a80e4c0","datavalue":{"value":"universal coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864375$2645784F-F107-41B5-96E3-DF639AC873E2","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":"Q2864375$62D89ADD-C4C8-432F-A4B3-D00393039AF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d4aa83b183672d32aa15d385f4a701e5b3e17c0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.10.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864375$E3BE4389-0BE1-4BEB-9E36-DC0275347DCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9741515439ea80247c9331d1c0c0877d0750a3e","datavalue":{"value":"W2163424899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864375$21AB6BD6-A912-40F8-BEFE-FEAEC74F495B","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":"Q2864375$DDE46384-F1CF-4821-A01B-223EBA2F8A8C","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":"Q2864375$51CA5639-7F16-4538-9553-CAD5630FBF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799df2ee05c6fe69c20e713a532541f9db256186","datavalue":{"value":{"entity-type":"item","numeric-id":3541957,"id":"Q3541957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864375$B1048EB3-29C5-4C72-967D-EFB31321B40D","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":"Q2864375$2EB67C67-5E80-49F4-A39D-6603243F338B","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":"Q2864375$A84E66A2-1004-487A-A2F6-B6111B641D00","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":"Q2864375$829C2241-DC6D-43E8-A49B-3F36DBCE3533","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":"Q2864375$5B5E70B3-B724-41A0-AC12-C31C88F94BB5","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":"Q2864375$B027600E-C921-451E-9837-03E04D76926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a717f561241244767a3bb6c233d8ef5919f0cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3247612,"id":"Q3247612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864375$4FD318D1-AEED-4D8C-B63C-8F091B91BFF7","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":"Q2864375$06E63AA5-F844-42F1-B8E8-E7A9FD3CD793","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":"Q2864375$74D17870-047D-404C-B6E0-D4A98A212A29","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":"Q2864375$8F7497CD-050F-4D0F-87B0-9444BA41B28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1606983c14c21e015f86f65d56f124c9efce724","datavalue":{"value":{"entity-type":"item","numeric-id":1770420,"id":"Q1770420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864375$B8841875-EB1F-488D-8B11-FD860A769412","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b245e3789be06f3dc8ff28d22c9d4fb54653083c","datavalue":{"value":"10.1016/J.ENTCS.2008.10.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864375$A5C4813D-605F-4ABC-9B8F-A9F0709349C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6a9538d080c3b36bb41e596b44754c7500e80b","datavalue":{"value":{"text":"G-reactive systems as coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864375$87D303E5-0A61-4142-9D47-1FFB4E2171B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a54c58b326d1b2a988113e3094dac8c47c175ac","datavalue":{"value":{"entity-type":"item","numeric-id":2870200,"id":"Q2870200"},"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":"Q2864375$92922302-C60B-4906-94AD-100987DF14F9","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":"1fab6257d2b215efa2a896294c2b966ff8fc92bc","datavalue":{"value":{"amount":"+0.8534006476402283","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":"Q2864375$9389FF81-F99B-4BB6-B06C-8ED3DD7D2379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3df975cc953a06f3b0802a02307f01304a9d78f","datavalue":{"value":{"entity-type":"item","numeric-id":2888487,"id":"Q2888487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac7cd3e816d2970e54cf7cdea260ff44c88c54e","datavalue":{"value":{"amount":"+0.8033450245857239","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":"Q2864375$25FABF4D-723C-4571-9941-483C5FFC0605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93669e5d81f11047f46e6c5e573f3014b9b7238b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2f84e3345ede1d271e1db5b6c3533cc2847b1b","datavalue":{"value":{"amount":"+0.7987865805625916","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":"Q2864375$1180C624-728C-434A-BF07-309CE36C3D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac759e46c62015cd166e48e1bbe58e4551464f7c","datavalue":{"value":{"entity-type":"item","numeric-id":843097,"id":"Q843097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ab904cb55743a478a2de14d5d697f3cdaed192","datavalue":{"value":{"amount":"+0.7944458723068237","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":"Q2864375$0BD5B783-C0B4-4FCB-B067-DC47A1AE24FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864375"}}}}}