{"entities":{"Q2919457":{"pageid":2930177,"ns":120,"title":"Item:Q2919457","lastrevid":42499494,"modified":"2025-06-30T13:53:17Z","type":"item","id":"Q2919457","labels":{"en":{"language":"en","value":"Coinduction in concurrent timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6089947"}},"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":"Q2919457$989CAC92-2051-4147-AE33-A371873F7D73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97eec584985ec3a4986ae2594e31262631aaada9","datavalue":{"value":"1247.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919457$96A7930A-0D9F-4A0B-B6D9-D1A8F2199032","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"738edd163335569721a9e8de1ede37885f0b38cf","datavalue":{"value":{"entity-type":"item","numeric-id":172787,"id":"Q172787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$ADAA1604-F7B9-4CB4-98BC-75FA00C4DDF7","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":"Q2919457$82FCD582-B1B4-4566-AB04-091F4B8B0866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2b18871b9dfe4cee59e4785688f95ef52679714","datavalue":{"value":{"time":"+2012-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2919457$8842AD46-A393-4A60-A3A1-EDBDE68861F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919457$3D6F8934-5D81-45DE-A7F7-E9683BA78FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919457$0F1B51CF-CC2C-4411-B285-F36DE62C3D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee639987d8bdab4639e5c56553ea18e5e653b19d","datavalue":{"value":"6089947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919457$76D74F0B-A6DB-440A-BC62-9551A3006742","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4db4e43f6c16e1de93a18084790345a158c365","datavalue":{"value":"deterministic weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919457$3B7F43BB-1D10-4D89-90DE-CF46AF63F163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f9cc1f5ba0f2bec287498f43d766f7d2511c5","datavalue":{"value":"Mealy automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919457$B867A498-D871-470F-85CB-516260FC5B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919457$61A03A79-1823-493D-8A32-15F740CC3685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f874427919faced979f3c075256fd0f6f8fbbde","datavalue":{"value":"synchronous product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919457$04383D5A-ED59-44E5-A2AA-0B0821349788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919457$64CFD2EE-375F-4B83-A786-BAE6158B9FC8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$CEBA72A1-6C36-4060-80E9-4775A742A5AE","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":"Q2919457$BF92AEA7-EF56-4538-AE89-95B2544FDDCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c703f50d7585b8ce530a961496f3d307a67daad","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.07.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2919457$FF7E5BB2-8414-4B1A-9F64-8272E1080366","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b35e70395b958cff11b8a8bc207dae54dead3f9","datavalue":{"value":"W1989058138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919457$09DF3F06-6A35-40B4-A33E-35A122FDC54F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bce1a7ceb1967228e25608378a9762e7bba2b4","datavalue":{"value":{"entity-type":"item","numeric-id":1434346,"id":"Q1434346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$315E433E-F184-4217-8E47-6FEF533FCEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$9B45DDCF-A5FB-4BA8-A62A-C5D1F1B6E87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$DD5ECF7E-3B18-48A0-8384-0B3C4E5EE6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3cdd0c42514260191fba985ec6319f6b7d7e932","datavalue":{"value":{"entity-type":"item","numeric-id":4449536,"id":"Q4449536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$E7584F18-CE1C-494A-8D69-43342CBADAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$01618EB9-0991-4FB7-ADD0-C9286F6A7037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857bb115f1fabd3d4ba4bf7d038c055cf734c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1847544,"id":"Q1847544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$B9D8F707-3351-41E0-BF04-6823FA8D8783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$FB4B6BEC-44C2-4F73-996D-7505F1E1BCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2839c1b09b89d3dab4edc740e274b7fcb6bae27","datavalue":{"value":{"entity-type":"item","numeric-id":4875977,"id":"Q4875977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$584E5B01-1D71-4F89-8741-D75F7C43F1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99475709ee4f1ffa75f1adb92d7c49c09dee59b4","datavalue":{"value":{"entity-type":"item","numeric-id":4506745,"id":"Q4506745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$7872B36E-28E7-4662-9AFC-70BDEC3E3C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d82421311e767e905d83894f962643ad89dd44","datavalue":{"value":{"entity-type":"item","numeric-id":4974146,"id":"Q4974146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$0737AD36-3FCC-44C4-B105-A51EF64B3E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3421056fcaa1a73c4defbe0d385cba62ebc04c73","datavalue":{"value":{"entity-type":"item","numeric-id":843993,"id":"Q843993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$5C555674-9AD9-4D45-8E5E-0DDD93636DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f4d37d53db2925f92864a11c01a61286cd723c","datavalue":{"value":{"entity-type":"item","numeric-id":4316608,"id":"Q4316608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$93B52141-8D2D-4DA9-B5E1-771B58DFC2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c917bd13be2452c7bf8e686992a16a5403193d45","datavalue":{"value":{"entity-type":"item","numeric-id":3374753,"id":"Q3374753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$5948CCB0-CC83-46D5-B01A-F2B5C5E97372","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":"Q2919457$BF89F6F7-6AA5-48D3-A635-F8C74A11494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$454AEA3B-96B3-48FE-850B-90B3390BA1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b128595e2f50d35c99036ebd76df5d5e493730f3","datavalue":{"value":{"entity-type":"item","numeric-id":4593944,"id":"Q4593944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919457$D62BC1DF-9AE5-4BA7-AB00-8547676D62C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"309949daa781c60618262b478bc8213d0a15bd40","datavalue":{"value":"10.1016/J.ENTCS.2010.07.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919457$516FE539-CF51-4090-8473-8A6B3018C16D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efb2d79c95d561d2c0fb3c26ea62d2b27ca9f31","datavalue":{"value":{"entity-type":"item","numeric-id":3126162,"id":"Q3126162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f687ac18a03f2c4c76e5a506acd91a979990ccb","datavalue":{"value":{"amount":"+0.9203265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$9AE6D93E-BC48-4642-BFA5-FC744DBF67E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8ffd8ab1687d9f0f7e4395cad044223d8f6306","datavalue":{"value":{"entity-type":"item","numeric-id":4782713,"id":"Q4782713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6766795d0588aa3afb31a98b99d3ae0b50fb7945","datavalue":{"value":{"amount":"+0.9081927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$82E841C8-E063-48F5-BB76-C7DF038AD903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd4d819c4bf6a275f7769f3b519edfb491d5b66","datavalue":{"value":{"entity-type":"item","numeric-id":1884910,"id":"Q1884910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6766795d0588aa3afb31a98b99d3ae0b50fb7945","datavalue":{"value":{"amount":"+0.9081927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$7C334A26-FB3A-4AFF-AC0B-9D8A0C5FBBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54363ba28eead57924acca8ee1b88904cb3c7687","datavalue":{"value":{"entity-type":"item","numeric-id":2495646,"id":"Q2495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288fbdad1e1faad46661663ef61aa62c1f86e914","datavalue":{"value":{"amount":"+0.9016248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$F3CF6016-5AD0-4685-A9CB-19AD2469A2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abac55d9f7895b2e5b029e50155c40a323265791","datavalue":{"value":{"entity-type":"item","numeric-id":4989716,"id":"Q4989716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31513de286825e9def080812cc87b10bdf56f97a","datavalue":{"value":{"amount":"+0.895542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$11495A7F-120D-40C9-A6F8-D60A3793014B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b727743dac5c18eb265e113f2901934c047284b","datavalue":{"value":{"entity-type":"item","numeric-id":4499205,"id":"Q4499205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b58119b07815a26ee59fce9431530940f35213","datavalue":{"value":{"amount":"+0.891878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$6B50B4D1-0456-4A40-94C9-4EB9C5CA6E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68f542a942a2b2330ea5a9deb99ac829ccd337","datavalue":{"value":{"entity-type":"item","numeric-id":5277712,"id":"Q5277712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec61de159322663ac92ea14883d2778a5cef498","datavalue":{"value":{"amount":"+0.8915551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$32C48B69-03A7-44A6-9247-F4CFF11C9154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0745e883f776b5cbd440bfdbb7c40bbd13b305e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738216,"id":"Q4738216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec61de159322663ac92ea14883d2778a5cef498","datavalue":{"value":{"amount":"+0.8915551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$4C068650-5D43-4EB1-8E4B-0349ECFECC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb515a0cea261121e9d4e9feebd91062b2427d77","datavalue":{"value":{"entity-type":"item","numeric-id":5714446,"id":"Q5714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e349977d33ec3c040da8e02b87a303c98258c9e","datavalue":{"value":{"amount":"+0.8913593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2919457$E86468BC-193A-4C05-A46F-85816E852AC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"607e0aee63b3fb0c344cc7b63af499aa5d67ee66","datavalue":{"value":{"text":"Coinduction in concurrent timed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2919457$4F41F2DA-07D8-4620-BB4E-389B0B0D2C31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2919457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2919457"}}}}}