{"entities":{"Q3457811":{"pageid":5237211,"ns":120,"title":"Item:Q3457811","lastrevid":52417448,"modified":"2026-01-22T14:43:26Z","type":"item","id":"Q3457811","labels":{"en":{"language":"en","value":"Trace abstraction refinement for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521688"}},"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":"Q3457811$F9A5A20E-CEF3-440B-95CE-0C34C5EEEDD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1dcac529c1a0acdbb0b7377e52f749d441ca43e","datavalue":{"value":{"text":"Trace Abstraction Refinement for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457811$6975C722-A93C-4C76-A422-A11BDCDBD516","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab7548fcff047f2a76c2bba9904e3ac36ab9bc8","datavalue":{"value":"1448.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457811$D6EDD6D5-CCEE-4236-A19F-154A3D748898","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3523f4169677b56fbedb4cc2c46c26ab9361ef8","datavalue":{"value":"10.1007/978-3-319-11936-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457811$74853F26-3DDB-481E-8677-CB574244F838","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e94375fe0af59164f0d1b632a0bd9fdb567519","datavalue":{"value":{"entity-type":"item","numeric-id":385847,"id":"Q385847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457811$6DB6734E-1841-4F43-8862-8AA58340D387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d38469debc0e61c34eca5eada8a50c85a6ed10","datavalue":{"value":{"entity-type":"item","numeric-id":238030,"id":"Q238030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457811$BD489F1B-E000-4E17-AFEC-CA7B4736838A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457811$AE09646F-1ED9-4F99-AAF6-9D54F86A4FA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457811$E314C35F-4D6A-4220-BE18-FD35061BAECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457811$B4D937FA-1006-4E58-8860-B671DA5B7FE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94449d7514400e62cb56a906f9bb50384532d515","datavalue":{"value":"6521688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457811$D5AFA980-67D4-4EF4-8465-78F526A963D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457811$9CB399D9-F503-4426-9F48-D3C3C576C32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14ffaf7edddf0313e02a0934a6e0934cc3449473","datavalue":{"value":"trace abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457811$956F0084-FA5D-400F-98C3-93A8C5836952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457811$F1D74189-5200-43B1-802F-1A2624E9B8AD","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":"Q3457811$9686A077-C37D-4D82-A530-744706000120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bab71643419aac052f1c92e2a4f14ccc160357e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457811$25DA0D5A-A609-4F69-A791-36E79F39BFB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04bd99623d3bf5f9acf1f2228becbd86152a9f34","datavalue":{"value":"W418200074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457811$4B2DB1F7-85D8-4045-9784-6269251563DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd3becbff2700e21b7fb595713c29338fd314b9","datavalue":{"value":{"amount":"+0.7746962308883667","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":"Q3457811$3346CCED-F5E2-4E8B-9564-7A90B4680553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74099f0e08f9a378bb53697bd57ff0d5e95dde3b","datavalue":{"value":{"amount":"+0.7736568450927734","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":"Q3457811$7C361CDD-9E43-4FF1-8720-6D5A596D49FD","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":"d4f96fefbab9457f16b187874670c064d918f0c6","datavalue":{"value":{"amount":"+0.7735442519187927","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":"Q3457811$53296AC8-177D-446C-BB97-D0645F7A6BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7730acfea263f219e89a5cde2bb3279cdfb699","datavalue":{"value":{"entity-type":"item","numeric-id":1683455,"id":"Q1683455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238fdd99c0bef9546e2effe95ef3bb0f734fb0b9","datavalue":{"value":{"amount":"+0.7729554772377014","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":"Q3457811$3A2DB64F-8F88-4FAB-AD93-8349859F8F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0280d7b6eb934571faaa91fffc13b1b232eb136c","datavalue":{"value":{"amount":"+0.7716585993766785","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":"Q3457811$A9BDEEE5-3939-44B0-AAA3-95F9D485DC5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457811"}}}}}