{"entities":{"Q2988912":{"pageid":2999636,"ns":120,"title":"Item:Q2988912","lastrevid":45213421,"modified":"2025-12-02T18:03:32Z","type":"item","id":"Q2988912","labels":{"en":{"language":"en","value":"What's decidable about recursive hybrid automata?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721609"}},"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":"Q2988912$3317C4C2-0A3A-474D-8469-7592A89F80CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ce1cbbc2ffc887ee6b059575cb356b0e04fc9d0","datavalue":{"value":{"text":"What's decidable about recursive hybrid automata?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988912$50C9BAAB-9268-4890-BBDB-F0FC6C789DB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28d2357b680188f55b840b8b4ca738253f6ecfff","datavalue":{"value":"1364.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988912$C055561E-6325-4FA6-B1B6-D3329C324917","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfef985ec44ce192ecc9e6871607693bf4092305","datavalue":{"value":"10.1145/2728606.2728624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988912$4C02BBEF-6DC9-4F35-80AC-B328A4AE6B0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$80C16359-9334-4DB3-B4C8-F31EA6668127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5b97891df93576345681864c9eebdf5a29a270d","datavalue":{"value":{"entity-type":"item","numeric-id":537905,"id":"Q537905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$4F981D85-B6D1-4959-988B-E753E8019B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$48867D88-9B39-4C1A-A8B7-B132992C81C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$DD3C248B-E2D8-483E-9853-8E7C96811954","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988912$B47ABE77-A409-4639-B189-F095E604C25C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988912$75950AEA-2762-4D3B-90F4-E8712E54B033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"070513e1891b8c36bb166f008347c76df6b4ecf5","datavalue":{"value":"6721609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988912$3228D72F-1314-4A94-B918-94B0F0697ACB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988912$6C992DE5-57FC-4E43-9480-3E02BD7F441D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08536d4c6c121e3817ee42e01ac97d338e51d79d","datavalue":{"value":"recursive state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988912$59A1701A-2C3E-4542-8665-F4518BF95DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29190c9bc7b278ccf8af996a8916ca328d37ae47","datavalue":{"value":"Simulink","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988912$1ED4443E-0A0B-4FED-89A8-C165C8C4AC12","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$C4B9275D-7E36-4382-9EB3-92AD28D13587","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":"Q2988912$858F6DFB-F956-48DC-925D-7870DF7D10F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e094f2dca5c5197cb08b3bb7658953989bc0e26","datavalue":{"value":"https://doi.org/10.1145/2728606.2728624","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988912$1D5B2407-EF02-4F7E-9C17-5FC894AEA5EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b54a125d803ee2dbda4f8e331f0ea9f35ea5d3dc","datavalue":{"value":"W2083004834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988912$FBB56E86-9F94-4FD8-9C8F-49B19AB5F84F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$3BC4942B-0F94-4F9B-8389-DEB212115FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$15C4FB74-09EF-4DF0-8900-67D240DB3254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$7C15412F-6E77-4332-AB94-58871A7B36FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$97592487-96D9-403F-AF7C-A1A50B01D445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$4DFF676E-2922-485B-AE1E-A359C5BDE794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988912$A1924147-8A24-4A43-A117-F22EC543B83E","rank":"normal"}],"P1643":[{"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":"b18fe841d03fe31f0e368f4cd3aceff09e80f364","datavalue":{"value":{"amount":"+0.95453817","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":"Q2988912$43F37AC1-72ED-4331-9FD0-5F88290BD224","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":"b18fe841d03fe31f0e368f4cd3aceff09e80f364","datavalue":{"value":{"amount":"+0.95453817","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":"Q2988912$ADCF5E5A-1262-4879-A420-2F26FF4FFC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb722afd27ebc7214dfedd75ba520cc8caa9e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2064522,"id":"Q2064522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bec113912fd2547b5cc2ff7fe8349d2816a751","datavalue":{"value":{"amount":"+0.8327698","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":"Q2988912$5C5DAF22-DC1F-43F8-AF75-A2E69F03692C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0e6329ae00a442a2a8b77b842d5dbf0aba463a","datavalue":{"value":{"entity-type":"item","numeric-id":3172937,"id":"Q3172937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2120eafe63806e89268f529fc50d929435ebc68","datavalue":{"value":{"amount":"+0.8327697","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":"Q2988912$978E2704-DFEA-43F4-A2B2-17BF9138CBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d5b5aa9b3fe9637e6c9a08621d64d4bd2805ef","datavalue":{"value":{"entity-type":"item","numeric-id":5897775,"id":"Q5897775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f91f8ed5aa08ced01e3bd1b6853fee5ae88f85f","datavalue":{"value":{"amount":"+0.80934554","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":"Q2988912$2F5CEF24-4E1C-4EB6-B510-9AA331D71601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9326e5b0cbc990f169282df3d776b073e67d1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4686606,"id":"Q4686606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378d431cdc10f315dd3b0874cf5b8bfe68da4e4a","datavalue":{"value":{"amount":"+0.7953845","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":"Q2988912$B70197AA-B433-4803-A5E6-D0D7E4749908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbfe010d596e8ac920a08f5a9f8d04cbff0f70d","datavalue":{"value":{"entity-type":"item","numeric-id":5714448,"id":"Q5714448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b801905c1e4f363dafa4a24929f2f30fbbc453a0","datavalue":{"value":{"amount":"+0.7809758","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":"Q2988912$52914360-2564-45B2-BC79-C8BEF325A6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff000cade6691582759525a6f426e2c884ee56b","datavalue":{"value":{"entity-type":"item","numeric-id":5030200,"id":"Q5030200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72c914abd8dbc3caf52a62447397b534ba04a03","datavalue":{"value":{"amount":"+0.77923244","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":"Q2988912$528C8024-374C-45D9-983D-E9FBB3D2A8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe06c2944f041f18177ec45ece81e2db5c6b751","datavalue":{"value":{"entity-type":"item","numeric-id":3172861,"id":"Q3172861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036760644c9a3dd45d8eae8b5aa281dec29c7635","datavalue":{"value":{"amount":"+0.7772996","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":"Q2988912$EC5E4599-B8F4-495D-B330-004177170419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746bee748268317fad09b9a6b29bcf5c32927c35","datavalue":{"value":{"entity-type":"item","numeric-id":4484488,"id":"Q4484488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb25192e5108508627996f434603772b007b25d","datavalue":{"value":{"amount":"+0.7771104","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":"Q2988912$377EB30F-E399-4C6F-AEF8-12F59614CD36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988912"}}}}}