{"entities":{"Q4636598":{"pageid":6666179,"ns":120,"title":"Item:Q4636598","lastrevid":53068004,"modified":"2026-01-24T04:03:16Z","type":"item","id":"Q4636598","labels":{"en":{"language":"en","value":"Why liveness for timed automata is hard, and what we can do about it"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862076"}},"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":"Q4636598$A77AA92E-2F9D-4B44-B114-7A657E80289D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e89f041e4fe1e4d6e639f9f9995d93bad813a88f","datavalue":{"value":"1391.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636598$780B51DD-8559-44DA-90DC-F686F71354EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636598$0DA2C519-159E-456D-A9B2-4AEDCC650125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636598$A9AC905E-6E96-4D7B-8A7F-C10738FBC242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6271edbb6f4f154fed72f13da49a1ff7d32ae4b6","datavalue":{"value":{"entity-type":"item","numeric-id":2945590,"id":"Q2945590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636598$954F4010-FEEA-49F5-A086-72CDEA402779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636598$B546F482-DE2B-4A44-B773-27C1954C1743","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636598$01BFC756-243E-4FD1-A7A4-15E658E7A9BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636598$B5B76F46-8822-41B7-8D9A-1E94E6443D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636598$927E50AB-7C17-4F3E-BFB7-F4E5BAD63CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636598$55E1B3E0-A3F3-44CA-9BAB-9AA8C124C6D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"749109060b4ca833a0369ac5332851c5c74f3f55","datavalue":{"value":"6862076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636598$A87F034B-B0D5-46BC-9B19-650FE9A4E8D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636598$FA022CC6-F299-4E84-A7B3-88BAB070DD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636598$D1FE26EE-0F2B-4754-B762-A39A6B9868B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca9c2be51c74e80afc410354e00bc2a8cd58616","datavalue":{"value":"liveness invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636598$D2AF1C26-961B-4AEF-9F1A-28CC2B864E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b8f73cbd24361d3390bdd42733b76e33242cc8","datavalue":{"value":"state subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636598$9F126DD6-D661-4396-A612-BB556F3BEAB8","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":"Q4636598$5F4DDDEC-C56F-4055-8400-4DEE03E4446A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaaa5702b085d2e51619405cdcd69a7383bd936d","datavalue":{"value":"https://hal.science/hal-01423714","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636598$69CC2673-E424-4192-9E7C-8EA6BD8119F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21d3b8caec682dac9f14ca3300ea24426ec94f36","datavalue":{"value":"W4391526569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636598$5A3C8CF5-46B1-4F4D-9F13-DC176700549C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f874bb8aab84c3d163dcd1f29d82cb2b21af81f","datavalue":{"value":{"text":"Why Liveness for Timed Automata Is Hard, and What We Can Do About It","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4636598$9A8403DF-8173-47BF-BD47-71588F08D456","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d4a6c35c53468a6a872563cb0ba0afef5168d1d","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636598$738393A1-A2D3-4B99-A6F3-CF86D1B0394A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de1bd30df00ebf2ffdf6c7af1de0fa2ee2dbfa8","datavalue":{"value":{"entity-type":"item","numeric-id":5121268,"id":"Q5121268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccccba6d700ba0a6f30cc5d7e62814bbcbb5ac70","datavalue":{"value":{"amount":"+0.9738587737083436","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":"Q4636598$E21860EC-B372-47A8-841B-23047D768F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d5bb57e048a20f80de916f48f5c50e2520c49a","datavalue":{"value":{"entity-type":"item","numeric-id":1874402,"id":"Q1874402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c6e9be43815f769f63b22cfdd8b8cb8fdd5f6f","datavalue":{"value":{"amount":"+0.7782949805259705","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":"Q4636598$560064B0-296E-41AA-8B4E-3F8C800C9B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427814497f80f0f77373a66b20c4c441ac985935","datavalue":{"value":{"entity-type":"item","numeric-id":2762788,"id":"Q2762788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6bc1910b117dae8c3c9bdea2b836795bda26fc","datavalue":{"value":{"amount":"+0.7730596661567688","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":"Q4636598$6869B7FF-7AA9-4908-B778-BFE6596FA89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3e4c078760d0ccc94e99e306e99b663efcf9a","datavalue":{"value":{"entity-type":"item","numeric-id":3449490,"id":"Q3449490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e30b94fa4d64532eadeb9d4d58842320b4ab385","datavalue":{"value":{"amount":"+0.7633696794509888","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":"Q4636598$C150AF87-80DA-400E-B703-49D7FD68B66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164736918542e97f23226b0e59bc4c011d7bb63a","datavalue":{"value":{"entity-type":"item","numeric-id":1271471,"id":"Q1271471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b17b534eddc4b77657c7e3b34dc0e4025465439","datavalue":{"value":{"amount":"+0.7468918561935425","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":"Q4636598$99D117F4-2C82-4909-A3A7-158C0934F907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636598"}}}}}