{"entities":{"Q6536174":{"pageid":14147317,"ns":120,"title":"Item:Q6536174","lastrevid":55623397,"modified":"2026-02-17T19:54:52Z","type":"item","id":"Q6536174","labels":{"en":{"language":"en","value":"Repairing timed automata clock guards through abstraction and testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7828025"}},"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":"Q6536174$1B130F0A-2483-494C-9779-137CD64A2414","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"835ec5eabc07c0ab6d60adc9f7aea3d41f459260","datavalue":{"value":{"text":"Repairing timed automata clock guards through abstraction and testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536174$2F688F97-BB8B-4468-A116-18EDE0D68338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a2eadd04ae274161b62432e636430d80858283f","datavalue":{"value":"1539.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536174$A79A82B6-813B-416B-A004-2F4998AB8C75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc51e6f580b899bf91b14886381a70cf3c4ef774","datavalue":{"value":"10.1007/978-3-030-31157-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536174$FC4DFA65-B093-4E86-8012-F1EC3C4DD649","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":"Q6536174$AD74FC8B-FF9C-403E-A3E5-1C3CC5B36A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4e130ce79c52e19d6176c3a5846e9d5bd43734","datavalue":{"value":{"entity-type":"item","numeric-id":315280,"id":"Q315280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$7EE98C90-120B-45A8-B8F0-F85D48989417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"201360473ac69a591338840b45d221a3a57fc184","datavalue":{"value":{"entity-type":"item","numeric-id":616855,"id":"Q616855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$98001DD1-C89F-445D-93BB-56337B9B92B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f9beb6c280cd046f959ea51ea659db425cd1cd0","datavalue":{"value":{"entity-type":"item","numeric-id":6536173,"id":"Q6536173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$66858163-974A-4B67-A03B-70AC90AD55A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e8e2138029d873c628e2ef2b4ef309f65fdca9c","datavalue":{"value":{"time":"+2024-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536174$DFF8B3CE-8622-4D4E-81CC-042EA08C410E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536174$BF46EC9C-561E-4E85-91B8-3AC051E5EED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536174$C9352E7C-23B8-4131-AC18-17BC3D57324E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99e62b8d90778520c984ed244bf853493bd3ae53","datavalue":{"value":"7828025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536174$C21E7CA8-C5C7-4963-9F24-D832AC67C71A","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":"Q6536174$C90FAEC7-98A3-42FD-815A-424724B0DC98","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":"Q6536174$E1608AF3-7AED-4190-9005-AD20044596B2","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":"Q6536174$FBE62D87-1D18-448A-B858-FB995E288462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$8272C07D-4EE5-44AB-A59B-5AFC53487B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$D6F6CEAD-9C77-4EAA-AA1E-E7CDD89476C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2020a9ce51c93f5152b1a41de40d8b45f22ff72","datavalue":{"value":{"entity-type":"item","numeric-id":5082188,"id":"Q5082188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$D54F5F92-30EC-4FC9-8928-6707F26DE599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$2BE48788-B3EA-4E0D-82F6-9BC1A54D9978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$115B4717-3048-4414-B0AD-AC408F44C9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3176b8f9f33bec50a735e690263fe124617a6aed","datavalue":{"value":{"entity-type":"item","numeric-id":604474,"id":"Q604474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$D5CC227E-460B-4089-ACD2-DB8304A2FC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$ED90925B-BA01-479F-8450-C9A168DF1D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780791d98c005bb8ebf69e36cb9dcdfd75b38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536174$0FB074FE-BFF7-45EE-8AB3-1553A289E790","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94ef7d45f078bb0658e66a82e0ac732a18234aa","datavalue":{"value":{"entity-type":"item","numeric-id":6154576,"id":"Q6154576"},"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":"Q6536174$4250DD7D-3D33-46F5-B4EE-2B4539593509","rank":"normal"},{"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":"65735f529d776df16f189f9db248a26482d50817","datavalue":{"value":{"amount":"+0.8294543623924255","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":"Q6536174$83BC4379-A7D2-44C4-BF74-361A60EC025B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18b3fd4f659ce993026e553995bc8232eff34e2","datavalue":{"value":{"entity-type":"item","numeric-id":5101345,"id":"Q5101345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc5055b119c0d16bd714e7b95130edb474a10d8","datavalue":{"value":{"amount":"+0.7693331241607666","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":"Q6536174$2F9B79FF-6AEC-4F3E-889C-554B6F0EB41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9820375f007d27aa50d4bc854f27bf0b338b516","datavalue":{"value":{"entity-type":"item","numeric-id":2044206,"id":"Q2044206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e81dfc6da3d7dacdeaaa8ae388e30fe2e1b1e3f","datavalue":{"value":{"amount":"+0.7554398775100708","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":"Q6536174$02A93A47-77BF-4660-92BC-2CB8A7C5C66D","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":"d566eb9cbc260e5443b5919ef51b9daf10b315a6","datavalue":{"value":{"amount":"+0.7339664101600647","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":"Q6536174$89164B12-7F4D-408B-8C70-01837B823922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536174"}}}}}