{"entities":{"Q5026795":{"pageid":7056372,"ns":120,"title":"Item:Q5026795","lastrevid":41387790,"modified":"2025-04-29T06:19:08Z","type":"item","id":"Q5026795","labels":{"en":{"language":"en","value":"Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7470880"}},"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":"Q5026795$1F13D05E-6FB1-4069-918C-377DF0C32156","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a3f9c73a7544c9928833635de1814eb87dee7d7","datavalue":{"value":{"text":"Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5026795$5F6DD7C6-5EC0-4949-B985-995EE72DEC8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8b93f2259c1940fd7da5111a8bee68a63ceb9a1","datavalue":{"value":"1483.93378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026795$3B4F19A6-8D5B-4A99-938D-D2B6D506C4C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc1ecf3858dc5be02a6de5841def425bc54a0e56","datavalue":{"value":"10.1080/00207721.2020.1783590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026795$42628A13-8B38-4F18-93D2-BE321A84A1CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5026795$FF8DCE6C-405D-496F-8E06-70E3A451DAE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026795$BBC4BBDE-DD0E-4F3A-BF40-79951F119716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026795$9A0F6FDC-2628-4ABE-9FCC-419CC5BD21D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5bc850efb57718f8497af55f559776989de771f","datavalue":{"value":"15A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026795$0B10FBC2-8F9B-4141-96E9-C17573369959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab6a8de6fa6510f342b305f57e078b92b7b05f0a","datavalue":{"value":"7470880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026795$ED3996E8-541D-4E02-B65A-E4AC8FAF4EC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5026795$079462A3-2259-43FC-8230-13C88DEA7082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e66311f55d3c88dd906cfe8a00bdfcc58094fad","datavalue":{"value":"timed automata with guards","type":"string"},"datatype":"string"},"type":"statement","id":"Q5026795$EAB39E2C-77AC-41F8-B563-653C3B27A4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b7ed210977ddcf35f702bdfd8023434bff468f","datavalue":{"value":"(max, +) algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5026795$7282AE77-D907-4FD1-AA94-D3E18AEF3F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ef7c701323872e6cfbfa52e2308f7a316901c4","datavalue":{"value":"(min, +) algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5026795$4E831DE4-CABD-4677-97C7-2C3FDD61882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2efc59737e716d9f5781140e951a587c062466d","datavalue":{"value":"behaviour analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5026795$BA663A71-7536-47A9-BAC7-2BE22F0F716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5026795$1DB3B5FC-48A5-49A5-9510-F1B6FF930CA3","rank":"normal"}],"P1463":[{"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":"Q5026795$12B0735A-31CC-4DED-B35E-8488ACD9DEA2","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":"Q5026795$FBE55FFE-C47C-4BEF-B820-BFFC91FA0DE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd5d7702af2406cd7bcbfc6c7fb2ac446cef7349","datavalue":{"value":"https://doi.org/10.1080/00207721.2020.1783590","type":"string"},"datatype":"url"},"type":"statement","id":"Q5026795$290DF02F-98FE-498F-8B6B-1C2C2243115F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c274078b3d81e2f2d96abbfba3b00b27231c16d0","datavalue":{"value":"W3040592832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5026795$0E80EB4D-9608-439C-B748-FFF9B69FE677","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026795$F4A4895D-09A8-4347-BE4B-D022DF0A59B5","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":"Q5026795$8183D104-112E-4700-B79D-D1FEEFDA2E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f0714afabfabab4e9bd2b5341b70fc9e1c35c","datavalue":{"value":{"entity-type":"item","numeric-id":2348373,"id":"Q2348373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026795$44B94D34-B7E5-40A2-9E6A-06CD216A0B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2839c1b09b89d3dab4edc740e274b7fcb6bae27","datavalue":{"value":{"entity-type":"item","numeric-id":4875977,"id":"Q4875977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026795$AD18033F-8665-41AB-B273-5C5BA3506DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99475709ee4f1ffa75f1adb92d7c49c09dee59b4","datavalue":{"value":{"entity-type":"item","numeric-id":4506745,"id":"Q4506745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026795$824F54DC-BB68-4570-9779-0C49EFAFAD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3421056fcaa1a73c4defbe0d385cba62ebc04c73","datavalue":{"value":{"entity-type":"item","numeric-id":843993,"id":"Q843993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026795$FED033C1-A816-4774-B6C2-0B0288EC07A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026795$14FA0DB3-F819-4B18-A41E-91D06EA2755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3d519d5d185c16b9a35f288908c4c5f4a2b089","datavalue":{"value":{"entity-type":"item","numeric-id":5027756,"id":"Q5027756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5026795$D8457F23-569A-42FB-93FF-986ED29A850F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61130eafb682de55686da180e87aaba93ef1332f","datavalue":{"value":{"entity-type":"item","numeric-id":444476,"id":"Q444476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a759cfc0314a615338c51bfecd09f8a101f4d544","datavalue":{"value":{"amount":"+0.90749556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$A1D2051D-C684-47F9-A20E-F59A052EF67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d1946d29b321ddde00b181c7587b95e084ef55","datavalue":{"value":{"entity-type":"item","numeric-id":5027756,"id":"Q5027756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfa4d2dc710a71e2ce98723df2715d556175bde","datavalue":{"value":{"amount":"+0.89902806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$5F234522-090C-444B-9538-42D32FEABE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8fc154f275b093f5e331f073aa76fc4df3dc3b","datavalue":{"value":{"entity-type":"item","numeric-id":5464766,"id":"Q5464766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5540a231bedc3be5fb0d01bacc8a43a34dc3123","datavalue":{"value":{"amount":"+0.88050425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$7EA0E532-E7C1-4605-9D5C-D4357E6A39B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6783cd62bedcbcd725505e1cce6864b824fd011d","datavalue":{"value":{"entity-type":"item","numeric-id":5386000,"id":"Q5386000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854133f86385171039e9477b5ada10600e1fdd37","datavalue":{"value":{"amount":"+0.87565106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$C4BE91DA-551F-4754-96C2-A1F8ABCD1544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214632f75dd6877d69499b4281856f9aefe710a5","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56759662d9f87007ae31c633c56b44624866a7e","datavalue":{"value":{"amount":"+0.8718284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$C46353F4-FB68-487D-9B56-DAB6EF49C5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951a7851600ca36e3f4b674f8dd0005c0cde3ecc","datavalue":{"value":{"entity-type":"item","numeric-id":1996031,"id":"Q1996031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa05ee7dab7450fecb34b3bf867b38233e69877b","datavalue":{"value":{"amount":"+0.8630363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$0F9AEC53-3378-4958-A80F-FF77F8173B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa5c8c6b024ced56a76eaa9541bb0c1c59b17ade","datavalue":{"value":{"entity-type":"item","numeric-id":3095705,"id":"Q3095705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055992e42c34db0a6cfc10b07ad98656f3f88d9f","datavalue":{"value":{"amount":"+0.8623771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$7A17A5CE-30A9-4DF8-AB08-3ECEC859DFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b8c55406f713585b94534c150d79dd99dba6db","datavalue":{"value":{"entity-type":"item","numeric-id":1683445,"id":"Q1683445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51685bc0075176c05ec998988628f5c89c8c7775","datavalue":{"value":{"amount":"+0.86006445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5026795$B0A72031-F733-4984-8F2F-E5D58066EEB1","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":"Q5026795$34A0D1BA-9881-416E-93CC-CFB67B4AE6C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5026795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5026795"}}}}}