{"entities":{"Q553334":{"pageid":555101,"ns":120,"title":"Item:Q553334","lastrevid":42580319,"modified":"2025-07-04T08:48:34Z","type":"item","id":"Q553334","labels":{"en":{"language":"en","value":"The efficiency of identifying timed automata and the power of clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5932335"}},"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":"Q553334$653E34DF-0453-45DE-A383-B616C711FBDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b10aa146cb9f879b845654fac0fa5220b75d1a78","datavalue":{"value":{"text":"The efficiency of identifying timed automata and the power of clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q553334$419CCCF5-B4CB-4CF3-93AD-C00C7CCE3315","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8925c0c619235c5c535b5e68bb3ad999f927c04e","datavalue":{"value":"1217.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553334$AECBA558-1807-439A-9BAA-D8DC62CC1AAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f0bccc0bcb0c3b2b5645577749caae7fc43177a","datavalue":{"value":{"entity-type":"item","numeric-id":420917,"id":"Q420917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$387045B8-A22E-4352-839B-BD30DE18FD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"701f0b981e19138800eaa9b9c7a4c78e6c85fccd","datavalue":{"value":{"entity-type":"item","numeric-id":361804,"id":"Q361804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$BB3A6171-2BC8-43DD-A8E1-36B72C312812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b548df5d7d1760c0061b9927546906de93c38b7f","datavalue":{"value":{"entity-type":"item","numeric-id":420916,"id":"Q420916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$55C25615-B04A-48C1-BC1E-1934CCDDE1A0","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":"Q553334$D62F4A51-96F5-4730-AC3B-4A68D42AAF0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e389d84f8899d4fd416867a29608c3150f7b747","datavalue":{"value":{"time":"+2011-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q553334$31E38E38-42F5-4E70-B85F-4C0C29D3BA56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a19e7263801569da63382c22b9fcfd9b45d1afcd","datavalue":{"value":"http://resolver.tudelft.nl/uuid:1b229891-aed4-4def-b022-c4dab1b94b08","type":"string"},"datatype":"url"},"type":"statement","id":"Q553334$CCA41058-0414-44E9-B58C-8D9EF75F6973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553334$ADFC2D76-1242-4775-8D8E-E20CFF0422FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa1cf4cad796fbf4b395735e061a0c2418b9a65c","datavalue":{"value":"5932335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553334$6E28222B-7076-4559-8114-DC6F0956B03F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f5a8d7f7f19855f04d728bcb3cdb6767511744","datavalue":{"value":"deterministic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q553334$DB7B4DB4-2EDF-409F-87CD-21EFE8F8A7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1d62c198a8d99438b7d6418b5be32f7efa58a9","datavalue":{"value":"identification in the limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q553334$60FAD2B0-2FA4-4918-83B2-248494191E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q553334$98C550C3-D873-447F-9086-37802986C6F0","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":"Q553334$805A838D-2DB9-4313-B23C-CB348E584BD3","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":"Q553334$BF84DAEA-7934-4154-896B-399064B04B6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87e7904b399c32522d8cb5218106723afaff1925","datavalue":{"value":"W2170987619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553334$0A83F6EA-AF4C-478D-B4B0-15C3C03E48FC","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":"Q553334$80D42D27-BC1A-45C9-80AC-FFE8262FE630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$50C03077-6B6B-4EC5-9196-74E51433B706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$A6ED2A48-3503-487F-9E51-4B2491861857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$37F6BF30-51F1-4036-AD82-3A693CB1E38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca9a0c9a28b5b6d8e99ce2601c02f6f127951f6","datavalue":{"value":{"entity-type":"item","numeric-id":5756611,"id":"Q5756611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$116AFACB-8E5F-4A39-8DF1-0E1A8AA86A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$E5ADA929-A4E9-4CD2-9C81-61E9CE1C4BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$09547DDC-6E50-49C9-843F-28B90A682BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0747d8aaaf3bff92bd08b164a85efc268fc0bda2","datavalue":{"value":{"entity-type":"item","numeric-id":1366803,"id":"Q1366803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$0DE23EDA-50AD-4727-9993-1AF378316038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06c7c7923e8dce747dde282c3670cc8da1fd6f7","datavalue":{"value":{"entity-type":"item","numeric-id":1900980,"id":"Q1900980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$EC8A0E48-D3CA-4C7D-97AF-9FFE6DE256D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01c60dc1f5a5692f2b27f6a909c5b8350bb9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$A3F3C236-8790-4B70-BDD9-3FFBD49D7D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c197e3f29ab967906174be198c67b7201d31a","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$DCB6AAB2-4402-48B5-98AA-BA4EC7A29ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"578dbe6645c8557dc8be31c821aae03fe2be2748","datavalue":{"value":{"entity-type":"item","numeric-id":960469,"id":"Q960469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$15A6BE33-E2B0-4A63-BF3F-193598A9B434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e78d7d44652f20c2a60f72580420d04a08808e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277533,"id":"Q4277533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q553334$ABB3C2B0-27D8-4072-853A-BF75DEF507CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37dc61d1641eeb78d080073373c164e5af371cc5","datavalue":{"value":"10.1016/J.IC.2010.11.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q553334$58881743-2CA4-4B21-805F-93808D46D884","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2f28fb659811c60d7a76e7605a2e54c1d97a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3618628,"id":"Q3618628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd03dd6e34470b8e6dc12adcd7a257ff09689235","datavalue":{"value":{"amount":"+0.89908046","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":"Q553334$FD32DD9D-B1B3-4AAE-823B-51033B6DA56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221b57bf5cf8d833760172f7d664eae82a4f0bec","datavalue":{"value":{"entity-type":"item","numeric-id":2842671,"id":"Q2842671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef2604904775e52e9245c209c2e0cea31b8a1bb","datavalue":{"value":{"amount":"+0.8986514","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":"Q553334$E5EFC18A-15B4-4A01-B20C-0955CB2865E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001dc6cd15a1c008b5c769c788cb4bfaaead2353","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a88946bcfcb7bd6aa6c3f8fcc77762614c58680","datavalue":{"value":{"amount":"+0.8947096","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":"Q553334$7888893B-AC19-4A39-A8CC-AEEF01B8F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b96d69c922b84d811d35f35fca713f658733d","datavalue":{"value":{"entity-type":"item","numeric-id":6487932,"id":"Q6487932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96d36dcf1326bc301a48954af6287223db6ec97","datavalue":{"value":{"amount":"+0.8939925","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":"Q553334$0EBF91E5-AABE-4572-A1A8-8B9F0F91E868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4201cf2e6d6a7bd95d66475f3eb4ce7019f27188","datavalue":{"value":{"entity-type":"item","numeric-id":2176704,"id":"Q2176704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c8538ab52a0df97a3a2bc01ea5cf5a04d5724","datavalue":{"value":{"amount":"+0.89226717","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":"Q553334$E2FCB311-D926-44C7-87D4-91D846A2B79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bfd24e4cd1f0f7058ff3814d62c0ac66c5e666","datavalue":{"value":{"entity-type":"item","numeric-id":4063063,"id":"Q4063063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9afd373e38924fe74981169b916a413f978204","datavalue":{"value":{"amount":"+0.8915684","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":"Q553334$C21A29AF-60E8-4E4F-AB60-46911D551521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b323f104ec065ef541d58b453aeb7de6d3485","datavalue":{"value":{"entity-type":"item","numeric-id":5500559,"id":"Q5500559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175ad8de8f5f9394e15d195a1dd8a0e4d722c4e4","datavalue":{"value":{"amount":"+0.88636273","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":"Q553334$0A35AFD7-DADE-41E3-AC6C-E71EB6069C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5e35b6129d8bec91cf6f4decafdd5ef6a2343d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe71da45d372d8b0ad85d4751c3316f0369cc361","datavalue":{"value":{"amount":"+0.8862935","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":"Q553334$18564DDD-2F68-4A20-83B2-1866FFD910A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2008868852cda17f42f123ae90f0a780f0b018eb","datavalue":{"value":{"entity-type":"item","numeric-id":2938150,"id":"Q2938150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9e3a32f3a8c9734057241b9c0a82b34fd2f3cd","datavalue":{"value":{"amount":"+0.8862287","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":"Q553334$8022612F-AB2C-489F-80CA-33BAF13A276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bec893f824f71498a9cc024324d9f0e732e0e11","datavalue":{"value":{"entity-type":"item","numeric-id":5089309,"id":"Q5089309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4955d37c3fe55b1ccf3da0a32ba7196bb2822c","datavalue":{"value":{"amount":"+0.8852162","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":"Q553334$14B1AAC3-42BB-4B06-BE8D-7B09344737A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:553334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:553334"}}}}}