{"entities":{"Q6487932":{"pageid":14066701,"ns":120,"title":"Item:Q6487932","lastrevid":47829802,"modified":"2026-01-02T19:49:23Z","type":"item","id":"Q6487932","labels":{"en":{"language":"en","value":"Synthesizing Clock-Efficient Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666482"}},"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":"Q6487932$A52E6216-AE7B-4BB4-89E3-6B67C4E3F333","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5584cbae010aa64477c8f4ce715cfd80a9782007","datavalue":{"value":{"text":"Synthesizing Clock-Efficient Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487932$C4B54D7D-3519-4152-A11C-F0AE1E6A836F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69ff902392cf15dad6d081d9dcd89b51828d0fcb","datavalue":{"value":"1517.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487932$C073EA01-FCEF-4A25-92E5-9184757BF1E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17111a06acc96fb1ae4e9940bfe2c646a1aaf5bc","datavalue":{"value":"10.1007/978-3-030-63461-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487932$F3894500-1BBE-44BE-B6F3-8797F128FE49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"412b5a81d3856c0049eaffb7f777fdbc9362e75f","datavalue":{"value":{"entity-type":"item","numeric-id":2038028,"id":"Q2038028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487932$3D42655C-CB0D-4140-905D-DD4AF5F405B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0872dc8578adeca4aac8ebfceede240f46755b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2038029,"id":"Q2038029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487932$A3EF9A9C-1207-445F-9C73-03B4D54EA207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487932$D0F693AC-579E-4426-A690-8E77F9ABEB41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487932$F310DDF3-C93E-469D-A44A-32674D208F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487932$D85CA149-7900-49A1-958F-B4367EA7A1C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c8fba4b176315084501f49b08a82e53fc943359","datavalue":{"value":"7666482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487932$3A1483F0-1363-42CD-9B64-4023800E52BA","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":"Q6487932$44BCE8CD-C0F0-4DD9-859C-50AED0134816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a243ce3959d70ba9c9e0366a6c4b7da09f1107c","datavalue":{"value":{"entity-type":"item","numeric-id":5045458,"id":"Q5045458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83a4b36d17bcdd34eb70497619dc027a109cb0c","datavalue":{"value":{"amount":"+0.8424017429351807","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":"Q6487932$38EA6969-4A99-47EA-8FCD-2434BD24E016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf5542ee6fb00f032122a6733fa91fd76778b30","datavalue":{"value":{"entity-type":"item","numeric-id":6165894,"id":"Q6165894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a10020d6bfb886f4dddbe6f34d39df4f29e506","datavalue":{"value":{"amount":"+0.7961134910583496","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":"Q6487932$67418966-7D26-4D36-80E7-4C48AFBCF577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9728ba59e65bf3ea8c4e4e144d3f4a49b5bd1021","datavalue":{"value":{"entity-type":"item","numeric-id":4561434,"id":"Q4561434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda31c674f9646ff0210b76182959bd94310aebe","datavalue":{"value":{"amount":"+0.7726492881774902","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":"Q6487932$87741170-A123-404A-95FA-6D95270B770D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a11751e45e5f51625fd7179cbabbd187dbd613","datavalue":{"value":{"amount":"+0.7528867125511169","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":"Q6487932$30E5496C-33A8-413B-9B8D-0759C00776C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043b736c9a0a8be3df6caa76e0b27711366befb5","datavalue":{"value":{"entity-type":"item","numeric-id":1648651,"id":"Q1648651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6be5d319f982217ccdab802e812ebe9d87dfd40","datavalue":{"value":{"amount":"+0.7528492212295532","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":"Q6487932$3C79711D-F092-4BE9-8EC3-DEA62B25B1FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487932"}}}}}