{"entities":{"Q2431767":{"pageid":2442510,"ns":120,"title":"Item:Q2431767","lastrevid":74107713,"modified":"2026-04-14T18:23:38Z","type":"item","id":"Q2431767","labels":{"en":{"language":"en","value":"Dealing with practical limitations of distributed timed model checking for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066425"}},"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":"Q2431767$BA872534-7395-4FC8-9AF3-6FE22F1E134E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9184d8c9475efce41efe01343df5adea4be925","datavalue":{"value":{"text":"Dealing with practical limitations of distributed timed model checking for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2431767$90A36B77-6F65-4858-A5E4-EADF33DD0D05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f6be6b73e704ff115b16a29b96892e77c80e07b","datavalue":{"value":"1110.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431767$B45FF7E0-8FD0-4511-A0CF-5228E4E9ED0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83716d21734740c6776e0a75345f022d3d27415","datavalue":{"value":{"entity-type":"item","numeric-id":2103711,"id":"Q2103711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$3F35D12B-5C58-4A92-ABD9-976AEC03F59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59abe5351e67bf7dcb0dc1ea707537a2ac34745","datavalue":{"value":{"entity-type":"item","numeric-id":2431765,"id":"Q2431765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$D4314646-6AA2-40E9-B81F-8389B9F87226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395540467e97c6dc3353c3e6d0d7043e449a81f7","datavalue":{"value":{"entity-type":"item","numeric-id":2431766,"id":"Q2431766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$95C3225D-14B4-479C-87D8-D6D92176D1CE","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":"Q2431767$8820B202-D896-49E7-A5BE-A7A19521147D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af241f723e3ca74304d263c8a2b02a411a00985e","datavalue":{"value":{"time":"+2006-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2431767$892B132B-0B9D-4B90-9E2F-2B4CCBA1C107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431767$2778A2FD-C8DD-4866-9855-BCB5F3911DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431767$58017749-3582-4FEC-9F75-0D92807EE2ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e213c69b426a1bf51e7a2eee8316259597dbea56","datavalue":{"value":"5066425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431767$0887A9DB-E8D4-468B-8719-850B0E9F4AC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585496de0bc9e1b31b00f9f259a55116cc6f12e4","datavalue":{"value":"Distributed timed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431767$C4DFC4C1-E0DD-4F15-986C-0DF91D7410F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1094eccb9ced3bbb287a448513f1f2278da37ed0","datavalue":{"value":"Redistribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431767$DF1580DC-8D72-487F-8885-DB28F5AC1504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2325cdd9540e270b03f972196ba5bdd18d90f7e9","datavalue":{"value":"Reconfiguration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431767$644A04B3-190A-4D51-B4E4-868428C9C3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f159751d38759046410696f7fac347699b8758f","datavalue":{"value":"Load-balance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431767$3E097D26-46B4-468B-9EC0-40313C61F789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431767$D8BA5490-4E6B-497E-9995-9C77582160C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431767$EFE4772F-6DF4-45A0-A24F-6C9F8D01878B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9dd6e0fc19aaece40ed9f89a3eb46ef2791462","datavalue":{"value":"DBM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431767$6EFE679A-673C-44B7-BEBC-9D02AB3E4CA7","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":"Q2431767$AF0EE0D5-0AAD-49DC-AC78-CEF78695A4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$714D9CCF-93DF-48E6-9A95-603C4E46961C","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":"Q2431767$5D2F5051-399F-463A-B6D3-750A52175B39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb3599ece4881f6d8590b41a979d39e7f99546d5","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0012-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2431767$0C25575B-95C6-466E-8661-2F49B5B8E7C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e295e9d7ec23d461ef78a8f87cafd7e62a2da21","datavalue":{"value":"W2004173170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431767$2D167C11-9219-4DD6-B58A-3EBBDB006C80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$983E3BF2-CE5E-461D-8A1B-60875EF925F1","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":"Q2431767$B871DF66-7216-4B30-8954-75BCDD8E925A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda05fa7733652b718babfbd348283b731bf9018","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$5FD712E5-116E-412A-A872-294FDEDB6CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d207321f5a8923ffcf4638f1bd25d4d55b8df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$543CDF45-513A-4FCE-9938-8009E305B664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4e233ff1837911f4fbfdd3f3738318d8dce822","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$DBC8E656-03B6-4D00-8896-41F834EADF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df25b45579781f7fd72073cd35e941fdc6b71b21","datavalue":{"value":{"entity-type":"item","numeric-id":5312930,"id":"Q5312930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$AD3CAAD0-589F-4BC6-B49A-5BA771814C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282aacb746dcc359b097a5d44f42a7038dc19fa7","datavalue":{"value":{"entity-type":"item","numeric-id":2842852,"id":"Q2842852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$0E47D642-6C6E-4023-B780-EDE6550046E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7c8c2533cb14f33bfa0c7dae6ed7f198f8fc01","datavalue":{"value":{"entity-type":"item","numeric-id":2431767,"id":"Q2431767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$BF4451A3-1A1C-4DBD-8F61-856F16886773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ce45e015086ab406fb69b5656ca6fe2279ded3","datavalue":{"value":{"entity-type":"item","numeric-id":2848144,"id":"Q2848144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$0DC11029-E569-4BA6-8D1C-8474540D59E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9540c6c28af8a9c548ad06dcaa0234138db6a390","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$1380348C-DA44-4546-9496-42DC6A58AB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02de7a975b6fdce63bf6570ce52880875b849b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4553260,"id":"Q4553260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$94B5704D-6B60-4F26-9423-3E14C7E46364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30d4e4a1e1446f9c7755e05e0888330ae1aec78","datavalue":{"value":{"entity-type":"item","numeric-id":4472254,"id":"Q4472254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$EB1BDE1B-9147-4679-9BB0-726CD0A1BCA4","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":"Q2431767$BD611ECC-C887-4225-810A-E74B5541FF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2be1c750f76e738d6434665bd6eb2a48137af7c","datavalue":{"value":{"entity-type":"item","numeric-id":1871864,"id":"Q1871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431767$4D36FCE1-7AF7-456E-B8DF-923517F1CAD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c9520f04c48f5e6d1bf05509bc5866a32ce3bc","datavalue":{"value":"10.1007/S10703-006-0012-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431767$57F0170C-4A94-4B9A-9912-CCC604ED8240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b4c47a9ab287c57e344c02ef1d5466cf961dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2842852,"id":"Q2842852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b557dd1d4ee8536cf7b12d7bb1f29e2f3575cfad","datavalue":{"value":{"amount":"+0.8490344285964966","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":"Q2431767$CC21639E-ABDF-432C-A1A9-27D953A0501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295abda491d7422d71174c37458f86d0d9c409ee","datavalue":{"value":{"entity-type":"item","numeric-id":2848144,"id":"Q2848144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca14277be89dc3cadbe70fed0db0146bbb30ad90","datavalue":{"value":{"amount":"+0.8337163329124451","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":"Q2431767$9179364A-7E1B-4934-B9D5-26447B8CF1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d499a073e38bbbecb40c74487898ce2e1ca099c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c893dc716a5fbdad8a250ded38cb516561da29","datavalue":{"value":{"amount":"+0.8010327219963074","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":"Q2431767$E2449640-E22F-47FE-B6E1-C9941BCF80A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16897a0150a94dd9831aeb2548121e1a4e5378ba","datavalue":{"value":{"entity-type":"item","numeric-id":4649388,"id":"Q4649388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0727566ab435a4c200f3c0abe04b9fe9b0690c23","datavalue":{"value":{"amount":"+0.7364673018455505","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":"Q2431767$0DD75C6E-AD99-462E-A4D0-165B386D1F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75321cd2e5d68c3a006620d66b072cbdb58200d","datavalue":{"value":{"entity-type":"item","numeric-id":5897957,"id":"Q5897957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d70815d7089eb1aeee96e648419aeb4578820e8","datavalue":{"value":{"amount":"+0.7338799834251404","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":"Q2431767$F90844A9-6D18-4287-9926-E93C91E0D397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dealing with practical limitations of distributed timed model checking for timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dealing_with_practical_limitations_of_distributed_timed_model_checking_for_timed_automata"}}}}}