{"entities":{"Q1044715":{"pageid":1046563,"ns":120,"title":"Item:Q1044715","lastrevid":69844500,"modified":"2026-04-13T10:43:45Z","type":"item","id":"Q1044715","labels":{"en":{"language":"en","value":"A quadratic-time DBM-based successor algorithm for checking timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5650139"}},"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":"Q1044715$36706E7F-4811-4162-8A31-CDD873C8E383","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e066bb48ceb419274ec4e58e1e3be4c3190d3022","datavalue":{"value":{"text":"A quadratic-time DBM-based successor algorithm for checking timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044715$B118B4C3-EDB1-43CD-848F-3006EEB45E60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33b8a024792789c87038bd0405dfa171fb2cb232","datavalue":{"value":"1184.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044715$87642B6B-4A44-4448-AD5D-C6A64F7640C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$F9D9ED5D-750E-4CC6-A3C7-FB8E323B6889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ad75cbc7b202078ece6ef2ab63950e2c3e76530","datavalue":{"value":{"entity-type":"item","numeric-id":201218,"id":"Q201218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$94E4C394-625C-42B1-B4B4-E3AFA184D1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3852316af958c20178ec1a1e2d66e86501196c69","datavalue":{"value":{"entity-type":"item","numeric-id":280413,"id":"Q280413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$73862B74-F204-4C8B-B820-E9A7861EC87C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$3807E940-0A7D-42B2-A60B-E6176C26B2FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f6fcb376ebdd62ff7d154537da52d56e95e1f2f","datavalue":{"value":{"time":"+2009-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044715$D9142103-8B45-4611-AC91-5A42ECC5B27B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044715$9950910F-AF19-41F1-9BB2-85393021092E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044715$42B6E566-38F4-425C-B058-A5FBA757D60C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e3d7eb64d6da8979bd2fd25916c8d4c87216498","datavalue":{"value":"5650139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044715$813138EF-99C7-4BF0-9C08-C5B4FAE1610D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044715$7640244B-203B-41EA-89D1-1645E6A22C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044715$E05B86C6-383D-4238-B19D-2E0AE632C103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044715$D8FAC30C-C2A9-4F5D-BD0D-CFDA7CF2CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1304034bf7baf4f63962c90114cffa1ede3460","datavalue":{"value":"difference bound matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044715$B6BDEE57-5779-4DA6-AED0-D67A1B6B770E","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":"Q1044715$B9F6659D-F46D-4C52-AE0D-795E2BC9E2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$3197A7DE-4E19-4A9E-B706-A2811B4A0F2D","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":"Q1044715$06F099F4-0DE0-40B4-85C6-8E5E8808059E","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":"Q1044715$F7898286-17E4-4A5D-AB2D-3827EFAF1B9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"375a9de4a9228fc624c27cca1c2896f07af13814","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.05.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044715$000F4CB0-327A-49EA-8BE3-757D03E074F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a84592db4b82d27bb443eaa58ff5bcfc5077f79","datavalue":{"value":"W2046894268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044715$C4CC2E37-DF71-4275-B266-871C633A5C71","rank":"normal"}],"P223":[{"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":"Q1044715$6EC0728F-C168-47A4-B6C0-E5915304BE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1431b1d28c35765997792dcf4749c05511b1250","datavalue":{"value":{"entity-type":"item","numeric-id":5717500,"id":"Q5717500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$519111A9-488D-419D-8F61-958CDA8E70A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2f6d9e95ba73935895f0d9510488752c2578c0","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$3E234711-7FA1-400B-9365-A09CB7420BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044715$2F1D495B-86FB-4AE1-ACED-0ED5707BDB90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75b57206ce8feb3c910ce6b6cc5cee79292e2d4d","datavalue":{"value":"10.1016/J.IPL.2005.05.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044715$142B1724-9E1B-4BE3-B829-1A946BFE11F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac436fe8850ed35acfbd6f4bdd6c3fce1244753","datavalue":{"value":{"entity-type":"item","numeric-id":3511228,"id":"Q3511228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78a6f846ca60d68b245b5c8d2b43574f4b40325","datavalue":{"value":{"amount":"+0.7987515330314636","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":"Q1044715$7E519A1A-8133-43A7-9292-9BD6C3B1827C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fe55809537f3f4274e3e2bc000cea62560a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3510836,"id":"Q3510836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ba381058fd725046c0b9167202187fdb9b1dfb","datavalue":{"value":{"amount":"+0.7831357717514038","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":"Q1044715$7F8C7027-370F-4B3A-A130-93E65FE793D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e37e5d60cc234557cc37febbd6c437897cfa75","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6d7d1fee0c384222e3439a00bebf67752dc70d","datavalue":{"value":{"amount":"+0.7488012909889221","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":"Q1044715$5EA30893-C900-46E9-A016-2E94A1ECC66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b455afd0d674c146d51c4e48875bafe8f664428","datavalue":{"value":{"amount":"+0.746742844581604","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":"Q1044715$78BE3083-1BFF-47A4-B1E3-BB39448D765E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b9cd3b8e54a0be7b93e6cfd7f93d1b838f43f6","datavalue":{"value":{"entity-type":"item","numeric-id":2827453,"id":"Q2827453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d04128c12d207fffc6986e3e4dc08c9243cb773","datavalue":{"value":{"amount":"+0.7458390593528748","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":"Q1044715$7EDE948C-82BC-4200-BEED-9099397B8059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A quadratic-time DBM-based successor algorithm for checking timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_quadratic-time_DBM-based_successor_algorithm_for_checking_timed_automata"}}}}}