{"entities":{"Q1004092":{"pageid":1005940,"ns":120,"title":"Item:Q1004092","lastrevid":66558882,"modified":"2026-04-12T10:55:40Z","type":"item","id":"Q1004092","labels":{"en":{"language":"en","value":"Approximate equivalence and synchronization of metric transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522110"}},"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":"Q1004092$A5A2E0DA-5888-48C0-AA36-0665719CA610","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf7c741fba14f1bfaa491a16f20cee1c07e740d2","datavalue":{"value":{"text":"Approximate equivalence and synchronization of metric transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1004092$B4D89076-12CD-430E-8389-211B4C03C19B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bfc18d6e50f91081daf7fac20c96002b221ba7f","datavalue":{"value":"1155.93336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004092$CECD9B91-9745-4D9C-861D-F62E5A1D36F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6854d98e569a2847cd5f7957bf7d52ad3418a4e6","datavalue":{"value":{"entity-type":"item","numeric-id":1004091,"id":"Q1004091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$0C7DC57C-B482-4419-AB52-1758F05563BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92107e4a14a644307729c05babd19a7ccc46122c","datavalue":{"value":{"entity-type":"item","numeric-id":313143,"id":"Q313143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$1D0B13DE-28D1-4D9B-9027-C8994892066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$CDDDAB22-9B7B-4834-B680-89C755B94423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"970cb8cf81fc4d300d45f14e760eb5bb9bfc430b","datavalue":{"value":{"entity-type":"item","numeric-id":313145,"id":"Q313145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$F045A78E-AC28-418F-9EEE-83FB9FA2A515","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$C3126922-3788-4C98-B375-9944C24B2197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1004092$C2562270-42FB-40FA-86AD-F66299EB431D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ba2842931f306df7115450868bb0fb7d07d2a0c","datavalue":{"value":"93B17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004092$B2CC5855-DFD8-455F-9B30-D930A5CAA0FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b61a0e38d783f25db61ff67243d3748a3875e9c","datavalue":{"value":"5522110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004092$D915965D-9185-4CD9-9486-DAF0A4B8B9E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7962c5231fada18309bd794aff77d21ca0c9fbcf","datavalue":{"value":"metric transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004092$9CBA1596-B328-4281-A1A5-B08120DAF2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916a166f8df7c99f30909397cdabba6728ff4932","datavalue":{"value":"approximate equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004092$5905093B-4E59-4846-A5D1-E359B265E23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004092$938427F0-F49A-4A60-BC72-921517D4ADAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c0ebc2737dd752a81dd33e0395498b2728aeb3c","datavalue":{"value":"approximate synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1004092$BCA78508-7F03-4653-9F60-21085B14EE91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$30F57EED-D9EE-4FEA-98E9-1F5427CEE4A3","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":"Q1004092$AEB59A56-4FA5-4F6E-80FB-FDE0FD039685","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"920bbbaa19f2d2d29300ab2d41c4233c25203ea9","datavalue":{"value":"https://doi.org/10.1016/j.sysconle.2008.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1004092$EB53D7D4-7023-4BEC-8923-2E5D37284D97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2657f9c31c0cf14b0b889fbf5d4033651285cf93","datavalue":{"value":"W2113597446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004092$51DAA8B7-2061-4614-B2AD-B23FEBD633DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a572f3d3ba17259273f0c0b2e4330420a11531df","datavalue":{"value":"Q57581830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004092$476D0EB9-2797-4D59-8082-BC244D7DCE17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd355be8df39d5fe384481b51b81a7800823759f","datavalue":{"value":{"entity-type":"item","numeric-id":702842,"id":"Q702842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$8E0CE393-07CF-47B1-AB26-857A0D98F776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85e3e7f78b7508caba9f51ef52b2603c02d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":1421437,"id":"Q1421437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$83DD4FF2-1A78-4B2F-A401-657B222F673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8104187ee43fbac8a7a3d2aa1c93127055336ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5273951,"id":"Q5273951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$1E3B91A1-71A1-4D63-85D9-87407B5FAD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2422043c4a4f78a66bc3c5b14cbd9ee6e271eab","datavalue":{"value":{"entity-type":"item","numeric-id":2701735,"id":"Q2701735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$E5B03AE6-A6BC-4887-8778-DC86EA556FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$64A766CA-479F-4555-8EE2-1AB0E79A7EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$A23D176D-99DB-4AC6-8361-ACA55544974E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$7D327E62-C9EF-4F90-92E5-1AE10B0EFA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d22fa2258751a4ad59092052b7f428e51d5984","datavalue":{"value":{"entity-type":"item","numeric-id":1004092,"id":"Q1004092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$8045E6D3-61F0-4C72-B38B-D5FD2491A4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdf40aa0518f870fe9717418efefb0cbb2141d9","datavalue":{"value":{"entity-type":"item","numeric-id":2766634,"id":"Q2766634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$F6588092-C755-4B21-AD4D-563CB4391054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c51c0e603e367e2fadf1118e26a19811fa9ee2c","datavalue":{"value":{"entity-type":"item","numeric-id":4439589,"id":"Q4439589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$C4FCA629-D92B-40E9-A67B-B958594DAF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e945ebdc95c7a8850cdbf05a42e5a2aebc8de021","datavalue":{"value":{"entity-type":"item","numeric-id":5898990,"id":"Q5898990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$DBDD784E-E8F9-4185-BD1D-2EF1DBD0783C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4c5dcfa145713cd0afdcf36d252e8c359b05cb","datavalue":{"value":{"entity-type":"item","numeric-id":5273807,"id":"Q5273807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$B5D9541A-BCD7-4325-8B3F-D810219D5825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$58CDE1D7-28F3-4DEB-9C1B-A2DC913455DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb425d8ce36f712ebc9179c9f8b3d32ca1d1e12c","datavalue":{"value":{"entity-type":"item","numeric-id":5273678,"id":"Q5273678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$491299E4-6776-40A4-BDFC-C6977BCD5B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a0b889997bf81190469f18001e1ac850478031","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$EF3F5508-3523-4B7E-91E2-B244D966F8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fb262e9ff4eb9da6e26d1e9466af4ca58bc589","datavalue":{"value":{"entity-type":"item","numeric-id":1805797,"id":"Q1805797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$09B83BED-57D5-44C1-95CD-B925D6609B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50e696050421bf15973742e249de31179a3e439","datavalue":{"value":{"entity-type":"item","numeric-id":2730254,"id":"Q2730254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$63765D2E-6FDB-4A89-B711-3D5CDEA7BDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f1e69b2476075335a1d2d98317ef8fd695bba8","datavalue":{"value":{"entity-type":"item","numeric-id":4953413,"id":"Q4953413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$E1C89DAA-373D-47A0-B378-05AE0A88C686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2642949049635261c4d78ddc4bb0473d10b6203","datavalue":{"value":{"entity-type":"item","numeric-id":3612974,"id":"Q3612974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$61C51942-E3F6-43A0-8939-A3CEDE933494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"674a826d2f63c413a9cdf49e63c8a40fd8e93e83","datavalue":{"value":{"entity-type":"item","numeric-id":5898987,"id":"Q5898987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1004092$B79DD0BA-C90C-4250-A539-DADA3A10A3E5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2195b8413dc8f126fb8de6478fbe1969db364174","datavalue":{"value":"journals/scl/JuliusDBP09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004092$A6045349-FA34-4EEB-A65B-68067B25D35E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8268c5abad57f33b61347afce26ab914a28da252","datavalue":{"value":"10.1016/J.SYSCONLE.2008.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1004092$1151522B-D779-4AA0-B9CB-D3C4B7B88CF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04695aece85a94a2a66fe51ee52d0cff39d3cdd","datavalue":{"value":{"entity-type":"item","numeric-id":693690,"id":"Q693690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a20cf690ab32bca0a111ea1d133fa982cd87fe0","datavalue":{"value":{"amount":"+0.7765080332756042","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":"Q1004092$EFDDF6AB-407F-4D55-91E5-2BB4B8A34710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a4717edb2c0b89de3d3bc980a6a1740976e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a02a558112210a8cf66d3521dee0c430ec9ffcd","datavalue":{"value":{"amount":"+0.7718726396560669","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":"Q1004092$6D3F84A2-FA5C-4FCC-B8AD-1D52147FA326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ebcd90dc6c1b282e4177cae65253d3a848b403","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6484f85abd8551d6130e5889699b21fe9eca9e","datavalue":{"value":{"amount":"+0.7645111083984375","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":"Q1004092$328E1FE0-9761-4174-BC5B-29814EEA2583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8184604b4b1f7181e1c7e2730fe10483270574e0","datavalue":{"value":{"entity-type":"item","numeric-id":1667079,"id":"Q1667079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0879c388aa8647f1fdbf1b09ca360f8d6dc3478","datavalue":{"value":{"amount":"+0.7415184378623962","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":"Q1004092$1F8C9CE7-4EA5-4321-B49B-DC7399CB1989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d67db748734c98e4fcd86b62a5bd9e4defd88b0","datavalue":{"value":{"entity-type":"item","numeric-id":549202,"id":"Q549202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617fd80fa553ee3146e0cc6af818c799ee704d6c","datavalue":{"value":{"amount":"+0.7370784282684326","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":"Q1004092$AE196386-28E2-490B-BA92-E5404100CDC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate equivalence and synchronization of metric transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_equivalence_and_synchronization_of_metric_transition_systems"}}}}}