{"entities":{"Q5496927":{"pageid":7526487,"ns":120,"title":"Item:Q5496927","lastrevid":101390540,"modified":"2026-06-06T01:08:43Z","type":"item","id":"Q5496927","labels":{"en":{"language":"en","value":"An introduction to timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6392099"}},"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":"Q5496927$46428F1B-190D-48E7-9192-521FEF2D31CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a1f91f83c867c71e7c82d8df90429f9d6fe1fc5","datavalue":{"value":{"text":"An Introduction to Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5496927$7E4D655F-642C-4CD2-BC7D-A67BF9DC1B76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8070c876894c5df2b0aa3e445172796dba183eb7","datavalue":{"value":"1304.37012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5496927$21025D02-3A94-421D-98A0-07E9EE79ACFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04dac61f16057d8bd7a9f8badb17d6c5a6817e41","datavalue":{"value":"10.1007/978-1-4471-4276-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5496927$236EA2AE-33A6-476E-A5D9-CC340E00694F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$DF05198B-3947-480E-9788-77BF8EB2066C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"155e985900d22cc01b6943cc57ba4fa7954e6cc3","datavalue":{"value":{"entity-type":"item","numeric-id":163623,"id":"Q163623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$0B0EC339-030A-4AF3-B5C4-49FFB0C32EF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ea6e7fb684b9bc14b6b40d30cc5284091e7d873","datavalue":{"value":{"time":"+2015-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5496927$AA8FD703-FAA5-428C-B4B2-35533C73D2D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9f75a1ea6a1b050032188834d6ec5de5f473dd3","datavalue":{"value":"37B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5496927$91DE9D7F-F278-435C-B7CA-B740CB4E1052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5496927$42B7BC60-88AA-4AD9-9B3C-C8C1D17C02F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d10b0a30e0d7a753ba4bbaa00f9ac1eeaac25c","datavalue":{"value":"6392099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5496927$67599649-8B4B-4D66-991C-CA87D4BB7C3D","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":"Q5496927$1BC3B071-DD7B-49D6-B8AB-F0700699EFAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41a61201f75ba1b6fa114cccc024ea92436c522a","datavalue":{"value":"https://doi.org/10.1007/978-1-4471-4276-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5496927$3E72C14C-C257-4F2E-8C59-33C693D9A8FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc5ebe9e46891746b25d176d51db9157454a7b18","datavalue":{"value":"W125458475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5496927$CAFB99EB-6E5D-4ED4-AAAB-2ED9BD82DE29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$83ECDBAD-6FF7-4489-8B33-1667A30D6A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc0911cb7be98f43519203bc3ebef0a5545df71","datavalue":{"value":{"entity-type":"item","numeric-id":3510831,"id":"Q3510831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$B0CA93D7-E5E7-4F74-986F-562D11725C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$9BFF70AD-97BB-40BA-A78C-714DD038E0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$B14D1BF7-C168-4219-92AC-2DB90839EB65","rank":"normal"},{"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":"Q5496927$E8C53C69-99F3-4109-A875-14968DC1AC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$D268589B-B958-4B5E-A6D8-3F762E276C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f687387610ca14687017d6e2190a17e698ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3396001,"id":"Q3396001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$09023B3B-D0C4-4351-9C3B-57D3BB556CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b3b9b331b9f238dfcaf9697c18afb0978b607","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$6D012776-41D1-47CB-8D6D-01E846E92186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$D630BFA2-5605-4A1F-8AB2-4965BD74680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$3ED3FFB4-ECA9-460A-A86F-00BE60DF6883","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":"Q5496927$507E7EED-78B2-4CAC-A79E-AAAD648A91FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c60393cde82ef7df97e2ce0153b095b88b59c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3635988,"id":"Q3635988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$963377A6-2BF8-4AB2-8E9C-AD1351CB08E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14de50424f29f300a6c1ab092bcbf44384126978","datavalue":{"value":{"entity-type":"item","numeric-id":5437180,"id":"Q5437180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$65360393-A053-49A6-A8DD-8BC2928C8C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$641CE650-0B61-41CC-8CC2-5C276E8284EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a882ddb213a4d6ed482eb68dc25e4cee7f55653f","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$F21A89A9-981E-4DBD-A100-A350A14461B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$CF6B25BD-33EE-4CD5-9CBC-7B2406A59FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da48475d7ba2f07a2757220d5a2fcb9ef58ab9f","datavalue":{"value":{"entity-type":"item","numeric-id":2465026,"id":"Q2465026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$31AEA209-19A7-4D8F-BE18-060BF0B5D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b128595e2f50d35c99036ebd76df5d5e493730f3","datavalue":{"value":{"entity-type":"item","numeric-id":4593944,"id":"Q4593944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$21982940-52E1-4996-B60C-5D58115EC333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9f0ec80ec6d7cbcb87923302232ebdad5d185d","datavalue":{"value":{"entity-type":"item","numeric-id":3543291,"id":"Q3543291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$DFDACB8D-226C-43D7-9D16-AD9A1F77ABC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3c7781dfb7ca96860d8ab07237aa2e50a38e7","datavalue":{"value":{"entity-type":"item","numeric-id":5717493,"id":"Q5717493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$85A898D7-F993-4B2B-B43B-41004C760D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5496927$9367743E-A93E-40CD-8737-16AF6E0571A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f685f8d80299844ea336974cf8d5a5cb362041b","datavalue":{"value":{"amount":"+0.8638498187065125","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":"Q5496927$CADDC8A7-AB7F-472E-8035-DD9639DF64CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb2bac3a317752e86dade779f2b13adef849411","datavalue":{"value":{"amount":"+0.8616474866867065","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":"Q5496927$9B439872-65C5-4830-A4C0-44F0D0041B1F","rank":"normal"},{"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":"d253e400d98d4d67e9322fbfc1b9c61947f375e6","datavalue":{"value":{"amount":"+0.8577204942703247","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":"Q5496927$4714C14D-B840-497C-90A3-9FA2D3FF5016","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":"c088f832c9a9e26811f3ba1fd6bbbc0cddde9d9c","datavalue":{"value":{"amount":"+0.8545946478843689","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":"Q5496927$F12978B3-B6E9-4EC4-A8B8-A2DFA0CE99E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683e2d18d36ecf93f4588c1e5b6a135b47cdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5418249,"id":"Q5418249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aec0dd1714b2a8fffe06ea897ca3ea6f35dd387","datavalue":{"value":{"amount":"+0.8415991067886353","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":"Q5496927$368753E9-B473-4276-91E5-E7D77BC50068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An introduction to timed automata (scientific article; zbMATH DE number 6392099)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_introduction_to_timed_automata_(scientific_article;_zbMATH_DE_number_6392099)"}}}}}