{"entities":{"Q5030200":{"pageid":7059777,"ns":120,"title":"Item:Q5030200","lastrevid":41222305,"modified":"2025-04-21T03:26:18Z","type":"item","id":"Q5030200","labels":{"en":{"language":"en","value":"Uniformity for the decidability of hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474239"}},"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":"Q5030200$A957D1EF-97ED-4D4F-BF69-682D6D0109B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfc67086ae49a2584073b47c67593f21093779c6","datavalue":{"value":{"text":"Uniformity for the decidability of hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030200$0FDDEE6A-B3F9-4844-A5A8-D68488F7A42F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7daeaed88e334fde54baa49c46607b12a21e480","datavalue":{"value":"1482.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030200$004B6552-B3D6-4174-A62C-661293FFD637","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063fd876dc14dc9a70d76c1ffd4b0dc58ab5f70e","datavalue":{"value":"10.1007/3-540-61739-6_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030200$A2875F0B-F58D-4B9D-BAC3-1BB065728B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f5eaebbf7c201717b30817262749feba5d5244","datavalue":{"value":{"entity-type":"item","numeric-id":209128,"id":"Q209128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030200$0CE40F0B-7A5F-4CC6-A8A2-BAA67DFB38C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030200$20B03C2C-C925-479C-9C6C-2C3677209559","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030200$53A0A8A9-C5EE-4AC2-8F3B-1132A5E9FFB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030200$63C16E83-178E-457E-9007-CFE0DBB7BF92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030200$CE31A8B2-297C-4B09-820F-77D967E2A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030200$B4F2A43B-8BF0-4BF7-B381-51837DCDF9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030200$A82DDDA1-44EC-46AE-B961-7AF06C075006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6822d060cbb9117bc4cd3b9902070cd66619e3a","datavalue":{"value":"7474239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030200$AA5A9FC0-777C-4337-86F7-2DACCE8CAD7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030200$DA118308-0F18-4C5D-95F8-753793AD7F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdbc2759372fdadcf0bb27bec89e17c62a4ba59","datavalue":{"value":"uniformity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030200$C82CA83A-0B6E-4CED-ABF8-2B0A00FC8E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030200$87EDE44B-9FB5-4988-BF88-380F3E74ABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffde7194d471b29859723e9aecd0265228fcfb8f","datavalue":{"value":"symbolic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030200$9F71FCE2-B18B-423D-A1B6-F7F3B62469B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135619413cd988bb49449c52c29a1d5a5e933405","datavalue":{"value":"temporal logic TCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030200$420EA5D6-2EF0-403D-9A7D-43A4EA00FCF0","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":"Q5030200$00E825F1-FAA5-48E6-8119-43FBDF0BDEB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7ae25a6bed5da2304a6390bd83d93075af217cf","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_49","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030200$1C1A10AF-7977-4183-826B-E40F959659F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9549f40380fded27eb7e543af17299120c947ddc","datavalue":{"value":"W1538288378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030200$C6F8F9CA-8F6A-435F-BD13-525CB66CDD80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be4a8100f6c1d999f8610e55b712c8ecf757568","datavalue":{"value":{"entity-type":"item","numeric-id":1854273,"id":"Q1854273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030200$897F6FFE-294F-4D1A-BD48-24ED0B4FAC3B","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":"Q5030200$A491C47B-A217-4C79-A923-830A06D3B9F8","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":"Q5030200$F076B44C-2463-4719-AB18-3AEAEDC93B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030200$3C2DB018-C700-447E-A3F8-92A09CD97BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030200$3DEB8F1C-126A-4441-9564-C7C5272FF1A3","rank":"normal"},{"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":"Q5030200$0D3390BD-793E-46CC-8FC6-1BA45FE65E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030200$6F9478CE-B137-48DC-9B82-460B1FE11CA8","rank":"normal"}],"P1643":[{"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":"1bcc8308ae5199006e4504d9ef092d8ca22c4c18","datavalue":{"value":{"amount":"+0.91550684","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":"Q5030200$8667FB62-B75F-44A1-B7D2-FDCBE4B103E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b156086851bdfc47649f0913d208a07d0f9d8b7","datavalue":{"value":{"entity-type":"item","numeric-id":5271416,"id":"Q5271416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e7b9c7aaa433feb1cd897e1b27fd4074ebaee7","datavalue":{"value":{"amount":"+0.8991847","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":"Q5030200$52C5A7F6-6B4E-48B9-B8EC-7E0FEA4B6482","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":"908395e03c377c7c4789ef1c5c5e2e30aa1195b4","datavalue":{"value":{"amount":"+0.8802923","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":"Q5030200$1C76C68B-C398-45A3-A8DF-5970BA2C318D","rank":"normal"},{"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":"8ddee4d7561dfcbc363485da3b5419ba5a07af5e","datavalue":{"value":{"amount":"+0.87961113","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":"Q5030200$75B9ADEB-4291-4F88-988D-1A5879908CEE","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":"e3c85342644e51bc313fb7be3ac58fe679792e93","datavalue":{"value":{"amount":"+0.8789439","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":"Q5030200$5D5F6712-28B9-4C36-A5D0-E0D80D589F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc74f099842054fb8a4fa3a9fc51f8c238c2a014","datavalue":{"value":{"entity-type":"item","numeric-id":2452663,"id":"Q2452663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e866aa6fa27d19dcb2821a330bf5a1744be077f","datavalue":{"value":{"amount":"+0.8755338","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":"Q5030200$B0336F91-1D10-48ED-B57D-62457E100488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3f4bc11a7e7f8d62f5a484faaa6d9a2ac44243","datavalue":{"value":{"entity-type":"item","numeric-id":3168195,"id":"Q3168195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f82f458037467792c7104efde108f9c215a95f","datavalue":{"value":{"amount":"+0.8748999","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":"Q5030200$4A333CE1-328A-4431-9103-4223FEC7FEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbf2b1b49da3d396da73e0d876dd6018452e360","datavalue":{"value":{"entity-type":"item","numeric-id":3172936,"id":"Q3172936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76fc62b41e693a0f741169c4f69211fe58da21a","datavalue":{"value":{"amount":"+0.87425095","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":"Q5030200$653FBB56-6D8A-42A2-9BCE-AA6EB0862D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5024a4b5deea7ef7c1d48b5a35b0b4ee9a3da3","datavalue":{"value":{"entity-type":"item","numeric-id":3826115,"id":"Q3826115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d1f5b2f8453a7d10adf6063045a68a2d0025c5","datavalue":{"value":{"amount":"+0.87375385","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":"Q5030200$6936600E-F858-49D3-9DCF-4F3547F0318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae2eb84b4cfb7314749649915df4076e6ca010f","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05722efbb7b4693cd09eba37f3284c5f52f94681","datavalue":{"value":{"amount":"+0.8734944","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":"Q5030200$18B4A0AF-D5FC-4238-82A3-2A884FC0DC7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030200"}}}}}