{"entities":{"Q6154576":{"pageid":13288956,"ns":120,"title":"Item:Q6154576","lastrevid":56733576,"modified":"2026-03-19T12:31:58Z","type":"item","id":"Q6154576","labels":{"en":{"language":"en","value":"Clock bound repair for timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805527"}},"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":"Q6154576$18B48FF9-926B-4269-AD20-6A631B2C2DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db4b2fd38861a5b762d28c3db3abc72e444ea4b8","datavalue":{"value":{"text":"Clock bound repair for timed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154576$92E833A4-F58C-4CCE-8A98-D837A917B5D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23f0a18e8a9dd2ac2875be9b992fc5b252e250e6","datavalue":{"value":"10.1007/978-3-030-25540-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154576$6ED0AFDC-3CF0-4D17-90AC-8323DC59C1E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd2a1f2369a20eb2cb68bfee9c4e7d44c15e7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1996020,"id":"Q1996020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154576$0D81C658-8686-4CDA-AAD8-95E91F821533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9093835d0b08b4f8c6e225d8367927d561504b81","datavalue":{"value":{"entity-type":"item","numeric-id":420802,"id":"Q420802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154576$6F92510D-5C1C-40CD-9347-85120BCE956D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154576$692B3F77-920D-49C9-A3C1-9FC9E4A29395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154576$30E73193-C95E-4263-B65F-023C2E87A5BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-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":"Q6154576$36BFCAE1-7BED-489C-88C1-586C877620A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154576$7C6EBA22-0FEB-480C-8C3E-2E70FAD6C373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154576$8F1F859B-959F-408D-866E-E41DE8CE01D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154576$203150E0-89EA-4DFE-B3AE-5C51D80BAF73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59dd183ed1baa5cc1ecab2f3debc05e88c3f18a3","datavalue":{"value":"7805527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154576$55D9AAAA-3050-4AA8-A722-2DAF85C6A01D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154576$4DD9F388-74AA-4631-B5E3-997ECA236B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b77ae46adf8d09ac2b39071494d3274f8653320","datavalue":{"value":"automated repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154576$FB8F0D48-CCE0-4BBC-A719-ABDED48ECB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7786881a23c04c2dd9c775c0eaa27520f393a7b","datavalue":{"value":"admissibility of repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154576$6123B695-4CC0-4F8B-B560-AE0A09BFFFD5","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":"Q6154576$47CB085D-2ACC-45DE-B001-8CC4F1E634CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"620336268a00dc36d59590fe2e02d387dbc368a1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25540-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154576$A7995900-4C40-474F-925E-B022FA85A79B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cfc02b16369a889f260a0ac5720ea064e624713","datavalue":{"value":"W2961481235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154576$4C7A56C7-BBE2-4DA5-BA48-277CB0BC6351","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde6054e5a4c7b5d8449ae157fa316ef1138bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":6108434,"id":"Q6108434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c690d0185c9268590bcfca482d1d8bf2b40392","datavalue":{"value":{"amount":"+0.9601513743400574","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":"Q6154576$7FEB5CF8-E819-4887-9B57-C97E9663A58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa6b3103bb17cb45f9f804f3d7ea2f9d09be2df","datavalue":{"value":{"entity-type":"item","numeric-id":6536174,"id":"Q6536174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a86844d58edfacf4e30dfa49b720c9cf5a5a9b3","datavalue":{"value":{"amount":"+0.8383435606956482","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":"Q6154576$47ABBCDB-9271-4024-8257-92E222AE52E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a746616a882ef34d2c3dba049d4db7ff98463d16","datavalue":{"value":{"entity-type":"item","numeric-id":2139184,"id":"Q2139184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b44d9a1dcaa61ed4fa6f230229544b7bec271e1","datavalue":{"value":{"amount":"+0.7473880648612976","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":"Q6154576$4E835B1C-31AE-43EF-9591-850131E5D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d72f7b01f4c6c8c91bd856282a052a05c0b3de8","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37d43874bd5f2d808de2567eeeaee64ec0164c6","datavalue":{"value":{"amount":"+0.7360357046127319","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":"Q6154576$087541D6-C027-41E7-ABB7-46ECBCD7FD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b21612985c64a43e327582a87489076c35ef069","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5540e07a81c5cdaabc82a5b11ae4c40f58f9e3a4","datavalue":{"value":{"amount":"+0.7357636094093323","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":"Q6154576$596EC903-52FD-44CC-8076-09ED85269F55","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154576$1822517C-987B-4A84-9C2E-62B81124F51D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154576"}}}}}