{"entities":{"Q2575733":{"pageid":2586476,"ns":120,"title":"Item:Q2575733","lastrevid":48606676,"modified":"2026-01-05T08:59:53Z","type":"item","id":"Q2575733","labels":{"en":{"language":"en","value":"A partial order semantics approach to the clock explosion problem of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235820"}},"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":"Q2575733$A6369783-3AF5-4D7D-BF12-E940145D9CF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9878bec63b34e4b771b95153ef00709c14192313","datavalue":{"value":{"text":"A partial order semantics approach to the clock explosion problem of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575733$E3DB16C1-36B1-4041-8241-CDB9091F4910","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3091de0d4dbc93ecf12a81f4c802c1bf1a5b908","datavalue":{"value":"1079.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575733$F964949A-C512-4D22-AD42-1F2ABD34A4C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$40362CA3-D535-4472-A5B4-3A8E80D9F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0049ff44b47a319fae6a88359fada1008a0d4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":732004,"id":"Q732004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$52BCB978-5C4F-48D7-88BF-1C9CEEB6A64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"266809025b82cc8677e1b02a3d7cf0c24ff2fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":2575732,"id":"Q2575732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$4AC8426E-386E-4869-9F60-189745A0F193","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$6486253F-6FA0-463B-A84A-BC7D6429A90D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-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":"Q2575733$3E8FBF03-7169-420F-8329-2B8A84601F23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575733$1C13B0EE-DE71-44C2-B830-52A9E093D9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575733$FC7EA13B-8B10-4E14-9C1E-B19C83C4358A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62824bf1a58796e78a4b89316c83fce7ebf05b08","datavalue":{"value":"2235820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575733$857FC817-5236-4F3B-93D2-E065C5FAF5A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575733$728AB805-F1F0-4C86-A02E-6758268E5EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575733$935B064B-BAD1-4629-9CEB-40BCB3333CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575733$48C2D6C5-71A3-488D-AFB8-66D0B2760215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"991689b07e5716b758366bd5fcb1cd0b95f8e1c5","datavalue":{"value":"Partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575733$404CFE1A-9CE2-4C75-AB8D-0B587F5D816F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$3F11BDF0-5560-4F01-9742-B1FD510C60A0","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":"Q2575733$6C527056-EFD6-47E9-9A2F-016528962ED5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7079298c0cdf3b8dc2b7f1162d06df7e5a74bd0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.07.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575733$F674F177-69E4-4054-A6DB-C5DDF92CFB8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7f15ffb0142ee55770f50188830ebc61cf88419","datavalue":{"value":"W2036670017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575733$C9579256-51F3-4A43-AE66-82942A29640A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07dd10781fec219d4e5037d85aa8641413cd12d","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$79119B85-913C-47E5-98E7-77CFDBB0128E","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":"Q2575733$C2ECBA8C-A77D-4FDE-B1F5-027462425988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$3047DB97-1D8F-4930-9137-1F19C559ECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9773c6b9fbc8bea11d27f620d5c9b7c0cc1d78b8","datavalue":{"value":{"entity-type":"item","numeric-id":4818802,"id":"Q4818802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$22BF7F5F-FC81-45D4-A81E-B985C8A9125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$D7D2D8E7-414D-4E6D-8AB2-83C597F1E827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae33c503bcc5a5ce3b04ff0f81da6676ab8dd773","datavalue":{"value":{"entity-type":"item","numeric-id":1125430,"id":"Q1125430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$10D0EEC8-1367-4D9B-A172-48F8EA9826A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$FE1E84A7-499E-4D7A-B824-1EB9F95706AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$D42CA490-327F-4127-8E3F-BC8025057E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$9C802E38-EB81-4933-9499-8DCC3769027B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf83834c1b0bf86547708fc8accf3c2556a52728","datavalue":{"value":{"entity-type":"item","numeric-id":5308414,"id":"Q5308414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$626CAAFC-870E-43A9-A998-53BD3BB80B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3963544b6d211b70b2f1b69afa3e8ea45fd33c9","datavalue":{"value":{"entity-type":"item","numeric-id":4791271,"id":"Q4791271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$A9F12D0A-3AC0-435E-8898-471B4D3AC66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$297E072F-6401-4DD5-9936-897562F26E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575733$79B65BC9-D40C-4C11-8EDE-052AB3B1ED4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d69d5ac6ed14cb1fcc3b6ce5743acde4bd1473ec","datavalue":{"value":"10.1016/J.TCS.2005.07.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575733$68319698-9FD4-4B09-BB1C-78E7E680028B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9628f109baded7289e5c31aa842f682400b9fd","datavalue":{"value":{"entity-type":"item","numeric-id":5308414,"id":"Q5308414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7515dc9b5ab37137413b9e3a48434a7f2443ee89","datavalue":{"value":{"amount":"+0.8968931436538696","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":"Q2575733$1883EDE2-5A57-4EDD-BD3A-DEB17E04D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a9cc0f5848b89315951cdd123636cb029aa286","datavalue":{"value":{"entity-type":"item","numeric-id":3511243,"id":"Q3511243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86ff9e1a48d5817cb2bad8f75daaa933778af44","datavalue":{"value":{"amount":"+0.7991013526916504","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":"Q2575733$526AF9B1-786E-4566-A80C-FFE5B15A5EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0565eb52b8b60b4ed572bd101c10c51be8b19c62","datavalue":{"value":{"amount":"+0.7951707243919373","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":"Q2575733$7D1BC669-A607-4AFE-8026-59F67D7F28E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73543fc92806a459b8ab0a8e48626de52aaa37","datavalue":{"value":{"entity-type":"item","numeric-id":3557090,"id":"Q3557090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e13a2fcb8a224a2fea48c981d8895d4520790f","datavalue":{"value":{"amount":"+0.7798665165901184","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":"Q2575733$16DB6A28-7FEB-4E3A-86A4-41465102B91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990e44b7e41a09fe288adacfcca18c6c2f68f46","datavalue":{"value":{"entity-type":"item","numeric-id":5756592,"id":"Q5756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546022db2893909164908bc3ebd0889202466f14","datavalue":{"value":{"amount":"+0.7792932987213135","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":"Q2575733$5348A476-8BF5-46E7-887E-9E29CD24CCB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2575733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2575733"}}}}}