{"entities":{"Q6154573":{"pageid":13288953,"ns":120,"title":"Item:Q6154573","lastrevid":58720776,"modified":"2026-04-06T11:25:00Z","type":"item","id":"Q6154573","labels":{"en":{"language":"en","value":"Abstraction refinement algorithms for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805524"}},"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":"Q6154573$A2578292-7E58-4CAA-9461-FD6A9864405B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a103f35bd32f8943b462bbafa63f1cacd49783f","datavalue":{"value":{"text":"Abstraction refinement algorithms for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154573$E2645832-B2BF-4407-BCDE-F3F4DA44F547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dc25362000c8bf2c0c797c37ad3d420fdd00e5d","datavalue":{"value":"10.1007/978-3-030-25540-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154573$70D2A875-6C92-49FC-A3BC-813A26D114BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f33efa815f8dda19c2cbfd58f31d8a5d3a6edfb","datavalue":{"value":{"entity-type":"item","numeric-id":6154572,"id":"Q6154572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154573$DDD49EDB-8B80-4A6F-8D48-1827340E14F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154573$7E3E43DA-5DB4-4794-853A-50562F669924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154573$1B1D0DF3-7F3C-49CA-9068-6B5A8C0B7496","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154573$17D0E9A0-05CF-4A1B-8AAC-D6940323BE4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-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":"Q6154573$0EA5C987-D7D9-48BF-BBFA-1A52D416ED56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f065aff6061cb702e4501dafa35aaae135b75cda","datavalue":{"value":"https://arxiv.org/abs/1905.07365","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154573$A31EDB0F-7D7A-44B3-9A4E-4208EAF72370","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154573$B3139BE3-5DF2-4511-BDBE-F2C360CC04AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154573$92BD8F17-4912-4C25-81CC-48B753373D63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ead79c46f7d86339d1c60dd629354dd7742b1c","datavalue":{"value":"7805524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154573$344D18A3-0029-433A-A2B3-39361E1F2BC1","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":"Q6154573$91CFD529-DB40-40EC-B79D-39CA6369B361","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2583cd1f5bebd6a9b0bff0d8ac893d1207151fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69aeaa89bce3b93cc12a3088fb3c32179d6af341","datavalue":{"value":{"amount":"+0.8633552193641663","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":"Q6154573$A868259C-8DBB-4406-AA80-522BC8E01271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbdeaf1c1cece30df620a4fcc42b82edb9df71","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b23108c94d06c5c72238a1083a90627d4a6a14","datavalue":{"value":{"amount":"+0.8355638980865479","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":"Q6154573$DD9102A1-2882-47D8-968D-F8700905B24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed4e0f7fb8a6fe0cfa20793fd9d8ff7a255bf6f","datavalue":{"value":{"entity-type":"item","numeric-id":3371683,"id":"Q3371683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8351ced0cd72b2044bf12cc8a449f0e5231e92a6","datavalue":{"value":{"amount":"+0.8301178216934204","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":"Q6154573$1AE093A5-2414-4676-BDAC-DD7CF272D304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcf5dade46bade62bd735e1a56145d78bc858ee","datavalue":{"value":{"entity-type":"item","numeric-id":5464759,"id":"Q5464759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72ae6aedb6357b73d199cb376f35a377a9016d9","datavalue":{"value":{"amount":"+0.8234094381332397","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":"Q6154573$29D0C59E-DB64-4C76-BF02-8279FEB1186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6948e93f69b608be9b9b40188f27feba5198ca20","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2135c08e7ecf4d8a1d4274aa6e0617d52ddc745","datavalue":{"value":{"amount":"+0.8074472546577454","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":"Q6154573$E8587B08-160F-45B8-B7B9-51DA2DE82F46","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154573$A7ACAC82-E02D-43E1-8AF6-18B0F4792087","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154573"}}}}}