{"entities":{"Q673868":{"pageid":675717,"ns":120,"title":"Item:Q673868","lastrevid":63477522,"modified":"2026-04-11T13:26:15Z","type":"item","id":"Q673868","labels":{"en":{"language":"en","value":"The algorithmic analysis of hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985807"}},"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":"Q673868$5D4C4772-7825-43E9-B5EF-4B0AB2101996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"795fd640a89414732b0498ed508c8c65aeb9c1cd","datavalue":{"value":{"text":"The algorithmic analysis of hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673868$6238BCF2-7DF7-430B-B0BE-5D9E58B89826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61736708ba160e094649aa8de9ab30f88644d977","datavalue":{"value":"0874.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673868$9FF07F2B-5E62-4446-AD1F-2A2D6AB3A5B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56d0b6a92033a938937a4677257a9b6bf1c24d88","datavalue":{"value":"10.1016/0304-3975(94)00202-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673868$D097606F-CAC9-4FDE-8D43-4BB0AD5D84BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$78C0B071-4BFB-4954-AFB3-E63F0ABE1BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673868$88758C52-3A9E-4256-9D05-7AFD3EA7AC7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673868$F020AC4D-615C-434D-A481-69749E4D7D78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b232034d428cc87e130768f949bc9ee378d9dae","datavalue":{"value":"985807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673868$A3762C97-0F9B-46A7-960C-EE6B0751EA59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q673868$6C24F41C-28D7-43CB-ACDA-8C517DE1E532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q673868$30BCBED2-9B1B-418A-9E7C-997D34344F34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$42C7CC47-6A0F-4D91-A796-F0E1FD244DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c2d89859cc335b0ba27e856d6b1afbdeb4530b","datavalue":{"value":{"entity-type":"item","numeric-id":689090,"id":"Q689090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$0A38315A-E105-499C-B667-1DF62A7C3715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"539273933714da8cccbd30c5d33862cc85176620","datavalue":{"value":{"entity-type":"item","numeric-id":1323366,"id":"Q1323366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$A59A3688-C8DB-4FCC-B41B-38B7D953D264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$B6F1E075-D772-471B-BDE9-77D3A1833A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b043bef7dc46cd8263914d1c26ba7b658fcc37","datavalue":{"value":{"entity-type":"item","numeric-id":1291692,"id":"Q1291692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$6A8F31DE-E156-490E-98C6-F452D6EEC901","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":"Q673868$D811B56B-9914-4A1C-AF9B-B552AE57B2BB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c696f033ea42c39a1f98d4422f2dee34812f636b","datavalue":{"value":"Q56338518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673868$3791D4EF-3B84-4B7E-9358-DCC3F23B1543","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":"Q673868$D0B98CD3-4AC1-4477-9C07-B68BB3835478","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":"Q673868$4D574C8D-B8EF-40AB-9367-89B7CC5C5CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881637adbe5bd4a8e1fe279ca2a0a9a662216680","datavalue":{"value":{"entity-type":"item","numeric-id":1856191,"id":"Q1856191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$1CA0E225-57A8-4721-AC41-EDDA2F361096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f22d5de0ed7493cc09714187c79ae1bcf6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$2296BC5F-C2D1-49BE-B975-D4E5E279836E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$EAA5C863-54AD-46D2-879D-C686FB8DA0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$2948F6ED-54F6-4FE0-8A37-C6DB697EE6A8","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":"Q673868$21540971-EAE4-492A-BD59-B757340DF670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043d2a9911135295eda6ada96f432b0f8ae3a25","datavalue":{"value":{"entity-type":"item","numeric-id":1323313,"id":"Q1323313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673868$DAC9B152-3A00-43FB-A2F8-159AB2680B47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f17a30be8b94023d2e11c3d5d0e0ad9f42c33976","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00202-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q673868$9A336CC6-AABF-4A0D-9980-8B23CC86D1A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7476386dabaa267464958fff7c0785c794188afa","datavalue":{"value":"W2004463571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673868$BFC5986F-A0CC-4A44-8086-933661A06A27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c96cd4a2916c232da181473f3a64f2cc728969","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8cf0a522265fea9aa9bedd03859dcb0cf0aeee","datavalue":{"value":{"amount":"+0.921972393989563","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":"Q673868$E9061C05-4CA3-4B11-979D-695240F01271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6791c788377fe8bcee549dc63fe9fdf00e0888","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092fa8cef30ce21a557b43035dfaf616f2a8b86f","datavalue":{"value":{"amount":"+0.8532004356384277","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":"Q673868$D17FAC26-579B-4637-889C-EB60916BC839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080dc784f97d422f30e56964afa2df10bc707388","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299e0484965060ac6fb1555b8ba10ef10b47d346","datavalue":{"value":{"amount":"+0.8357759118080139","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":"Q673868$063481BF-30EA-4EDB-8924-6FDC6458E112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b6e3008ffc3ca743afd8e7a3f0717f9671bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f184c9ce769162480cae37d5b5eb4494bab4b6a2","datavalue":{"value":{"amount":"+0.8336122632026672","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":"Q673868$D23D86A8-DAEE-458D-83F0-C0A31898ABEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5baa1ff0d2a89f74784a86394a5feb60447cb3","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50f3caee3e4b8b9601b9f438ce6db143b727f3f","datavalue":{"value":{"amount":"+0.8334581851959229","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":"Q673868$AF6873C7-F0D1-44E1-A337-90B55FD9D778","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The algorithmic analysis of hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_algorithmic_analysis_of_hybrid_systems"}}}}}