{"entities":{"Q3584962":{"pageid":5614866,"ns":120,"title":"Item:Q3584962","lastrevid":90331430,"modified":"2026-06-04T19:54:01Z","type":"item","id":"Q3584962","labels":{"en":{"language":"en","value":"Behavioral cartography of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776493"}},"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":"Q3584962$6A3A77F2-16CF-43BF-A4AB-F1D512651ED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d4a5d73b356faf5480fe9f788feed460fb8e96a","datavalue":{"value":{"text":"Behavioral Cartography of Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584962$B3D9BF1B-9C27-46F9-AD96-8C31143A6BDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cbdb8389dacd265cb38f7bbbe979e5deb52cb61","datavalue":{"value":"1287.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584962$0BBC9E84-4339-42A9-98DD-1CDA0D75872A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7785236050dbc0ab97302eaf6a6fe5dffc11c163","datavalue":{"value":"10.1007/978-3-642-15349-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584962$BC86515D-A20A-459D-B8A2-D2E82382DA40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$EFDA2DA1-4194-4599-9A16-C1D2A5DDFEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$6D4B98D7-FB64-4B55-B739-8767D50E7D8D","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":"Q3584962$99B79EAE-D98D-421A-B67A-2800E6F1D24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584962$247172D9-18DC-4EC8-90CE-7D3064B989BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584962$2D81B4B0-4226-40A7-863C-BCF6377AD882","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7f86d3aab00e3df555788231feef7c960af658c","datavalue":{"value":"5776493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584962$8945855C-1884-4277-AAF4-5F1F71EE108B","rank":"normal"}],"P1463":[{"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":"Q3584962$36A5AAB6-752A-4267-B04B-98BD4E222052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$EF10BEB4-D588-4695-95D0-75A6B3FFBA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$85940721-132B-4A95-927E-484260286832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$B684BAB4-270E-4E0B-8518-B574E20FBEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$9AEEEC27-AAFB-4850-8E21-D0B10F15474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$74B2986F-2784-43BC-B848-898D452E25EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584962$87589B71-AD40-4519-B5E6-8CD2F41AD9D5","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":"Q3584962$6E58E015-D7A7-46C9-B656-C5CF1C6D7761","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9500ab5aa365810ccb565044340933d5e66ef015","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15349-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584962$BC8F423D-BEE5-4D7B-8189-E9CBFB1E31E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f595beee9a467c4d1ecc5dc0e2cf47b4c27cb108","datavalue":{"value":"W1574769711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584962$EE680A61-29C0-497A-870F-9753DEF457D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28c6ada71aaa9a8347bd0702cc760c0cea100c0","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe81e7674e2d64138046cdfd04e0423d7b922a4","datavalue":{"value":{"amount":"+0.7679224610328674","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":"Q3584962$95EB6B00-F11E-4A05-A093-7A71B92D94D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1eb60b224758ea028efe2a5bf57da98b0e2d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aecf7a9d206d7be4da214900ed1c13f6d8a55df","datavalue":{"value":{"amount":"+0.7666587233543396","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":"Q3584962$FF29099D-D4BD-4928-B2D4-D8F400AF9C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a083ae7da9b9dd6e7c69613a4208b6d1596d","datavalue":{"value":{"entity-type":"item","numeric-id":4982084,"id":"Q4982084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16af73c5891abf82a766aa1703fc3d13c97ba9eb","datavalue":{"value":{"amount":"+0.7458754777908325","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":"Q3584962$513E4877-0C20-4DEB-A49A-F36776CFF28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a548d3ffe1432116b19cfbf332ac3b3e1478675b","datavalue":{"value":{"entity-type":"item","numeric-id":3559774,"id":"Q3559774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40931bfb1803de7bd6fb3bf46b417952e0784b87","datavalue":{"value":{"amount":"+0.7413250207901001","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":"Q3584962$9E72DAC0-271B-465A-A95B-82D6668DE497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca667b81cc4da7a803ded53555710c6946a1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2636513,"id":"Q2636513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a555485bed0758ea5ed26633eda6989db2b029b2","datavalue":{"value":{"amount":"+0.7315776944160461","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":"Q3584962$6D25261B-9B96-4484-A84D-CE8433CE358C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Behavioral cartography of timed automata","badges":[]}}}}}