{"entities":{"Q4645189":{"pageid":6674770,"ns":120,"title":"Item:Q4645189","lastrevid":41211821,"modified":"2025-04-19T18:52:41Z","type":"item","id":"Q4645189","labels":{"en":{"language":"en","value":"Hybrid automata with finite bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999443"}},"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":"Q4645189$90265B67-6037-4C8B-AF21-B708E4BEB9B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50650340c0df9352b5738b7b35a517aa17bdb0cf","datavalue":{"value":{"text":"Hybrid automata with finite bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645189$2D9C0830-C4EE-4900-B060-BA6D95AE4116","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc9a19dafa981d5b2016c035c9158c8ec7fea81d","datavalue":{"value":"1412.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645189$7066B1A0-A406-4C9D-8A8C-750254C3FA56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d578d88df37401968bdbf38fb09fd7030acf295","datavalue":{"value":"10.1007/3-540-60084-1_85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645189$31E612F7-4D01-48A8-8305-D01081E5E568","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645189$02CF1308-593F-441A-8A82-DC9FAE53E173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645189$B716BDD0-5A87-4E96-8ED0-ED8E055A2151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645189$9096E1B9-C1F2-4557-8664-C057B88A1354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645189$49940DA4-5606-47AC-A554-544809038E87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7544d796bf8e8522d14a9467a85740119be1d122","datavalue":{"value":"6999443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645189$E802A982-683A-4CF7-B149-4E053B16487A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645189$D3531B82-3C0E-42E4-991F-29948C77E2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32760d6d6b065a6d37fa10734e535c84f2425377","datavalue":{"value":"phase portrait","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645189$2DC14811-51BD-4DED-8C5C-7C26EE84EF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645189$86C09A5A-AEAB-4EED-ACC6-9FC9198875BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8acb3ebc9a8c651e2696150544343341ea8ea280","datavalue":{"value":"final region","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645189$0CE8ABFD-A5A3-4090-A3CA-15F851B0E0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59eda70c244fb8c63c77f7a6a36a125fd8085ddf","datavalue":{"value":"hybrid automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645189$22AEDE72-3AEF-4906-A03B-840251985895","rank":"normal"}],"P16":[{"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":"Q4645189$85B092D2-3883-401E-9CB6-676603F241EE","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":"Q4645189$6E1C5BCF-25D9-4757-BA31-3873D4418BFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a69c1a60a6f1658ce0ae66fcc1f3f04b7c3c367","datavalue":{"value":"https://doi.org/10.1007/3-540-60084-1_85","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645189$11EA92F1-1607-4A54-A1C9-AE5BC2E06D3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80abb7ca217bd0bd758f44bb4dea29e9a0f20c12","datavalue":{"value":"W1515514400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645189$F55737DD-8AC2-4D9F-B16E-0425AEBCA6EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb33de39adcd013a90106b3534dea2849e02335","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645189$71C5EAAF-A446-4202-BFFE-52FE066EF314","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":"Q4645189$1297A700-D793-4A96-A967-D14F2667268B","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":"Q4645189$73F7FBED-6731-4600-8A61-5C4642789622","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":"Q4645189$375F0933-9CE1-4B61-B8F9-74DD34CD45C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645189$80B9FAB3-6305-42FC-A593-DA3172DC0703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645189$41C18B17-054E-4180-A4DC-93385803C98B","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":"Q4645189$A542C5BD-2E3D-405F-BF32-BE351526E2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645189$BCCD46CF-2D3F-448B-ACD4-7FCA88837786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645189$538794BF-D4D1-439B-B5D6-81436A25504F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645189$C94A3EE9-5A28-4CF3-8485-948598197E18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9eae44cfb833ec39971a01d1729d67f631f4584","datavalue":{"value":{"entity-type":"item","numeric-id":3002398,"id":"Q3002398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abb88dbee996b578e6829a4de93e5ab053486dc","datavalue":{"value":{"amount":"+0.97323424","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":"Q4645189$53409F2A-BB4D-4F72-9575-74EFF3636CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d380b44a034f3f3ac31417d35fc4053c86bf1db","datavalue":{"value":{"entity-type":"item","numeric-id":4246819,"id":"Q4246819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda233eec02e88f94cbc2363f262c305abd137e1","datavalue":{"value":{"amount":"+0.9275555","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":"Q4645189$B94954C7-0EE1-46E6-B979-2818C163F368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98af17bf6e88f2daebbd9e050e794ce33d276261","datavalue":{"value":{"entity-type":"item","numeric-id":3503090,"id":"Q3503090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72117e42c4c8e4b868b47a5e35e445f7353a5223","datavalue":{"value":{"amount":"+0.90964407","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":"Q4645189$132328B6-427D-480A-9491-BC5C43856AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d94c052bf05f5fa35ef9593d123a587bfc896c","datavalue":{"value":{"entity-type":"item","numeric-id":5757246,"id":"Q5757246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72117e42c4c8e4b868b47a5e35e445f7353a5223","datavalue":{"value":{"amount":"+0.90964407","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":"Q4645189$03ABE85F-31E9-498E-B7D8-55478FE5904A","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":"b7f2f36537f0669a69a103678a28f3eb0da8842a","datavalue":{"value":{"amount":"+0.9012942","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":"Q4645189$9340A83F-EA39-429F-8427-C8DE679BAFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094638c95d193ac81f9e78b35ae3c2560d0841d6","datavalue":{"value":{"entity-type":"item","numeric-id":5899091,"id":"Q5899091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e86c623774a2d034704db4e95ff23b5eec5335a","datavalue":{"value":{"amount":"+0.8994436","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":"Q4645189$8CC72C22-67BF-4B70-8221-3C5C3187F885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa82f6ea9d03fdd24c361260d49086ca921bba7","datavalue":{"value":{"entity-type":"item","numeric-id":2643331,"id":"Q2643331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e86c623774a2d034704db4e95ff23b5eec5335a","datavalue":{"value":{"amount":"+0.8994436","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":"Q4645189$3B80CEF4-68BE-428E-B39B-70B05F60F7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4457c43e78286dde6f78d95204033b2cb15e313e","datavalue":{"value":{"entity-type":"item","numeric-id":1822987,"id":"Q1822987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf72a2aa5c1e00af88b5a9e92f5878605c392c4","datavalue":{"value":{"amount":"+0.89817464","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":"Q4645189$674F51BC-FC79-4481-A948-A9BEFC0F59EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8d704ee1ad136775406f62ea3bb4ea54a73442","datavalue":{"value":{"entity-type":"item","numeric-id":4907865,"id":"Q4907865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cce6c07be8ebd3973bc576b412d85b0e1acd4d6","datavalue":{"value":{"amount":"+0.89744747","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":"Q4645189$73467862-4190-4DDD-A32B-5958AEAE1387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824e3987c18b67e69c97307b82d5c66e4f4338c6","datavalue":{"value":{"entity-type":"item","numeric-id":5703947,"id":"Q5703947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769d8c5dab6d484536b0c195f2620c4e698eb546","datavalue":{"value":{"amount":"+0.89568675","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":"Q4645189$F0E8C0C0-9BE7-4750-A87E-1BB0F3CFDC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645189"}}}}}