{"entities":{"Q3190141":{"pageid":3200849,"ns":120,"title":"Item:Q3190141","lastrevid":58139952,"modified":"2026-04-03T23:33:21Z","type":"item","id":"Q3190141","labels":{"en":{"language":"en","value":"Reducing clocks in timed automata while preserving bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344645"}},"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":"Q3190141$76C3EDC4-0551-4D84-86E6-ADFA3B50C6CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36db272c8c0e852769d188c4896ff9796f30aff2","datavalue":{"value":{"text":"Reducing Clocks in Timed Automata while Preserving Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190141$A828F17D-CFE9-44E6-B34E-52CCC4B45537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31c4ffcff7b7d47f66ea731fc5cedf3454e18cad","datavalue":{"value":"1417.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190141$985A9269-715B-4C28-A47B-E9E542DB9E53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f62b250a9f7ed6f41987cd8f991a7d4a3d91ab0b","datavalue":{"value":"10.1007/978-3-662-44584-6_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190141$A4F4801C-A35B-4F51-9F2F-13AC45F9E769","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ec7cf533a9e797506d0d9cf6304c0b66208f71","datavalue":{"value":{"entity-type":"item","numeric-id":832073,"id":"Q832073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190141$C7B5069A-6294-47E0-93A2-A3D329AE168F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f74dd7eb07bab7dc13936a1be45d18d3ad57b69","datavalue":{"value":{"entity-type":"item","numeric-id":3190140,"id":"Q3190140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190141$1F9AF7D5-4949-45D4-9725-FFE07D64DD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7c5ae506eb8411e23825d0ef2e8772007b32369","datavalue":{"value":{"entity-type":"item","numeric-id":1062766,"id":"Q1062766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190141$8335C945-18C4-4BDB-88F7-BB54BA7C3D32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86291768d824471544e7172134ed7e1910c45b89","datavalue":{"value":{"entity-type":"item","numeric-id":3190104,"id":"Q3190104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190141$69FA14DD-3D83-4C03-825A-273096FDB150","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190141$8BB49039-140D-4C8D-8D68-00FE84FCD7EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd98a4a7496bfa23410b4f0e4b4b3aa9ca8ca2d5","datavalue":{"value":"https://arxiv.org/abs/1404.6613","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190141$BC5F9E55-7016-48E6-9284-C87352EBA6C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190141$C10C3E78-5089-42A1-AB5A-8E83105C441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190141$15D1571B-72F5-41B1-B435-53E29F65C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190141$512684F1-7D36-42FA-A139-151005A16B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ae2b759f63942ff1ee43ef91c5922985cf078f0","datavalue":{"value":"6344645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190141$D2C58250-8490-4009-B0A7-BB327ADB9896","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":"Q3190141$47BBA06C-D03D-4355-B4E9-6DD134B7D6C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b092270ed872fac0f4cade3c596c5daceb4b87f","datavalue":{"value":"W325265439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190141$6ECC6E57-F1C9-41D3-936E-8C1C86268CDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012ab5af0b609298ccb050b56a3564fa38ad6b11","datavalue":{"value":{"entity-type":"item","numeric-id":2165509,"id":"Q2165509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f513dfff3c61ba4968f039a08c24e14f784b61","datavalue":{"value":{"amount":"+0.8405432105064392","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":"Q3190141$E965FD0D-7230-4385-A315-3EC050D4C9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"701e96c5f70a4e5272b31eaf2eb61e5d86c171d1","datavalue":{"value":{"entity-type":"item","numeric-id":4649393,"id":"Q4649393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9356af6771a4c9082fcc225d5928c1b4a1a01bf5","datavalue":{"value":{"amount":"+0.7801119089126587","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":"Q3190141$43FFF1E7-13C5-46F9-BAAD-3B9E956DD088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cea9c7d453a66bcf9d1b0f113f7393b25f5d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":845728,"id":"Q845728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c71714a6887906aa918c4f2069a759ea2f8a12e","datavalue":{"value":{"amount":"+0.7734850645065308","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":"Q3190141$E9E6F2F6-91A0-4C1A-92CA-1CE11CD981EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fffe8d3772234db5864533b511892413661d2","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f24edc8041b29c43516fb36d75654f65504d6f","datavalue":{"value":{"amount":"+0.7620076537132263","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":"Q3190141$D961454D-C98B-48E1-8070-B6E2EE46A561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15109f98683d5bff621cf0d8f8a78b3f4e74fab5","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fa1a2d4bf11f32e83e9c46f7e1fc3c65abe62f","datavalue":{"value":{"amount":"+0.7609403729438782","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":"Q3190141$BBFEA450-682A-4A00-A2C7-51CA98CCBE11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3190141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3190141"}}}}}