{"entities":{"Q6859954":{"pageid":20656357,"ns":120,"title":"Item:Q6859954","lastrevid":84252329,"modified":"2026-05-14T05:38:02Z","type":"item","id":"Q6859954","labels":{"en":{"language":"en","value":"MITL model checking via generalized timed automata and a new liveness algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158303"}},"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":"Q6859954$91F3CDB7-06E2-48C3-85B2-A854BF724AF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcc4c51d955b1d5da468aba75a74f6663413b3ba","datavalue":{"value":{"text":"MITL model checking via generalized timed automata and a new liveness algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859954$1365B039-0F78-4FC8-97A6-AAE633945200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22e22705c628d90458922fd707ffb6eeb524a5cf","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859954$75A62EC2-ABC6-42BE-8F5A-60AEA81014DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$8C5426CD-C588-4D3E-94DE-C885D992ED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$5D5CBB03-F798-4D0A-982C-B3256CEA9396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"272534b382d58486d1526e87861df0bb7d5c2653","datavalue":{"value":{"entity-type":"item","numeric-id":5025181,"id":"Q5025181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$DB644B47-AE9F-4B2B-A5E6-B1BB0BC983D6","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":"Q6859954$3EEF9ECB-1D4D-486F-B0AF-A3AAAF761AC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859954$49F5D25D-EC53-486C-B150-D038A2FC3EA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859954$F0C271BF-5554-47CA-A8DE-1A8FB9A5BE6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf1392649b3e48353e2626079b79c7a67485aaa8","datavalue":{"value":"8158303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859954$E5B646E4-4885-4519-A905-7D7CB0687219","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$366114E0-4C14-485F-826C-C92FBE43AA0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6334f49f72449acb7f143071a217092c19935e","datavalue":{"value":"MITL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859954$37425F6D-68A1-4D62-926E-A8CE531B6333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859954$81E2882D-D48D-4E52-8903-21EEF4B6B54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4abcd7aff53adfdf8e7daf8e7f2780cf65d017e","datavalue":{"value":"zones","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859954$A8A8902A-CD80-4067-99EE-53FD8473062F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859954$C240FE7E-DEB8-4B33-A086-69A619754BC7","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":"Q6859954$DD46E04E-B2A5-4746-AB54-1D2EE3A5B524","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f71b3eda1fdc38b6322f6d455a8085862beaa63","datavalue":{"value":{"entity-type":"item","numeric-id":6535636,"id":"Q6535636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$D9AA324A-0618-4F9D-AF18-AF730B45FDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a41b629ffb69af48f291af6f85cc519c994b1d","datavalue":{"value":{"entity-type":"item","numeric-id":6859954,"id":"Q6859954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$0F105265-9E7D-49F4-BD73-576EBF434222","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":"Q6859954$BDE7BDB6-4BC2-41F7-9728-E6FCAE8ADB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$3B95A5DA-D741-4677-94EB-C2B24BC4712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$D463B7E8-A970-4B3D-9AEB-F65893924FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d4ecb138c9567b27f8dd405520a87eff1ddee9","datavalue":{"value":{"entity-type":"item","numeric-id":2067619,"id":"Q2067619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$FDD9BA9E-4D99-40DC-B3DB-0D1364379AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd5e418e27c3801c71210fe135632da3aec885e","datavalue":{"value":{"entity-type":"item","numeric-id":2842659,"id":"Q2842659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$B94D996E-C368-4547-A8A2-C444B20BC355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a00b00f1093fd8e565aaa95021eab02d7ccebe","datavalue":{"value":{"entity-type":"item","numeric-id":5500555,"id":"Q5500555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$A1D9DAD5-E4E5-432C-87E2-DBA2DD6E875D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06987348d665bd9b962fb9b1b14d2d46665f9663","datavalue":{"value":{"entity-type":"item","numeric-id":2151264,"id":"Q2151264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$E3CCC7C7-044F-46B1-B912-2505327582A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$A7BA6876-14DE-4759-A44C-DA34101EE7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379b141b80c6f87f2dc44e87edcb374c1226becf","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$7AAE4EEF-A9E5-4845-A98F-2BBEDF84862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286ad57ee425318e8a65bded4a739b7fc5c2dc39","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$5C7CC0BB-3081-4F2D-BF03-963298037BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fcea7d39188a45f0a743c447953dc7f38995b","datavalue":{"value":{"entity-type":"item","numeric-id":6154574,"id":"Q6154574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$FCA8B4FC-1968-4227-B328-7FF5C4F58CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$D49E3D25-8EAE-44E3-9536-CF870A4B2013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4ff55991e2e0667835604e8093fd81c23ede13","datavalue":{"value":{"entity-type":"item","numeric-id":487253,"id":"Q487253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$F2CBC55C-BFEC-47AC-AEB0-56268AE1C5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7f63f1e82065cd02b8dc2f25786d62356c795b","datavalue":{"value":{"entity-type":"item","numeric-id":5121268,"id":"Q5121268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$FBB327DB-6C2B-4F93-9BC4-5385C3EDE604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$B3C773B3-001C-4D42-9D8F-F617B1914968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3612e6313d7f401a14563f629cb0aa8c5c111ee8","datavalue":{"value":{"entity-type":"item","numeric-id":453519,"id":"Q453519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$AF76183A-F193-43F2-88DF-A30B26C97786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec29c1dfc5cae67c33df774e871b7b5be9d2dedb","datavalue":{"value":{"entity-type":"item","numeric-id":4356436,"id":"Q4356436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$223F38F7-EAD6-4153-ABD1-72457784FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29c51a0e7698d5c431a6acfb9a15f6606a13782","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$4610043A-9AD4-413B-8A6B-80EC51E756CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$5800F720-E593-4134-B6BD-CAB8554AA21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$03C7643E-1A76-4D21-8AB2-DC1DCEDE3BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$3DCCBD4D-7670-4BAA-B31D-A2C2791FC36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e3a442ba590cac8ae88ceacdb0593242447bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4207573,"id":"Q4207573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$68983BE3-BB14-410C-829C-A1F1C1D15C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f725e79b52842467d6d333988262c529dff4e35","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$FAA9DBE4-B931-42E2-A3E9-2F4903B6578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f55243298e3d2a14ecad44913b341a09b62062","datavalue":{"value":{"entity-type":"item","numeric-id":6560392,"id":"Q6560392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859954$1E545891-4AE4-4986-83C7-A7C7218434DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MITL model checking via generalized timed automata and a new liveness algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MITL_model_checking_via_generalized_timed_automata_and_a_new_liveness_algorithm"}}}}}