{"entities":{"Q3510839":{"pageid":5540743,"ns":120,"title":"Item:Q3510839","lastrevid":88423898,"modified":"2026-06-04T14:29:14Z","type":"item","id":"Q3510839","labels":{"en":{"language":"en","value":"Automatic Abstraction Refinement for Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297073"}},"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":"Q3510839$918EB29B-AA25-4F17-92AC-98289650CCB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b3712b2a842a50c935d19aae64161f581a73257","datavalue":{"value":{"text":"Automatic Abstraction Refinement for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510839$4B8A52EB-6C84-423F-B4BE-212DAC2D5D48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44f1279c9769b6af8a5a904fdef03b58e227165","datavalue":{"value":"1141.68431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510839$A349D7D7-EE77-4F47-A976-867224AC7B42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5790a95a4fdf921f479ec0e94c0a2f722f80f708","datavalue":{"value":"10.1007/978-3-540-75454-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510839$32D70C99-49B0-4197-AC41-DF150F71AC32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9a9cccaad167939f3489dab6922592bb34a72c1","datavalue":{"value":{"entity-type":"item","numeric-id":436412,"id":"Q436412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510839$1B8A0DC9-CF5F-45F7-B7E7-46F31ACC8C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfcdc1e4557e8d6244f4a4a58a1a4c94b3e3f51","datavalue":{"value":{"entity-type":"item","numeric-id":3000657,"id":"Q3000657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510839$AC458946-89E2-4127-8E07-58CE1FCC4BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510839$82B09C75-D505-42F2-B131-DDC1F75B05CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510839$66191A1F-F9B5-4105-AA05-2D44BAA499F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510839$4A26D990-4659-4594-84C2-F521FEDB9C3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510839$B83032BC-398A-41EC-BEF3-127A6CA89F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510839$CC95D3AC-0CBC-45C3-B3F4-8C859BEE1250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"308fb5372b1180c86cb71e8255b4125114ca6f31","datavalue":{"value":"5297073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510839$F055A630-97CF-48DF-86A6-16FDAB39C052","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510839$28C1ADC1-5A31-42EE-AD42-C40F672F0A69","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":"Q3510839$0B75C523-94EB-40D9-8540-243857A2DC06","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":"Q3510839$2215F043-9869-4DD0-9BCB-FEBB536DF03C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f6bebe36eb203caba0e2d0bf849eb6834d0711","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75454-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510839$41B981A6-D07E-46DA-A08D-997EC737606E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd552b37debff6bf7be658aec6a8a66418a1e519","datavalue":{"value":"W1514172519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510839$15D62D2F-54B2-413D-B8D4-1C30A2BFFC85","rank":"normal"}],"P1643":[{"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":"9bfd09685910e5720d0e308a079e9804820eb66d","datavalue":{"value":{"amount":"+0.96369815","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":"Q3510839$37AB2B21-8E17-4CFF-8A8D-2D9BDA1F6B3D","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":"95e6c9848cf278e4f0fbfe6809c6927318b688e2","datavalue":{"value":{"amount":"+0.94193786","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":"Q3510839$39845811-3950-43B0-B8D2-2B6236AF04B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274488422d1b7207ff867c50e2a000d964e41bfd","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e6c9848cf278e4f0fbfe6809c6927318b688e2","datavalue":{"value":{"amount":"+0.94193786","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":"Q3510839$2B7CC792-DD32-4414-9901-13B97D0E5BDD","rank":"normal"},{"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":"534837217261b2d089acc796935c3de70cded7f8","datavalue":{"value":{"amount":"+0.9411317","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":"Q3510839$FD92CD06-EB22-4A01-87FA-8B3482DB0419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddadbc0aa725ee5764bb614552dd965beb9dc7c","datavalue":{"value":{"entity-type":"item","numeric-id":4551149,"id":"Q4551149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1fe327611a80e9d3471a1e9f8d0e4f145d1c84","datavalue":{"value":{"amount":"+0.9371916","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":"Q3510839$F866FCA0-353E-4389-842F-748C3C1D150D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a1b23db82c0030f1eed2e7dae094c6bffdda32","datavalue":{"value":{"entity-type":"item","numeric-id":360650,"id":"Q360650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c54dfc80d6117c3cadfb98b5052f3517b7187e","datavalue":{"value":{"amount":"+0.9037307","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":"Q3510839$7E602017-969D-4D3E-A886-EE8F17396D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e37e5d60cc234557cc37febbd6c437897cfa75","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9de48172dfd5ad7c322f6393361c7d73fadfd7","datavalue":{"value":{"amount":"+0.897405","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":"Q3510839$6E183E0D-E12F-4724-92BB-C7080069F059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103cba6e5f40e5da621232bdd9fc61950a6a27ee","datavalue":{"value":{"entity-type":"item","numeric-id":2576580,"id":"Q2576580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd69e69c1190e8178e9b3f52486126d2d4d62cf","datavalue":{"value":{"amount":"+0.8961289","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":"Q3510839$785488AC-8A61-4024-A3C3-0860B4D75EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b9cd3b8e54a0be7b93e6cfd7f93d1b838f43f6","datavalue":{"value":{"entity-type":"item","numeric-id":2827453,"id":"Q2827453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a306282086e8c0a7bb22925117f22a8a559b6a","datavalue":{"value":{"amount":"+0.89165425","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":"Q3510839$E61A9129-5DC5-4D85-91CD-E8387E43A90D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic Abstraction Refinement for Timed Automata","badges":[]}}}}}