{"entities":{"Q944375":{"pageid":946223,"ns":120,"title":"Item:Q944375","lastrevid":65529054,"modified":"2026-04-12T03:13:39Z","type":"item","id":"Q944375","labels":{"en":{"language":"en","value":"When are timed automata weakly timed bisimilar to time Petri nets?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344347"}},"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":"Q944375$9383A824-06D6-4FF5-8C16-2B9FF80F87F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0829d0e68c6fe7d636af2d1f492a174b2552dab","datavalue":{"value":{"text":"When are timed automata weakly timed bisimilar to time Petri nets?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944375$99036C7D-6CB4-4C21-9340-EFF769EA6EB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d323303b0220aba5a8cd9f3479b2e0cc1b2838b","datavalue":{"value":"1158.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944375$D07A9788-C353-4BCE-B6DF-22C3CAF7CDA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$5BE7ABB5-FAAA-4DA9-AD65-25E5959BF2C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944375$CCB31001-5E67-41AF-BB68-A2338F661AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944375$272300FB-8BA2-4E2C-B26F-CBA806F802EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944375$D7E97B66-B0E9-447D-AED2-3CDA5E676217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f323e62d17c8aff527520ac2bc4f34842c8d90","datavalue":{"value":"5344347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944375$BD8D8702-9A16-4734-93B2-B1248AE5975C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q944375$D4ECDC9B-D89E-47E5-91B1-A4E3C5FE0466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q944375$C7CFAF7C-D71A-4D2F-9657-472DB01FD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f0e2f83d19d2afab4b50e788fe3c1bbc44a1c5","datavalue":{"value":"weak timed bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q944375$B20650E2-C38C-4FDF-A65A-DB4657E49F1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0b2fb0d8d0ef4d3f60b9aaf6e6e940befe4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":453511,"id":"Q453511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$BF241526-0B24-47E6-B2D7-FEE84575AF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$4DDB7292-39C6-40F0-81EF-D187537C41B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9211995ee2c9b003f62b5c38911c4d992017c369","datavalue":{"value":{"entity-type":"item","numeric-id":314812,"id":"Q314812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$B7E44298-3B80-4E5F-96F3-B96271AFFE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$DB2D5C5C-2B03-457B-B163-880745878BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$388422C6-2F9E-4239-8522-F63822ADC9F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$31D4D226-511D-4BB1-8776-F781FED1DF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$0E6FB306-F798-4FC1-AE53-A701AE47C656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$403492E8-39CA-4D09-B9EE-53A3604442E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$1C0DCF95-B7A6-4CC4-9FEF-CADFF5DEC340","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":"Q944375$09080BEE-DE40-4D14-81D8-32B9D75AAC76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"956362457faa40c8828b57548f2eb63a4041fd3f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.03.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q944375$4B1FED30-497B-40A0-98A3-912D3856BEE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8703bba663201fc2d418d93e3115c69d077017b9","datavalue":{"value":"W1989800577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944375$271CE44C-B874-47E4-B7A4-E17F7F526407","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac5bb5db9422701219b3b6fc2b99f01e9ee68c","datavalue":{"value":{"entity-type":"item","numeric-id":5465885,"id":"Q5465885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$D6F222C0-08F1-4E88-A8C0-5182D9EE06DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff983d5d474e50f5bb47f576a27b613ca840f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4535172,"id":"Q4535172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$A3E17BAD-A2EC-4E63-BFC2-CFFD6634646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dc43fd27ca4723016dfb00aa294217a66f3402","datavalue":{"value":{"entity-type":"item","numeric-id":1858436,"id":"Q1858436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$2B725A1E-ADCC-419A-AB97-AB621C8D3DC8","rank":"normal"},{"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":"Q944375$17DD5723-0B77-4BC1-94D0-736B6AB70F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3fda645fc1bc41d0e17513fe6ba61bd5f5189","datavalue":{"value":{"entity-type":"item","numeric-id":1575828,"id":"Q1575828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$B229C388-47C2-4C73-937D-7BF6A32A290D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f874e1d0c8a1a03d2178a369bd3e24d98a5a866","datavalue":{"value":{"entity-type":"item","numeric-id":5491871,"id":"Q5491871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$D8FC1599-2A33-4C15-BB0B-ACA73CAB55E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5af1966aa97a071d6c9257027b3435c8d88b98f","datavalue":{"value":{"entity-type":"item","numeric-id":5897964,"id":"Q5897964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$E9940690-5764-4F6D-ADE3-8A6C5FB0CEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a600a5a64d6ed63e77ca2e728b4fdd0e0d67f5","datavalue":{"value":{"entity-type":"item","numeric-id":5897776,"id":"Q5897776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$C00D2C61-A19D-4B14-B9A1-B0B0BB8538D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$99F81F76-2A55-45A0-971C-DABC53763049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$56650E19-69D0-42A1-B85C-B9D5622D3329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$7A1719BA-661E-4233-856A-1A3CE1931E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01b15dadbff8df89ce7e243a669d791fde7e0bc","datavalue":{"value":{"entity-type":"item","numeric-id":3591404,"id":"Q3591404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$016D61D5-87D6-46F5-AAED-A1C3502CABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30aaac525995ce57aa8b04f5ceb3346e0026fdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5716584,"id":"Q5716584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$7927AD70-23F0-4D04-AF45-FCB42142557E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$1B763E94-303F-4DEE-930B-DFC128CECB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bfe79aca0afff1709dc31acdb767ae54855e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5472942,"id":"Q5472942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$7A04D262-AD23-42C7-947F-26CA18E6B547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944375$D851D6FC-BCBB-4F91-A90D-407C9EC936D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf4cff3034592423fae1e55eedd9a86f78509923","datavalue":{"value":"10.1016/J.TCS.2008.03.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944375$41078C0C-5AE8-4B5B-9F51-E5F10CDFCF44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93f608ce2d8ef10e9b5d908ab7bd36826ff00c17","datavalue":{"value":{"entity-type":"item","numeric-id":5897776,"id":"Q5897776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95c7774f78943da9e643cf021162040ad0db90f","datavalue":{"value":{"amount":"+0.9981651306152344","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":"Q944375$FF74C839-20E1-4696-93C8-A217182AC5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58acb1d60009a25595f9a541e79ef9a960f6bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5897964,"id":"Q5897964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4d1e6cc45a98d8c22a8b20f772d10e47df15ab","datavalue":{"value":{"amount":"+0.9033896327018738","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":"Q944375$ED5F5494-884F-4FAA-835C-199036ECE911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb490f3c2f9fdca310c1dd6b3257f6aff1fca6e","datavalue":{"value":{"entity-type":"item","numeric-id":3511224,"id":"Q3511224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da07b59b89af7a66aa73a52b42ccc15fae2a3985","datavalue":{"value":{"amount":"+0.8578255772590637","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":"Q944375$47DBEBD0-200E-4D8C-ABCE-3C4345FE5DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bffa92a03d4b169ce6eebd87f95b9efa1ef873","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1acd115497bef2030403b01a15d03aa577479be6","datavalue":{"value":{"amount":"+0.8373527526855469","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":"Q944375$4BD01AE5-0758-47BA-A5CC-FB05FFB5AF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017d4e2685d527f9eb8e04021947486efe77c7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1944773,"id":"Q1944773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20696eb7262afa6f7b1dbdb633b30dda45a93f1d","datavalue":{"value":{"amount":"+0.8296040296554565","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":"Q944375$DDC99E7C-5504-493D-8478-B2DB80D0144F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"When are timed automata weakly timed bisimilar to time Petri nets?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/When_are_timed_automata_weakly_timed_bisimilar_to_time_Petri_nets%3F"}}}}}