{"entities":{"Q6108439":{"pageid":13242746,"ns":120,"title":"Item:Q6108439","lastrevid":47868202,"modified":"2026-01-02T22:37:09Z","type":"item","id":"Q6108439","labels":{"en":{"language":"en","value":"Distributed parametric model checking timed automata under non-zenoness assumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7704608"}},"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":"Q6108439$3BAECBEE-E043-4C4A-8B2F-E698FDCB8692","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b98d6c66f8e8bde7573f76bc33608dcb26b1b244","datavalue":{"value":{"text":"Distributed parametric model checking timed automata under non-zenoness assumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6108439$471EFAD1-13E7-48F7-8AF5-C07FF51F2E3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a3935f70a56abcf082c9e63a9e2aa9cf72df1cc","datavalue":{"value":"1522.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108439$1D6A917F-DC33-4645-9B42-2BBB866EC1EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$031DEDB0-E0CF-4888-8E77-1CE0AF4D3FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b60b84b4ec4807064801f0542849ef00135312a","datavalue":{"value":{"entity-type":"item","numeric-id":6108438,"id":"Q6108438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$F87B5AB8-79E6-41EF-8EAC-C1663CF60AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$F093A69B-257E-4ABC-8111-E99A11C0ED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$FC35DFDC-97E6-46EA-B7F7-A5B67CA6B1F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$69E3AB38-EEB6-4E73-8B2E-2ACF0D27C0E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91be2dac51a963d285032dfc904d8d1ab12317ee","datavalue":{"value":{"time":"+2023-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6108439$849106CA-65F4-4198-A045-BDBA2699ECD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108439$9E909C8C-1C57-4BCE-B1CB-83F768811D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108439$C24CBF31-E609-4815-9267-90C0FAAA34BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108439$03BABFEB-E5C9-4DED-B738-ABC337B2A363","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"214d3ef869d5ebf023aecae53b3b4523dfad9733","datavalue":{"value":"7704608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108439$A1E36E03-AF68-43B0-AFDB-8572696BF67F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108439$1F146F6A-DDC8-4FA8-B3C3-9A21D66DE0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29fa01c00757697e117bdf6ddbe43e9ff402ef6c","datavalue":{"value":"parametric model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108439$F7899082-FF07-4837-8D52-1637CDA6DF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16105f9aee3a644c9630d90df3c306f0ad8a9567","datavalue":{"value":"Zeno behaviors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108439$310D3518-5A94-4D91-98AC-54D4E3A859D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108439$35333D07-0326-4EE6-AC9D-9CEEF2E2A164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108439$EDE62912-D907-4F3B-B2FF-E74432F0EC3E","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":"Q6108439$698ABDEA-4624-440A-A48D-00454D0DFF82","rank":"normal"}],"P223":[{"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":"Q6108439$BA08DFA3-1EB7-458A-ACD1-1F81248E1DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$F0B519F1-0C0D-4A37-A550-AC5D36AD94A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2355330b719b3dc83adb285b6574d6d18a75db8","datavalue":{"value":{"entity-type":"item","numeric-id":3179417,"id":"Q3179417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$315BEEF0-01E3-4C76-A5AA-C9138FCD4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2520dd9bb033fee1c14ef0c511584e299bd8a05","datavalue":{"value":{"entity-type":"item","numeric-id":2044207,"id":"Q2044207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$04C7DF65-B088-466F-BDDD-A277B6FD6530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$34C25379-6319-47E3-96F8-C0B6506724FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d0a7287171571baf18f73474b0ba23bf95666b","datavalue":{"value":{"entity-type":"item","numeric-id":5208876,"id":"Q5208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$E54328E2-0DE7-46F3-90A5-C40EEBAB65A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2020a9ce51c93f5152b1a41de40d8b45f22ff72","datavalue":{"value":{"entity-type":"item","numeric-id":5082188,"id":"Q5082188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$C3B88F6D-3E42-4EF9-AD97-E01E0D7C709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cba1a314b1209d29bf348a856249fd3210eb6fc","datavalue":{"value":{"entity-type":"item","numeric-id":488231,"id":"Q488231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$4BE717FC-E84D-41B8-9BD0-784D048BB890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965f9a407986e6c03f03203131796f69e4bce1f1","datavalue":{"value":{"entity-type":"item","numeric-id":2281626,"id":"Q2281626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$DC1FA63D-2BD0-44D5-835D-0B9FB35BAD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d475563753b2def66f50645b71310fdb957e1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3449466,"id":"Q3449466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$5C96F585-10FB-4AC8-84D1-B3B4F731C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$32BF0668-4CE9-4AF0-95A0-5214978C1675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c11b7fbda938c615dfad23359f26f27592ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$82D040AD-33A2-47A6-BC62-F36744119033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$962DCD79-36C4-4E18-9175-DE92A564333A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc11063079b122010509aa3a970048afd12d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":5295510,"id":"Q5295510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$DC79BA58-DA5D-47B4-B753-C38957912A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973233cbf5471499bbc4e7563bb47bc64878219b","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$5DE23EF4-79F5-4408-B51F-E2C5ADBEADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"273ed34b20e7b4d18170c4daab2a94bc3a828128","datavalue":{"value":{"entity-type":"item","numeric-id":4649302,"id":"Q4649302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$36D1620D-184F-45E5-8016-928FD627695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff295137b07adfff7025f8212d0a3f11a128cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$B432351F-F2F3-42D6-A745-C536921A0E86","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":"Q6108439$B6657CB1-EF4F-48BC-916C-3FB59456A060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$F29F0A1A-B03F-4829-B8F4-8C3494303127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7d2abc7d9879aec79601bcad6101068b3b5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$F481E1C0-6E7D-4B3F-AC43-F0716BA59FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$25C39255-5129-4D3B-8BDC-7E4DE645198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$BF24CE2D-2F7A-46F2-BAA9-ACE122F6A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2229bfe7e9b92cdc6a00af6a3c82ba71f0b737fd","datavalue":{"value":{"entity-type":"item","numeric-id":4994965,"id":"Q4994965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$2B9F6F2C-9D27-4C04-92FE-1458FE67E5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$0EF2DB7B-AFD9-46E3-AC57-6BB07F033B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108439$EBA45CCA-911A-4177-9844-3785755BB6D4","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":"Q6108439$F9F8D781-6D29-422C-8918-4F888D91DE11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2ea7c7f9b7f012f300fcbd794bea202e517cd95","datavalue":{"value":"10.1007/S10703-022-00400-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108439$7E9D3B31-431C-4A5F-BEF9-F461995781D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7544124a4232ec3850f86b379191696dc7bcdf89","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3de3305f10b10a5446889950c6cfd4c88c0c43f","datavalue":{"value":{"amount":"+0.7986938953399658","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":"Q6108439$4C3FC315-76B8-414F-B9D1-0F75395B8CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1056e1e32cef5bd069021eed125b38cd28246c49","datavalue":{"value":{"entity-type":"item","numeric-id":4913769,"id":"Q4913769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a626ef10e83e56572fb54aa318772e5838022b","datavalue":{"value":{"amount":"+0.7748508453369141","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":"Q6108439$92697AC3-D88C-4940-BEB5-993709CDC8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a170975d6532548c3e7f6c048cca75ddb42df254","datavalue":{"value":{"entity-type":"item","numeric-id":3090824,"id":"Q3090824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52298a109cce1d257b83f834aa7258f3f1cfab7a","datavalue":{"value":{"amount":"+0.7748504877090454","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":"Q6108439$B1C7028C-690D-4F0E-9453-899E0CD56769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88a514da478332a367c0b4da0d85b4db055675d","datavalue":{"value":{"amount":"+0.7641016244888306","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":"Q6108439$3125AB36-694A-413B-8714-4D6C1D8C785A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f12ebe22f80b9bf1ee6a1e2082925ac10012cd","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fc1fdb9c69ae9bbc5d54adb278147c0c617760","datavalue":{"value":{"amount":"+0.7588514685630798","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":"Q6108439$FA739EFA-ED62-4F7B-A4D9-289EB965B455","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6108439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6108439"}}}}}