{"entities":{"Q631775":{"pageid":633623,"ns":120,"title":"Item:Q631775","lastrevid":63112137,"modified":"2026-04-11T10:40:06Z","type":"item","id":"Q631775","labels":{"en":{"language":"en","value":"A Kleene-Sch\u00fctzenberger theorem for weighted timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5865597"}},"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":"Q631775$C7442625-7D67-4336-89B4-B1460366FA0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baaf4e1395ab51d772b1ce8e6eb06104cdda0c21","datavalue":{"value":{"text":"A Kleene-Sch\u00fctzenberger theorem for weighted timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631775$E453D075-9151-4390-9782-4CE6B16A43E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79f0ace1ad8a1cacc40c88008ac6dfe1d1a225de","datavalue":{"value":"1217.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631775$C61C7F91-3322-4A0B-A55A-72948A456A35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$B9C73033-7D5F-4B09-9F50-6576C96F9580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$B3A609D9-4F47-407D-AF79-A68797F01CD9","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":"Q631775$74880007-1625-4434-9B7D-3187E671813C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f05c15c599566c03aa1303bff626bf49bc05676","datavalue":{"value":{"time":"+2011-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631775$850B644F-CB53-463D-A357-D5A8DC053979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631775$B8777579-0AD9-4EBF-827C-236590DB17A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"defb61620dd26d09e6ac2b18ac9dc291eab86a41","datavalue":{"value":"5865597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631775$F58057A2-0D90-4CD7-96EC-2A4FE1E193EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1830611f60e73ba6d127e5cba1326aed2487f131","datavalue":{"value":"weighted timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q631775$C75EAA5D-2C09-4736-9362-D6F65383D2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe0e9c1690761646a780890bf40c4c7318b6a53","datavalue":{"value":"timed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q631775$7B17BAC6-60A7-400A-AF9B-1D7D7B5D08B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q631775$CBE1B4F9-349B-4345-B37F-78425963F482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q631775$9902DBB4-5F8D-4C52-9E77-420357C441C3","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":"Q631775$8BE320E7-7404-4210-BCDD-9188DA817155","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":"Q631775$4E7AF10C-196F-45CB-94BB-DD6E5C7EE207","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":"Q631775$D9A7FBC9-7335-4EB6-A754-41748B4515C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa6c3bd74034254be2e2ee3e7bc53e619543e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":37398,"id":"Q37398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$3DC044E1-9306-4EB1-9754-0911C305717F","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":"Q631775$37DC22A3-8467-42DF-A67C-E7795CFD4EF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82f899aa5030f45d2b3ca978c3c234894b5e058d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.12.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q631775$3BDB2839-8C50-48F9-A8B5-F18E9F9F6F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"512784803bcb9717d697d82142e62250f31259b0","datavalue":{"value":"W2011033500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631775$FABAAF67-AA11-41F4-ACC0-96D4E25D50F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5352eafda026df0ca8bde0e787c3dea427f206","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$E6E4BFD0-D20B-48C4-85AF-AFFD920A7136","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":"Q631775$898AABCC-7299-48A1-A06D-A70AFBE50D49","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":"Q631775$E4890EDC-A4A3-433B-8BBB-A6DDC43516F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$AE7285CE-76F4-4541-B9E4-F38FD88AB8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$76D1282D-9ADF-4435-BCF9-355BF9534A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c197e3f29ab967906174be198c67b7201d31a","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$C6746B34-6422-4E33-B8E9-B666F2225880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5b3d6aeda69b574e70ae8d08d539a06c4ace4c","datavalue":{"value":{"entity-type":"item","numeric-id":2842862,"id":"Q2842862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$A26D703C-76EA-44C2-AC71-A4A5F6844C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$D82BF5DC-FDC2-4057-8BDA-F3729F3A8FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"048f68cf64c420b65793f180e204dba1f39b9b4a","datavalue":{"value":{"entity-type":"item","numeric-id":1608368,"id":"Q1608368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$AC8F1032-F612-495F-A10A-EB3E31B71AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$AD18268A-36E2-4C4E-8DE0-AE62F4EB316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6802d82655e278b484a9d306dee8d435b453532b","datavalue":{"value":{"entity-type":"item","numeric-id":5506336,"id":"Q5506336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$2018BD68-E15F-4EE3-A75D-994BDF9F25F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdf01c69f7501607279007f3e30fa33ad7afa90","datavalue":{"value":{"entity-type":"item","numeric-id":2385195,"id":"Q2385195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$28A4C023-2E7F-416C-8F86-AD672827CD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b510edf59a7fcfd0982ca5637cd8b0703312929","datavalue":{"value":{"entity-type":"item","numeric-id":844195,"id":"Q844195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$0766499D-11EF-4EFD-A14E-1F2DB3DD01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9072211bc574ac741d8ae42224fb3b6d393140","datavalue":{"value":{"entity-type":"item","numeric-id":2475633,"id":"Q2475633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$4C1B6261-BDDA-42BD-A41F-41B919317C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862c656519f91e1b00008f6478b9f9b5597ff0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2849560,"id":"Q2849560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$25FA7852-69B0-42A6-B08A-8EE3FDD999D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40431ea2dd1f32731c9acc9463eddec865c67dac","datavalue":{"value":{"entity-type":"item","numeric-id":5758051,"id":"Q5758051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$A8D7B330-1A6C-463E-A7C6-310EB6D0CA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bc727c27a14efcc86708d7d1fdacd68b85aab7","datavalue":{"value":{"entity-type":"item","numeric-id":4938626,"id":"Q4938626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$44C37B07-6F17-4EFB-B454-C39F09B1C13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c0984502a816834ce049f382eb7c21fa2061d6","datavalue":{"value":{"entity-type":"item","numeric-id":4807830,"id":"Q4807830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$F4457979-F7B9-4380-94F7-B75DCBB3EDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1cca5805b0cd78664cf35a1eb9a2408c930a5","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$AE2E56E6-173B-4E79-BEE8-FD8746F7B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$3F468AA4-E019-40E3-8088-1937BE56AB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1225aa5705457015a24ba7b5fdafcaa0cbc0925b","datavalue":{"value":{"entity-type":"item","numeric-id":5458356,"id":"Q5458356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$EE03F635-3572-4452-8540-F9AAC9DB2764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cf2e257980afbfe50fe7542b934873b0b4b294","datavalue":{"value":{"entity-type":"item","numeric-id":5072544,"id":"Q5072544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$880C4F28-7AD1-4DC1-AE93-3D19BB770773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b173c8f26a3c9eaf0d364be27435c435277355b","datavalue":{"value":{"entity-type":"item","numeric-id":3431478,"id":"Q3431478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$331444EE-E095-47DC-B871-A1CA0E05ECA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf974818a62e9192b1f9ab686210be9a7940362","datavalue":{"value":{"entity-type":"item","numeric-id":3431479,"id":"Q3431479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$7C83AAAA-6268-4EB2-84BF-14BC9B5DB84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6640a7758381c344a0ee4d9534b5727b14a5ddff","datavalue":{"value":{"entity-type":"item","numeric-id":3624034,"id":"Q3624034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$FC8B4DA7-9EF2-4EAB-9536-39C6BB1510F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$9C9F06FD-EDAE-4CF2-A4A0-3DBC1C73DDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$555C6C56-01C3-4A8C-862D-3ED817F65CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$4EF845EE-CA1B-4B84-9947-DC050696DDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$1E819CDA-AF9B-4E6F-AD6E-4A25002B38EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c71ce73b214624ee6fbfe1323f4eadc379e630","datavalue":{"value":{"entity-type":"item","numeric-id":5705878,"id":"Q5705878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$A4E6C511-9B32-4178-A1E7-61A1F7DA4F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feaa3361e9beb6453873fb817744278f15121e10","datavalue":{"value":{"entity-type":"item","numeric-id":4953404,"id":"Q4953404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$76D464A8-C4D0-4B47-A7A3-E67A9007628D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdb6c1e278264601bf963f965d4c08a8d95315c","datavalue":{"value":{"entity-type":"item","numeric-id":3648835,"id":"Q3648835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$A43682A0-8FB2-428D-B6F3-F55319DFD235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3ea9c596ffadafd480b0353105f443a116489d","datavalue":{"value":{"entity-type":"item","numeric-id":3637244,"id":"Q3637244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$613785B8-E4D2-43A7-BF20-E269F0A4E951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713050731a29bc2e96d472f8a9ab4b7845ae636d","datavalue":{"value":{"entity-type":"item","numeric-id":3574978,"id":"Q3574978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$66A90D2A-F173-40F0-B4E7-7602B0AAFDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2e9e00ed215b4c00ce416793c753a5efc25dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5308409,"id":"Q5308409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$30A94AD5-9B17-4DA7-951C-89018683B5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$EDB6DD06-C60F-459A-81EA-6E33D7A32FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631775$0D1231CD-98FE-4723-BCE1-43268517C8CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c83f2def04009414a0ba025828a1d85cd5f01734","datavalue":{"value":"10.1016/J.TCS.2010.12.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631775$61ED7864-E8FF-4B3A-AF09-E683FDA61BDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d663ac3b918ce88b0afc6fa4fea5c1063fb263c","datavalue":{"value":{"entity-type":"item","numeric-id":5458356,"id":"Q5458356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e06af6e8bde3dd8380a161ca93bea545b4f7605","datavalue":{"value":{"amount":"+0.9842230081558228","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":"Q631775$5EE2EF9F-7EA5-46CC-BC5C-EA21927B2C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a252667062555b7ba19efdd00b53da09782d64","datavalue":{"value":{"entity-type":"item","numeric-id":3574978,"id":"Q3574978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4900a3e22433cca489c928de73fe689dd4094f","datavalue":{"value":{"amount":"+0.9118258953094482","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":"Q631775$B43B826A-02BD-4394-AFB3-44583B1824E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947c7699810353d85656b3ffe476c0649a9413ee","datavalue":{"value":{"entity-type":"item","numeric-id":963467,"id":"Q963467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de212621173ed43ce881a3e7221afef7f365385","datavalue":{"value":{"amount":"+0.902532696723938","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":"Q631775$020681B8-138B-461D-A1E8-9D7177657617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2454099eabacf2989a90707bc45c987562b46d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3648835,"id":"Q3648835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18533236e11524460534f477aa3b97c0e910926a","datavalue":{"value":{"amount":"+0.8338260650634766","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":"Q631775$6724009A-CBB6-45B6-B6CC-DAAD0AA6312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c743a02e83fe9482eb1a697b14746a25285bfed8","datavalue":{"value":{"entity-type":"item","numeric-id":5167836,"id":"Q5167836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b9fab0fbf1533fef4ec92b7ce200f0eeafe95e","datavalue":{"value":{"amount":"+0.8016366958618164","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":"Q631775$A4438413-D439-454B-A6C4-8AD589C92815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Kleene-Sch\u00fctzenberger theorem for weighted timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Kleene-Sch%C3%BCtzenberger_theorem_for_weighted_timed_automata"}}}}}