{"entities":{"Q3172908":{"pageid":3183618,"ns":120,"title":"Item:Q3172908","lastrevid":86594609,"modified":"2026-06-04T02:35:46Z","type":"item","id":"Q3172908","labels":{"en":{"language":"en","value":"An alternative definition for timed automata composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954783"}},"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":"Q3172908$BA4FB7EA-2146-4749-889F-5FF9298CD3F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74b85016d31a848cf34c5784a00217f41b4fa3d5","datavalue":{"value":{"text":"An Alternative Definition for Timed Automata Composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172908$0786503E-7C58-4CCB-8BB3-FB8CD32B0801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be1bae8c95c6cd066eeb0cf9a635bdf1964f0636","datavalue":{"value":"1348.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172908$45F51F77-85BF-445D-A3F7-93AE7644F3D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39aa306b6556c4ad5ecfc97a3e19fa1ef76a5d91","datavalue":{"value":"10.1007/978-3-642-24372-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172908$2584C9A4-BD78-4669-8902-377E3B14F527","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172908$3AA429B3-AED4-4E19-8750-E5AFB49BC104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab66264d4b2c270cd87289cdc32544866bf53eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3172907,"id":"Q3172907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172908$C0A82B7A-12BB-4E05-B3F2-FE3031DDE0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924d76138c4a9ca918a0e049d85adde817ca5296","datavalue":{"value":{"entity-type":"item","numeric-id":239157,"id":"Q239157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172908$087EC9A2-E577-450C-94D6-968C5BD6A579","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172908$AF83EF46-DC12-485E-9323-19F2CFA967D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172908$31CD06CE-A605-4824-9F9C-95D574759E34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172908$7E3EAE77-0C10-42D6-AC0E-7BC5CE81F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172908$F965B215-09CD-4108-8673-E487F4FAB6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172908$3554939B-9842-441E-8B25-5A7ACCE4345B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6334680e2797260b33402023d176963390e71cb6","datavalue":{"value":"5954783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172908$B278D3EB-5BC9-4774-908F-8DC058221693","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172908$57A48C0E-03AB-43FF-8EEF-F08DE017BC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172908$0D8F5353-205B-47DE-ACC5-E7EBD076330E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172908$93A644FC-BC0A-4382-B64B-6FAE8F69C6DC","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":"Q3172908$41C1B772-492F-441F-A42D-5814FC9BB0F1","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":"Q3172908$D4C410D5-DDD8-4F47-A23A-FEB720CD9137","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b89bd441f8fd848806d958c8fe9284b132e850c9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172908$0C385008-4DBB-44D1-8827-39B1AD2D16A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9003cb157d14ed08242a82af40f0afe9dea2275a","datavalue":{"value":"W199100790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172908$A8B15A41-CE6C-4A66-ABBB-BCEB645B9ECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b05de137f3b926136982958b1ca99722a1ca7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12587c9f114b0e14d67cd787d10022757ce85a43","datavalue":{"value":{"amount":"+0.7673478126525879","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":"Q3172908$5F8B2B7F-6F43-4483-9395-9A134283BF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f676604994e5623f9b85982fe438243f2f96ba","datavalue":{"value":{"entity-type":"item","numeric-id":3196346,"id":"Q3196346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d13eb2a911761d3f6ad290697983b4892dba97","datavalue":{"value":{"amount":"+0.7604226469993591","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":"Q3172908$784E656C-B889-46FD-AEFE-87C02DB34252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bcd3d288a988851d139847ccce4b193b5fdb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4649387,"id":"Q4649387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6da159d69e99b747af18ad6a12326cd38e8027","datavalue":{"value":{"amount":"+0.7558983564376831","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":"Q3172908$30AF9942-4583-4535-8332-BCD00FB95365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f762ea600b2be39e74017eaa99e0246aa3940f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4534707,"id":"Q4534707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37216548aca71336a79cbb31b09d48deaccb1447","datavalue":{"value":{"amount":"+0.7410576939582825","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":"Q3172908$07C9024F-E5DC-4BFC-BFAC-98CADDF3B52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f438897e59e8351a8f668008fdd3d27882e57e4","datavalue":{"value":{"entity-type":"item","numeric-id":3588097,"id":"Q3588097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f31c52970238ebac2ec54684df315214fb3612","datavalue":{"value":{"amount":"+0.7371444702148438","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":"Q3172908$7C0E9FE8-A5A7-4D6A-8258-C2E2C8A2E597","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An alternative definition for timed automata composition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_alternative_definition_for_timed_automata_composition"}}}}}