{"entities":{"Q2919451":{"pageid":2930171,"ns":120,"title":"Item:Q2919451","lastrevid":51566888,"modified":"2026-01-18T19:51:24Z","type":"item","id":"Q2919451","labels":{"en":{"language":"en","value":"Generic infinite traces and path-based coalgebraic temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6089942"}},"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":"Q2919451$122B1F47-E97B-4A76-BFA1-792ABC53EC5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1edce601bad9d4bc2e31ca77449ab7479f9adc08","datavalue":{"value":"1247.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919451$AA2A7415-743A-4DAB-A57C-39439D095570","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":"Q2919451$EA9E712E-7522-45F8-8FFE-ADCD83C98E70","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":"Q2919451$B32F7D20-6DD5-40D9-8F2D-DC0080BDB147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919451$00987CC6-DCED-4DAF-9AEC-246EC296FCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919451$628D076C-D1F3-43C0-A461-7118A7B8968B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac591ec855cf0cf986ea9f7102367ffcd9992842","datavalue":{"value":"6089942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919451$D8DF0048-CF0F-499F-B53B-102396169012","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919451$E540B900-CA30-44CC-97EE-B142208B0E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919451$873B8B34-3D7B-4575-9899-4B60D46C0629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919451$E632DEF6-2A12-48E0-AFE6-8F1A3A3F49C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919451$EBC4DE6E-9C9C-4EB9-9538-B265F94829BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2919451$0E03E1C6-6274-45DC-958D-9859EDFF72D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$10414C4D-E989-48BB-8E98-4A14266A52F9","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":"Q2919451$3782ADD6-9E46-400B-9092-D52F85E7E440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d94eaf1f3db9645aee4d94b75ba8220a8d74afc5","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2919451$039761DB-3B2E-40B7-B796-51904CBF65FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"929059dc1ec5a0fcd95c7b24230bf1158b533c77","datavalue":{"value":"W2088194522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919451$477B5634-2F24-4915-BD02-FBFDD5313A51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a217a4f89905810d12fb9d8a428ab9ebf7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$E29CEAA4-1200-4249-B522-B457E7262DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe49c3b0be1875f4716ee6585aff4b21b9381048","datavalue":{"value":{"entity-type":"item","numeric-id":2873663,"id":"Q2873663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$3EC9B6AD-DE80-44D8-8CCA-E21ADC5F1773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ed27c8e4b8cf2149d292eafcabafcbe8b092ca","datavalue":{"value":{"entity-type":"item","numeric-id":4283467,"id":"Q4283467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$BD3690A5-ACE0-4FC4-A2F8-664B86DC850D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$778E7D6D-4C43-4F7F-A7C8-75E0DA1FB103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$01FA142D-B3E7-4C09-BC17-EEFC1885C45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$3738715B-5B5D-437C-93F0-49F2C2444891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$15318543-E20F-4386-BEA1-349F070FD646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$6E582B9C-599E-4028-A3E9-07D1CB0814F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$46C48A5C-2754-4DDB-873D-EF2D312CA036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b2af9232b91aef74ce2366c6985ab5a4085982","datavalue":{"value":{"entity-type":"item","numeric-id":2888488,"id":"Q2888488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$46DF0560-E553-478E-BEFD-6F01F935AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$3EF28F4E-2EB0-4DD1-BEAB-8D2C027E4685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$BCFA5DE5-F76B-487D-A01B-5E9CF494C608","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":"Q2919451$D9F28AD4-9595-49E9-9D83-D518150E2F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8637ba347051cd17ca308ab8e5735122219f08d","datavalue":{"value":{"entity-type":"item","numeric-id":2994480,"id":"Q2994480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2919451$70DE8F22-A386-4C5C-913C-AAB93FE21841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bd709904eb6622a6bb15c7eb5e7cf757cc05e5f","datavalue":{"value":"10.1016/J.ENTCS.2010.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2919451$4271D9E8-23E6-4BD6-9D74-4891AA9317DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ed441aca26b364ab403e79d6445d7336f1efd1","datavalue":{"value":{"text":"Generic infinite traces and path-based coalgebraic temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2919451$533CD4E4-DC12-4670-A3D6-328037F71C22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e835e2ad0df148f81ebc6f114e151edbfbcc4ef3","datavalue":{"value":{"entity-type":"item","numeric-id":639645,"id":"Q639645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022c4bc7ce49879b24338a4d979a39c6681bd4e5","datavalue":{"value":{"amount":"+0.9121162295341492","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":"Q2919451$E1BDB9D0-4837-4984-AD64-3AA05DAF150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea47ba968525800d4cb78ae54ec787bf8b92dd41","datavalue":{"value":{"entity-type":"item","numeric-id":4608676,"id":"Q4608676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92d3d7862920cd00efaa96ef6667e2ad3052e9b","datavalue":{"value":{"amount":"+0.8850650787353516","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":"Q2919451$4BA1D55E-3185-40DF-A790-20AE4B9D933D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7327cc9917572c30f723c8f6e8f35eab701268d","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f7ec5fcac8d0661aef589a53251f669cae5d95","datavalue":{"value":{"amount":"+0.7945238351821899","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":"Q2919451$BC4AFD83-CA1D-4674-B1DA-C6A1059DC253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1daa601c0a91bb76af3b8d0c5acf03e6857fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81463cd8db73ed480a9df11d3b6a7b66a59d8c53","datavalue":{"value":{"amount":"+0.7913930416107178","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":"Q2919451$15D37D94-9BB6-4B32-96B0-835C376A1ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f86d43d8603d6277018cc9ebb1f716fc6cae0f","datavalue":{"value":{"entity-type":"item","numeric-id":3090866,"id":"Q3090866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1ec7030e91666e2ba5c79d4beae4f4fa370af4","datavalue":{"value":{"amount":"+0.7902259826660156","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":"Q2919451$851380F8-9BCF-4C3E-8F7F-B9DC165B8F8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2919451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2919451"}}}}}