{"entities":{"Q2176705":{"pageid":2187448,"ns":120,"title":"Item:Q2176705","lastrevid":71478033,"modified":"2026-04-13T22:31:48Z","type":"item","id":"Q2176705","labels":{"en":{"language":"en","value":"On the distance between timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196605"}},"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":"Q2176705$8B2C3DB8-3E44-4EDE-BFFF-7CF32BADC701","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0cf0637dd117b2e9b5a4b38a3a743c39c319e95","datavalue":{"value":{"text":"On the distance between timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176705$BC0FBF19-221A-4527-8E7E-6BD4393CD590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a326e6dee7e7a0eb0f930c7fb51315d7f046f3a","datavalue":{"value":"1434.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176705$6FF077F2-242A-48F0-9CB1-EBCA01AD5A0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05987e6b261a4de15e8f846b788aab606ee5a683","datavalue":{"value":"10.1007/978-3-030-29662-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176705$CA80E933-751A-4A94-B416-CE4EEA74BE05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f118bee8514fe95ca1e5b026656ae6adc8a6dedf","datavalue":{"value":{"entity-type":"item","numeric-id":266874,"id":"Q266874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176705$2E12D576-9E9E-488F-A997-BC409B4DDEBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-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":"Q2176705$129AA531-BA88-452E-87CD-9B171F705EB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8bea12853af1c6310687310a7146c28546e1eda","datavalue":{"value":"https://arxiv.org/abs/1909.10489","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176705$34455C31-948A-450C-AAC0-D1583B280D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176705$CA6765B4-0992-4325-9B60-FD61AC7D401B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e3588174d9f963a69fc8de768bb906356d2142","datavalue":{"value":"7196605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176705$5D19DB66-E08A-4AFF-AA50-457C05578824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176705$6A77D0A4-8CF6-4550-B6A2-9CB8AB644F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0ef2eb18ae52c04453b5fc69c151b22b7f881","datavalue":{"value":"language inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176705$01FD8C04-0AA2-448B-AF7F-941866EF7C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"793d060f34786d29326651208faf24b1a811212b","datavalue":{"value":"distance between timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176705$3EBA5E39-69C0-4270-9202-C0FB55F3430D","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":"Q2176705$59C2386A-9F0F-4825-9744-24B5F79EFFFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f1914196ac51b5885cd41e17b9b3a19aa276be3","datavalue":{"value":"W2969678322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176705$F9AF965C-DD68-47BF-9BFF-ADAFCF6E6B33","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":"6c69a3c312e3178a1b28a8005c998a7c7f83cccb","datavalue":{"value":{"amount":"+0.8372534513473511","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":"Q2176705$C4D1776A-4392-407D-9395-ED09F5C68212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718489a289676537198ae32405d8f635f14df783","datavalue":{"value":{"entity-type":"item","numeric-id":4418006,"id":"Q4418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f914be68d58ee24d79b18708cfd657605f4732","datavalue":{"value":{"amount":"+0.8327686190605164","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":"Q2176705$C713FC2C-9AA4-48BD-BAF2-78BAAFA781B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403abc5909077bf530c0a89b7e05dbb5ca7e6147","datavalue":{"value":{"entity-type":"item","numeric-id":5415288,"id":"Q5415288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c77dc1deddfbe1659915b7db7ac7b90e73e3dfa","datavalue":{"value":{"amount":"+0.8204514980316162","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":"Q2176705$353A1F5A-B48F-40BD-A637-00BB68F0E285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcac45345cd002ac69e104e7dcdb653aefa49bd","datavalue":{"value":{"entity-type":"item","numeric-id":5717492,"id":"Q5717492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3ee946915457ac0989065cbde14cc7dbb722da","datavalue":{"value":{"amount":"+0.8174565434455872","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":"Q2176705$5C64EEE0-EE84-4B41-857D-016447D0DD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e88e951ffd6bf0e120ffb34da2e669159aca938","datavalue":{"value":{"entity-type":"item","numeric-id":5716855,"id":"Q5716855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd49851c55d61e1a320cd129a5b4ceec80b91d90","datavalue":{"value":{"amount":"+0.816620409488678","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":"Q2176705$72977836-6121-442C-A933-BB0A432220D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the distance between timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_distance_between_timed_automata"}}}}}