{"entities":{"Q5027756":{"pageid":7057333,"ns":120,"title":"Item:Q5027756","lastrevid":54217259,"modified":"2026-01-26T11:55:41Z","type":"item","id":"Q5027756","labels":{"en":{"language":"en","value":"Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7469808"}},"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":"Q5027756$38F786A0-28D2-47D3-A7B2-0150FE06223C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cc911d38dfa22dd0fd64f1aeccc0519b68977bb","datavalue":{"value":{"text":"Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5027756$9D7C4784-22E6-428D-8272-FAEC17D86821","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb77a9b0e52d63e5eb26405c7d15ffa1587345b","datavalue":{"value":"1482.93235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$01E9203A-D0D7-42A7-BE24-91B0A3F58EE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41021675627e45eef9bac5b78f9bdfd69ac5877a","datavalue":{"value":"10.1080/00207721.2018.1483541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$53C1EE7B-48FA-4995-9451-36E42A252B16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa11683cd15ce5a964ad11892ef1d2e6a1089b7","datavalue":{"value":{"time":"+2022-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5027756$2A757253-AAEF-49FA-9281-D47428463D18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$107C6194-2C74-4C07-B229-CB903090BB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$DCCE449F-513A-4935-B5F7-0D7C28B016C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$A07E09D9-213B-454F-BE2D-98AEF04B1D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5bc850efb57718f8497af55f559776989de771f","datavalue":{"value":"15A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$BE3D4461-F397-4148-A40C-59CFC9B150C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec5e4f34f93d7460c6484486284cc0f6af81fa9","datavalue":{"value":"7469808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$07CB4790-1EA2-4D2A-9856-3916927C3732","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b96d366d8e9bf0e162c878613b91d5c2dba8d7","datavalue":{"value":"networked control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027756$DF685381-642E-4896-AE12-B50D0FF53E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027756$828B25F6-800F-4F18-8106-BBBE33606AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8959043607901a015e323ce54478527bd0362117","datavalue":{"value":"response time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027756$CD71922F-AF2C-494E-90A2-6AA53C1B88F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52dbfc81bdbed114a892a0984b4404988ab4ee7c","datavalue":{"value":"client/server systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027756$666A4F6C-460A-4E93-867C-90BF4DBC368F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027756$74E02D41-AA50-44D3-B98B-555814BBD2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e66311f55d3c88dd906cfe8a00bdfcc58094fad","datavalue":{"value":"timed automata with guards","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027756$75B49D82-D125-4859-8F24-1B13C0713349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c25d9e675a490b2590867422c81a15f5e5f9bf","datavalue":{"value":"(max,+) algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027756$19F4BF98-425A-4DE6-A4F1-91B2D3839878","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027756$6D977B6F-C425-4BA9-A4F6-B4C29F004410","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":"Q5027756$A276E04C-7DB2-417A-8605-B415AACE32B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ed7c64e65da254a596d758beb4af5ec4b9f45cd","datavalue":{"value":"https://doi.org/10.1080/00207721.2018.1483541","type":"string"},"datatype":"url"},"type":"statement","id":"Q5027756$7D87E681-3EF5-40EB-AAF1-623B5F66AF1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a41996d59c06fc308a0dd82c9827adb39e079f","datavalue":{"value":"W2807923225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027756$ED9C7DD4-93EB-47DA-BB81-EBAEC8F3C4AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f732ecceacca24f11d1979716853faaf55a732","datavalue":{"value":{"entity-type":"item","numeric-id":5265576,"id":"Q5265576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027756$6FB2AD2F-8777-420C-8973-9EE4FACBF34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027756$9C33E88C-3937-45E0-B556-FC877B7C70F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f68e3358e81a3bd3614bf09b64b30ac914cea6","datavalue":{"value":{"entity-type":"item","numeric-id":1426315,"id":"Q1426315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027756$D9D91E3F-AAA5-4212-AD8C-1D936430325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d41dd9110c683f31ff4f9530978be2889da54c","datavalue":{"value":{"entity-type":"item","numeric-id":4602215,"id":"Q4602215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027756$A7DC60EB-E4A8-4DF6-853F-D10C4696B6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5408261f3fd2aaf3cb3bfd787b8105ae5b8063","datavalue":{"value":{"entity-type":"item","numeric-id":2409224,"id":"Q2409224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027756$B61717A9-298E-4CED-8E66-2BCE6F13CDAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d28953bd0f0c2d8508713f8e55254124cfc990d","datavalue":{"value":{"entity-type":"item","numeric-id":6544798,"id":"Q6544798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027756$EFF3FB5A-9895-4469-A761-5CAB1A0C4E5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26cb9a8de7ddec1f2385bb93318a4ff6571ed33","datavalue":{"value":{"entity-type":"item","numeric-id":5265576,"id":"Q5265576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c06cf139323a9332624fba9523390b9e613ae8","datavalue":{"value":{"amount":"+0.8681945204734802","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":"Q5027756$03D39747-2986-4D6F-AA38-65EFB8CFD563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7bddaffb1f9cd344518276fafd95f1daf64afaa","datavalue":{"value":{"entity-type":"item","numeric-id":5027370,"id":"Q5027370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8129f3a97d6fd5347e729ddb5f0d96cc98871d","datavalue":{"value":{"amount":"+0.8156806230545044","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":"Q5027756$2C482095-7185-4C88-808E-B3EF276E20C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ff7bc94dca310a6bd3355c4e45046cf3a9c225","datavalue":{"value":{"entity-type":"item","numeric-id":5026795,"id":"Q5026795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1b71fc78b26aae06a5f5093cd3a9a9d8a120d3","datavalue":{"value":{"amount":"+0.7851132154464722","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":"Q5027756$F2267C72-FD73-44E6-A5F2-5A2BF3484457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc66f27de5ac312df247d45e1c272bba649d2a92","datavalue":{"value":{"entity-type":"item","numeric-id":2676095,"id":"Q2676095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c0dfac31cab1c4fe38c5272433d0b678a3c777","datavalue":{"value":{"amount":"+0.7463891506195068","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":"Q5027756$14D271A3-D68C-4E2A-9E1D-067C71A47A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c052b5bacfd0398b0c2c02026d22a9f79352258","datavalue":{"value":{"entity-type":"item","numeric-id":5433286,"id":"Q5433286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3bf1f9688d4b1d2d3f4b0114b13d7b808cc3e4","datavalue":{"value":{"amount":"+0.7212087512016296","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":"Q5027756$A8643E4E-2BE0-4BEB-8297-5784908B87DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5027756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5027756"}}}}}