{"entities":{"Q2842656":{"pageid":2853376,"ns":120,"title":"Item:Q2842656","lastrevid":83484896,"modified":"2026-05-07T08:14:18Z","type":"item","id":"Q2842656","labels":{"en":{"language":"en","value":"Spectral gap in timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198973"}},"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":"Q2842656$ED86F2C7-1856-474A-9E6C-022F91BA6852","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"006910659c57a70a90d236e2a44705039273c422","datavalue":{"value":{"text":"Spectral Gap in Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842656$9820352D-0ED6-4727-AF4C-400B219C3E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0093ce4d5241cad5d098e333e9008a10ab1aa1d9","datavalue":{"value":"1390.68372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$6CB96837-CB2C-4CB9-9720-0FEAEAFF9A2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"126bf998693cbe4964d35f03ef525d52517e1ccd","datavalue":{"value":"10.1007/978-3-642-40229-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$65125C6C-2DED-411C-8E96-4DE0941FDA23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63340cd02b3dacb5365f90854ea53492575e06e0","datavalue":{"value":{"entity-type":"item","numeric-id":418138,"id":"Q418138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842656$C80D16F2-45D5-4B29-B688-5D083BE59093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14dba23157fff59c506ec932698c3eefbed1da56","datavalue":{"value":{"entity-type":"item","numeric-id":727970,"id":"Q727970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842656$05855502-B309-4E5C-8EDC-7C530141F13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"879fbffd6050832603bad16ace4bc19a77133384","datavalue":{"value":{"entity-type":"item","numeric-id":1631229,"id":"Q1631229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842656$CD56F634-65E4-4146-B04E-D22D646566DE","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":"Q2842656$A54F7FD9-40C4-4B53-9F31-C40280BF0114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842656$60158FAF-27A9-45DF-82BE-B88B626FC25C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$2E5F9295-2931-4938-840C-DEE1F9445B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56cb628f65395dfa34fd3d28d27ba37f3e94cec7","datavalue":{"value":"47A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$EA668F9E-39F5-412B-997E-8DAB6CDE2634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98b07b73be2dc39abd863cacba189555b3998ca2","datavalue":{"value":"47B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$CA353D28-6C43-443F-84DE-44A387A897FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$59627477-7FDD-4365-AB57-05385F10EA71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be1c3ef01dbdebceffd02da1dae03ebd9e80e832","datavalue":{"value":"6198973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$DEB8D06A-6FD2-42A9-8E03-E63DE77D85DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842656$41DA2943-1E8B-431D-9401-5E5AB9DECFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2675bbfdf936fcc82c8feda2fe3d6c3d8c0ce583","datavalue":{"value":"entropy of timed regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842656$A989119C-36A4-4B9C-9463-293816046480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e7ae386de2625f38d87e396db86df8274cef0b","datavalue":{"value":"iteration of linear operators in Banach spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842656$B2561356-4265-4B2F-9381-DD733283D8E8","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":"Q2842656$F0D5BEF8-07DF-4F2E-A8B4-0295F7758A8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c17b4147cb35c97c1d8b54941a3f1f1b3937118","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40229-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842656$A2A303BA-5E18-4076-8DC6-6E3E5FD084E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73b0ba8a60afc34beba6810e07d3ab22366c018e","datavalue":{"value":"W1749689099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842656$66E1234B-09B8-4253-BF1D-C96023C3C25B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae529ac4c78688fe5dbdac1119b3acb4686536d","datavalue":{"value":{"entity-type":"item","numeric-id":2343131,"id":"Q2343131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2145b4774f84c7de2f1f71769475aff67fee6c2c","datavalue":{"value":{"amount":"+0.8068669438362122","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":"Q2842656$9C825170-FE88-49DA-A800-008D6AA8EDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d62ec97678046fb2c10f1295ce3b157dc83c9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3648816,"id":"Q3648816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af526ffe777dac780f3f8eb3a4b72a3a7a18dd0","datavalue":{"value":{"amount":"+0.8045220375061035","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":"Q2842656$5F604587-F2FB-4432-AA81-141A8850C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b92b9111dc84fa3a9ee545147f27639367bc5d9","datavalue":{"value":{"entity-type":"item","numeric-id":5327423,"id":"Q5327423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c1882b4d1fded06b875da0fa4552892ed2bd05","datavalue":{"value":{"amount":"+0.7388426065444946","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":"Q2842656$E5975708-A480-4788-91B2-1DAFE537E3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfca1fe26ed9f4368df95cb48e2e390fbc95c9e","datavalue":{"value":{"entity-type":"item","numeric-id":3184666,"id":"Q3184666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4faec03859daacdac571206d77283c0074747cd7","datavalue":{"value":{"amount":"+0.7380660176277161","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":"Q2842656$4204E3DB-C7DF-44FA-804F-267F2902288D","rank":"normal"},{"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":"5d2d6ca2adf5c3923431576a682de498dd1277a2","datavalue":{"value":{"amount":"+0.7250169515609741","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":"Q2842656$861668E5-466D-4803-AE32-BA48F7D9F193","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spectral gap in timed automata","badges":[]}}}}}