{"entities":{"Q2643633":{"pageid":2654376,"ns":120,"title":"Item:Q2643633","lastrevid":50151950,"modified":"2026-01-13T06:59:40Z","type":"item","id":"Q2643633","labels":{"en":{"language":"en","value":"An algorithm for timing verification of systems constrained by min-max inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182959"}},"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":"Q2643633$30E5BBA9-9520-4471-A561-D4F844BE8BB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47e4b7830fc7ed00e60ff0dbc60bcde160313ac3","datavalue":{"value":{"text":"An algorithm for timing verification of systems constrained by min-max inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643633$64E49E9E-2669-4AC4-9EC3-3AE3A06927CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6015081f4ec585a70a288470d247c52b3b7a258b","datavalue":{"value":"1117.93046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643633$CCBD94E1-CDB9-471F-B6C0-DFA1D867D2A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75628a80d934f98a86c7ee21be3efe93a919b6cd","datavalue":{"value":{"entity-type":"item","numeric-id":1424970,"id":"Q1424970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$6F907410-460C-4FD3-9B6D-115BA05A3B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cc8181a72b3868a20976ce83d75d1a765866558","datavalue":{"value":{"entity-type":"item","numeric-id":1286417,"id":"Q1286417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$379F1CE0-AF83-494F-92F2-9460750062B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$26DF3EB5-5608-43B9-808C-A94A8B5A56E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b09aca3aa7cf2e4777f30c65432cb22c512993","datavalue":{"value":{"time":"+2007-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643633$5B267E89-3FEF-4FB5-8DCE-2BD26CBBB6E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643633$E074B44D-5A16-432B-B766-A0A1C1C5AA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643633$5EA04886-7DF2-4DD0-91F1-64122C38A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643633$E154B186-B610-415A-94C3-133CBDE688F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9327da3d1c886fa02a0166d3fc5730cef38c08c7","datavalue":{"value":"5182959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643633$4528C05A-98F3-4C6C-A2FB-83212024602B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9524cbbd5d17f3d10c5be8bfef332e623270e8c1","datavalue":{"value":"Min-max functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643633$5A55CA08-FE75-4CAF-8778-D145AA300053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf043ca72a2f5b9b6bd48e3a264f8a4a3c9ade75","datavalue":{"value":"Timing verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643633$668F0192-AE17-4D49-809C-1A95C5F6F665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d0c4760e99ff1d56cb32a475f8cbceec004170","datavalue":{"value":"Asynchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643633$A327C6B8-5731-47B8-9888-58500414C376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d58f805b06f7f01aa33ffc246cb5617521be643e","datavalue":{"value":"Max-plus algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643633$D3599A82-2AF3-45B9-B22A-58477108E512","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":"Q2643633$DCFF33EC-B0CF-4B29-A5EA-8B4BA7A66CBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aee3716459f610dcd6ae21b504e732e6d82b4c25","datavalue":{"value":"https://doi.org/10.1007/s10626-006-0004-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643633$B06D8C26-D07B-4AD7-9BAA-D4F66FDD737E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"def7d488d432e9c43b5c9fdf0b6c0451fe2c6938","datavalue":{"value":"W2023198549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643633$26810BFC-425D-4A67-8DAF-354CBCE66DCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$5F35AB47-5919-4806-9D77-C17713E4EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"083f3977b376f4fb4c5709f3851d0281a38d7de5","datavalue":{"value":{"entity-type":"item","numeric-id":3199186,"id":"Q3199186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$A3260806-7C73-4DDE-85DA-03FF3271CCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e61f8441509654bf2928132624b027177e4c86","datavalue":{"value":{"entity-type":"item","numeric-id":1424971,"id":"Q1424971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$397339DB-157C-4FBC-B764-D1D7AB11F7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d2727faade2158b4a2b73c9485262f253ec897","datavalue":{"value":{"entity-type":"item","numeric-id":1773101,"id":"Q1773101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$AD2C7804-ADED-4AA3-A714-D65D7F6A67F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33eea5721bff836697e566c4e7758cb205199c3f","datavalue":{"value":{"entity-type":"item","numeric-id":4943971,"id":"Q4943971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$FF39345A-56C6-4A8B-886C-4D2DC4A30790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"addd4fb76d70d3fdf7c4716a20114c92f0c584f4","datavalue":{"value":{"entity-type":"item","numeric-id":1916031,"id":"Q1916031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$7DABDD28-7D6B-4417-A16D-2365AA20664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe99a4386b013118805224dad6887552aadea2d","datavalue":{"value":{"entity-type":"item","numeric-id":1866003,"id":"Q1866003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$82421C8F-F2A2-4557-B66F-548705083C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b332a0596b6f830747e911275c5219b5930e7bff","datavalue":{"value":{"entity-type":"item","numeric-id":4229967,"id":"Q4229967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$BCDE26A6-97A5-4FC6-973C-11674DC94DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a088d62d6969f1e088590d85fc9e0adf2d530c83","datavalue":{"value":{"entity-type":"item","numeric-id":1338772,"id":"Q1338772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$C6F61EF1-D95C-4DD8-A07D-DD8FF9A798AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87275d8f3e3ee98146b4e4dd034a7f8953926332","datavalue":{"value":{"entity-type":"item","numeric-id":5200628,"id":"Q5200628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$405BDFFE-CCA5-4528-BB60-72BA421970CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fada9330dec8ac31e0d2ead3067f7e3c00a2b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":4421149,"id":"Q4421149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$842B04F5-C291-4446-B07E-D589C06390F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254c2576aea4ab0c444686d5989eb29f5d4d461c","datavalue":{"value":{"entity-type":"item","numeric-id":3885557,"id":"Q3885557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$2F67A521-5101-48F6-96D9-4A341C3A956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a974afeec0e5f1a5c1e8de04fc62990956be7737","datavalue":{"value":{"entity-type":"item","numeric-id":1185284,"id":"Q1185284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643633$8171D8F9-2F0D-4DA0-9873-3E4D4BCA39DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"937b26983868b067877c6c8b57adadf2884255b2","datavalue":{"value":"10.1007/S10626-006-0004-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643633$85B3AAB2-8720-4276-B6A7-FA33FF7880F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa019500696bee51e6cf6816961b1dd9f13fa04","datavalue":{"value":{"entity-type":"item","numeric-id":1773101,"id":"Q1773101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97497a7ca22875e3a79868282a590348cb067e20","datavalue":{"value":{"amount":"+0.878889262676239","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":"Q2643633$2AC5B136-D7C7-48A3-8420-14462A7E4D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37769c855a5dac692993a908aa9a360e47d65aca","datavalue":{"value":{"entity-type":"item","numeric-id":955027,"id":"Q955027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbc2cebf6805d5143952d518d5f3e0508b24bb9","datavalue":{"value":{"amount":"+0.7659987807273865","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":"Q2643633$4D287652-F426-4418-BF26-AA8DC059A9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1925ba593036391a86e9dd9248131a742c6ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":1847541,"id":"Q1847541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9f008f2b8b838241bd3f6fcbe4fc8872610caa","datavalue":{"value":{"amount":"+0.7634051442146301","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":"Q2643633$28C35587-8D76-41B4-B80A-0455A7F0D644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2243bb224715cd51be56596ee4fe88482e2fcac","datavalue":{"value":{"entity-type":"item","numeric-id":4421149,"id":"Q4421149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd97e15e721882314099080c6e85616516770518","datavalue":{"value":{"amount":"+0.7431142330169678","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":"Q2643633$180F6AAB-AA06-4DF0-9A7A-29E5D864CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2360656b3457ff912618a66362a4fe7c464f21b4","datavalue":{"value":{"entity-type":"item","numeric-id":2870195,"id":"Q2870195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9251090fdae3c42acdad324799043b7e5afc6320","datavalue":{"value":{"amount":"+0.7356377243995667","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":"Q2643633$332E119B-C6DC-4425-B093-4CF88C3C805D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643633"}}}}}