{"entities":{"Q4608678":{"pageid":6638261,"ns":120,"title":"Item:Q4608678","lastrevid":90558536,"modified":"2026-06-04T20:41:29Z","type":"item","id":"Q4608678","labels":{"en":{"language":"en","value":"A uniform framework for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851948"}},"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":"Q4608678$B76F3EB5-D73D-4EE6-A5BA-723F58669AD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c05aa9e9eeb2c3922c374c557a051b79902a05e","datavalue":{"value":"1392.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608678$A2A72D9B-B0A8-49B4-860E-7A2A3A389870","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":"Q4608678$36253AC0-44E5-4761-ACBC-03A65CDD292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43e353580e5ce9b57bc9090fa734ccf46d1f2d3","datavalue":{"value":{"entity-type":"item","numeric-id":507376,"id":"Q507376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608678$BC6B8890-7AE8-4370-B847-5D3D1786DDF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608678$19D659F4-D884-4347-AD2F-BED24A0663E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608678$A3CF3A2C-C7F8-4465-A9A9-EF8CCA7BA62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608678$F642A66E-52E3-45AF-993D-EFB46202BA87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1817d1413502359f7b775c7cbceef019742c928b","datavalue":{"value":"6851948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608678$2BF88A84-CFB2-48CA-A372-0C143A1072E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608678$17DC783B-C742-45A6-822F-BC48642BA1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca9d672b6b48fd4856eec7295a10b20b4b19aec","datavalue":{"value":"lax functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608678$8BC2F998-51D7-47E6-980B-BF76097501D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d640fd6ca03e522826cabe74cbb29ab24ebf6cfe","datavalue":{"value":"general saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608678$8994EB8E-A801-4110-99F1-A0583F1A2A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fd4b26a650aa66536118288dfd5cdeb8d84a85","datavalue":{"value":"timed behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608678$BB14D979-AB41-4A60-AE51-6847FE67F6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed80ef3d8e767914fdecf3b6ca83a72a8a5af48","datavalue":{"value":"timed language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608678$8B82BE85-3A8D-488E-B40D-26475F19D2F7","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":"Q4608678$4E56B7FF-FF5E-474B-B407-FC2B5D6B728D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b605ed28fc21a03513a63b8491c9d6efdad98c5","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2016.26","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608678$B4FF1E10-FF51-440D-8D6B-2035FA4E632E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a39779ee8e2366341de5c52ee65ce77c7bfbf8b","datavalue":{"value":"W2559266808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608678$CEB1700A-7AC6-4413-9FD7-DC53A0213393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca2daebcbd361768951dd3f1694141d1dd1b871f","datavalue":{"value":{"text":"A uniform framework for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608678$E006B104-7FB1-4127-8780-BAE2EEDEE257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f9da4b190ea069dc05eea0ecd037fc0c37c200b","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608678$3DA6C877-CF8C-4C30-B3F8-E758E9AC26FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef0ad68e2d4fc5fc3234cf353375e68702f27f9","datavalue":{"value":{"entity-type":"item","numeric-id":3121518,"id":"Q3121518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c06defe07e4c5930be59ab3e97e4bb8777ca25","datavalue":{"value":{"amount":"+0.7721084952354431","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":"Q4608678$6F5E0F47-C313-4DDA-98EB-CDF972FEE34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc6f4390b257dd373c3e26d682b9e479193e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3008110,"id":"Q3008110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24ab12b25d124bf35ce851e8f76c7b29ca6c416","datavalue":{"value":{"amount":"+0.7563179135322571","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":"Q4608678$390C728E-52DB-4A13-A7DE-338599745B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd21f0e2111ebe6b1be4a71b0a7ad683a6993c3","datavalue":{"value":{"entity-type":"item","numeric-id":1758671,"id":"Q1758671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac6a9ab2de0f5e553cc4de21997d159a7a08f32","datavalue":{"value":{"amount":"+0.7355911731719971","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":"Q4608678$6F6A045A-98D1-4901-9260-DA8983BB5D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743c304fcf15b633005f8de3e03faf2e14291ce","datavalue":{"value":{"entity-type":"item","numeric-id":4222948,"id":"Q4222948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b1577c301f35da61e0d0424923fff1f4d2e951","datavalue":{"value":{"amount":"+0.7341674566268921","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":"Q4608678$42F418F6-2BE0-4900-A5F3-8D3748415F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3713ab19c69ba72c4fa21353c1dab30c48e96b","datavalue":{"value":{"entity-type":"item","numeric-id":1608937,"id":"Q1608937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0102684068e105298583fd86506e68b2d1d894","datavalue":{"value":{"amount":"+0.734015941619873","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":"Q4608678$7FB525A1-01E2-4064-85A2-B18E9095FEC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A uniform framework for timed automata","badges":[]}}}}}