{"entities":{"Q342707":{"pageid":344474,"ns":120,"title":"Item:Q342707","lastrevid":61105239,"modified":"2026-04-10T21:13:05Z","type":"item","id":"Q342707","labels":{"en":{"language":"en","value":"Better abstractions for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6654480"}},"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":"Q342707$38725704-ECE6-4E3D-9800-B5374A713462","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80b36c32e277318e797ab575495d9777f5680efd","datavalue":{"value":{"text":"Better abstractions for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q342707$DD54B24D-35FB-4D98-9788-A77DF413651D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e3776a8505347ebe4fe304aa2e18f078b25f4a9","datavalue":{"value":"1353.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342707$D4CE3BDC-A332-48DF-AE53-9DAA4B155F43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$854B6BCF-A891-43EE-A2F0-9FA9700DBECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$83881750-7FF9-471F-A1A3-98C3CFC2851B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$A6D5C312-8127-42DC-B3AA-A97560F404D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$4B218881-AC43-4C8B-86E3-1B1B1ED2EF61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dac78b9bb71968e13ea8fc46c1617527ad28a13","datavalue":{"value":{"time":"+2016-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q342707$25C46B21-BE2D-4030-8EE0-BF1D0607E907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342707$B83EE41B-34D6-45BF-B5DF-5289C11DAA0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39b791dd76731aed405ede49b7bb3a04236ccf12","datavalue":{"value":"6654480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342707$4590E7A4-27F2-4509-A71E-41EC1FB6FCF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q342707$F3F781DF-972E-4257-A129-DB2FCF17CC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q342707$1AEA8C21-577A-4B9D-B5C1-B0E6B1470CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9573fc1be6dd886d2d97e2618cce00579607b18d","datavalue":{"value":"non-convex abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q342707$23C970B3-3EFB-4C72-8EBA-B985DACF1802","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":"Q342707$3303172C-0A45-403F-AB3D-7280BBBEAF9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"853395d5140aaa1f8f9dad70009957655922b823","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q342707$3F1D5846-1850-42E3-8517-10D9A03CDCA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8981a4628b0fafd94cc3a5b6bc711f003294d6dd","datavalue":{"value":"W2962719417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342707$6F8A6603-B8B4-44DB-BF9B-5684352B41B7","rank":"normal"}],"P223":[{"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":"Q342707$F7E11BF3-E7D1-45E0-B080-2A4B44D59E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$22D46CA8-14FB-4B56-9FB4-8E62F4F8A8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$399450C2-6E7A-40ED-A812-015127AFDEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$368592D1-B4B3-4DAF-871D-66240FFD3963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff032a9d76426de9e43307362d62cd3ad90a111","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$49FA2B98-0DFA-4775-854D-A15E5451169B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8481ab9e0e91b3afb04a32356b810f59e0965e55","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$59BC3B4D-1063-4959-B484-4087736AF0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492d2d99d818756060ecb10d008a00a1e30e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":2911614,"id":"Q2911614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$D0A2E7E3-7406-4536-81E5-5E4165B8DF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$61D53402-3D3F-4851-B43A-F4E54B273FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$D0A8651C-E0A8-4D52-8FBE-76E6BA0EC6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0c20225553192aafbc4437494eef2dc3c5319","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$B1A2E6A5-6642-42F6-8C51-20FFAAE14659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c63d982dc105c28707a995483aecf925525eec","datavalue":{"value":{"entity-type":"item","numeric-id":3922186,"id":"Q3922186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$69741832-3F68-4F0D-B551-A68C2218C611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbaaeafaec726b9880b2867e9d8a2d4208ea24a","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$A641DD63-0F81-4E48-B541-56394BC8CB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$4264EBA1-FF8D-4027-944C-8149A63EA28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19274c9c8fd29856d0baebec9035291e4b4c4769","datavalue":{"value":{"entity-type":"item","numeric-id":1044715,"id":"Q1044715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342707$ABB0584B-535A-41C3-9961-A3936BD99243","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0b34501f89f15fa139e565c3fb02d394b9959a2","datavalue":{"value":"10.1016/J.IC.2016.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342707$DA4547D9-7D26-4DB5-A39B-DF5878CD8BD3","rank":"normal"}],"P1643":[{"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":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q342707$C5082328-586C-4C37-AC9A-44C53BAA8CD6","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":"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":"Q342707$B3C548DA-A669-4191-931C-89AD8B641055","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":"279a5340437a1dca5dbce0331ae5a8581bb8c936","datavalue":{"value":{"amount":"+0.9323423","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":"Q342707$6524687A-168D-459D-BEAC-9209ACC653BA","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":"83109822f7dea206835065aa2666f5fcff44b7e6","datavalue":{"value":{"amount":"+0.91707224","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":"Q342707$DAE6A177-7E14-467C-9A9F-DDDB0C11A77D","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":"a60f2c2d68821bd7110274957cae579842ac790d","datavalue":{"value":{"amount":"+0.9027376","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":"Q342707$EBD2D183-50DE-43E0-B770-FE36D7DB6BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad365ed0e161c5a29b216c0e74615492c88db2f","datavalue":{"value":{"entity-type":"item","numeric-id":2852365,"id":"Q2852365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b821a7fc948b9cdbdb261385904b79828edd5cb","datavalue":{"value":{"amount":"+0.89829165","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":"Q342707$00038B28-EE43-4D98-A1B4-13F11BD3306F","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":"47f579ef72d3e04fb4e312f95053a16e7561b2e2","datavalue":{"value":{"amount":"+0.8957673","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":"Q342707$CC791ADB-C242-442F-83DC-4073958E3220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba7b13c3622cc6c7ff0fa6779909c79e5ffa820","datavalue":{"value":{"entity-type":"item","numeric-id":3614852,"id":"Q3614852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbaa3c262914545cfeeebcf6556628722bfa414","datavalue":{"value":{"amount":"+0.89492524","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":"Q342707$D9F41249-86BB-4200-A3DB-4B4A85F3A6F6","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":"7a7c5fd5fab97bb596360a8923cc203a33b143ea","datavalue":{"value":{"amount":"+0.8906418","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":"Q342707$E438727A-CF0A-4062-90D2-F24588BBFBB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Better abstractions for timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Better_abstractions_for_timed_automata"}}}}}