{"entities":{"Q1858438":{"pageid":1869180,"ns":120,"title":"Item:Q1858438","lastrevid":69129957,"modified":"2026-04-13T04:58:25Z","type":"item","id":"Q1858438","labels":{"en":{"language":"en","value":"Symbolic model checking of timed guarded commands using difference decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1868272"}},"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":"Q1858438$657E779E-6F25-49C1-A2A2-E9810C84BF54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36feac7f32a14adc372574dd5c9de80e47784da8","datavalue":{"value":{"text":"Symbolic model checking of timed guarded commands using difference decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858438$FD2CF97D-D9A9-427E-99ED-85952163A0B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6df423d733d63cc75be4ba52e60873971ec8eb11","datavalue":{"value":"1008.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858438$ED4807A9-C495-4997-8A71-2FDC9C7AB795","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7bae9c319ee9292cc1f9fb64b817a72a67daf0c","datavalue":{"value":"10.1016/S1567-8326(02)00023-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858438$5A24B310-4D4B-4FDB-8AA8-1AB86F226373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef96a5af0bbbfbfd713568fd31d0a10d53f9082b","datavalue":{"value":{"entity-type":"item","numeric-id":1858437,"id":"Q1858437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$F0D4A1FA-B971-4E8D-8196-E5DE710CD1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa532253900a57da3ff2d892d85f39b33869ab4","datavalue":{"value":{"entity-type":"item","numeric-id":169904,"id":"Q169904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$BFC8BFEC-3EC9-49D1-BAA1-5D7D194CDA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc14b91f3ea67d454f18e791d265c69e1964e48c","datavalue":{"value":{"entity-type":"item","numeric-id":169903,"id":"Q169903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$162C8136-3080-4A92-A527-CAD04B15FAF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$1FCC3534-9F0F-498C-AD49-977EB0DDB60C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeee03ff93cd4d2bc8e8bd2001afc62b5646464f","datavalue":{"value":{"time":"+2003-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858438$5E5F8FED-02FF-4EF3-9678-BD785B97141F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858438$551DAAAC-D992-462D-BA9F-F23345D1F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858438$63D1269E-0F74-4529-ADF2-49B7308507E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3189126bef1b3cc483c31d37d87df466e0752c26","datavalue":{"value":"1868272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858438$83E66EA1-6D65-4B5E-8606-E46612E2B0E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$120108A5-97EE-4DCA-8DB9-2484886E484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$BFD9892C-15E7-44E6-8DFB-1967A752BB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4c091d322dc07488ec680d24f589e0e640283e","datavalue":{"value":"timed guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$EADB9993-11BC-4761-B205-66E8881D72E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$8ABDD866-AC67-49B8-A355-5D79A325426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2247c4d4fe0ec0314d59b70fd34ffff9aa94ee","datavalue":{"value":"timedCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$D82E764E-5963-49E4-AAB2-4F7D64C05727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef57e21daf3ba275e43f66438844d22972c9d153","datavalue":{"value":"difference constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$81CA749B-97AE-4217-8E8A-A98BA74DD7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1f7d90d1023fd5bff3a8624767fa0e9392b916","datavalue":{"value":"difference decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$BB65A141-432D-42B1-94A7-6AF7E5464742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858438$2277DFF3-E1F3-49A6-A238-6E977989C5A0","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":"Q1858438$014BE256-C944-4930-BD05-EC7DF6B9C7AA","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":"Q1858438$ED6B511F-FFA7-4BB0-9748-E71D3FAB89C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd53d6e9478c4bb1c7a40fd9e4a8dadfd6988d8","datavalue":{"value":{"entity-type":"item","numeric-id":4197624,"id":"Q4197624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$3175BA72-3D87-4C7D-B2E1-CE98E0C833E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$AA29D030-5802-47EE-B679-CFD5E7617EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$3D0BEE5A-9C7A-4174-BD6A-AA6FDB3C3F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$27803876-BB51-4999-9D6D-2AEF8023E100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$7B34F1E3-AB50-4FFC-B5D0-D514AFD7E1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$03B32BBE-6583-4D4B-B629-47290C8C316E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$BB363456-8653-415B-A557-B61980BFB9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafedb5e17a0209c94d8f0716aa6aff4edd6d556","datavalue":{"value":{"entity-type":"item","numeric-id":1244341,"id":"Q1244341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$06C32E89-B20C-4471-A557-F5B19F94519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$D2DC2F1A-A8D4-41C0-9C5D-D07FB16BB600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$672C2A02-B828-4DDF-9C0E-9EEF95961567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$F8DEA185-1375-45CE-82F9-5A67F2CCA3E7","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":"Q1858438$15711538-5189-484A-BB52-02CED02F3611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$AADF0C31-2163-47A2-8DE8-032A58CA483A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$72254533-505A-4475-A1E2-210AE8F807A1","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":"Q1858438$CE2F83D9-37F5-4ECD-8D97-026819E6FFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$8AB48DE3-FD0B-4B60-9B99-5A906C5CBF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$631A0279-F082-41DB-970F-880CE345B3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$7108536A-04D1-42CE-861C-B1CBD6F869F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca497b9db027d2830f3165866255f0c6ef2d0c3c","datavalue":{"value":{"entity-type":"item","numeric-id":4255572,"id":"Q4255572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$DB72BB21-590C-4AAF-A6B4-0241253509C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$3776263A-EADD-4F19-982A-BBE12A8618BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$BFF9C141-ADD0-46B5-BC98-BFA05A4CC7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbfa73ac9df18013941340d21a3347d9c36dd18","datavalue":{"value":{"entity-type":"item","numeric-id":3857732,"id":"Q3857732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$9D3B1138-D780-4D36-A707-0422F357DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$93189EBD-F37A-4342-840F-6FB1EAC3DB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858438$A6DCE8FA-9F71-42A7-B0CE-11BE371CFE57","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":"Q1858438$D0C69E3B-46A8-4C1B-85B3-6DB817DDA19F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca8be76d3c069a93a865cbc7e0454da5700aae4","datavalue":{"value":{"entity-type":"item","numeric-id":4255572,"id":"Q4255572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4377c2b7c920398a3af04db64398f10232279c78","datavalue":{"value":{"amount":"+0.9147628545761108","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":"Q1858438$F094B964-DC58-487C-A7C1-9768B01F80F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae66529efb70ce709e151b342cc8fe50c50a684","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73656e069b4c2374ca639763a9da17f2a209acb","datavalue":{"value":{"amount":"+0.8491242527961731","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":"Q1858438$05637AAD-69F8-4AC5-B856-BD5C1DB6593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd5cbc6345442db1fbf49e31786829490aa3998","datavalue":{"value":{"amount":"+0.8327524662017822","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":"Q1858438$ECA5A442-049B-466E-BC44-922F638AE8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8273f5a2729f4aeec9f417e49a96f7e8be80ef16","datavalue":{"value":{"amount":"+0.8257681131362915","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":"Q1858438$16E32350-9DA6-4306-BD5A-FFAE740C7074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56eaa978f6fb4d1ca8da1e57f0763dd0c94a6d83","datavalue":{"value":{"amount":"+0.823413610458374","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":"Q1858438$35D3FEC9-709A-4597-B12B-7844638F21F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic model checking of timed guarded commands using difference decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_model_checking_of_timed_guarded_commands_using_difference_decision_diagrams"}}}}}