{"entities":{"Q3511224":{"pageid":5541128,"ns":120,"title":"Item:Q3511224","lastrevid":50401556,"modified":"2026-01-13T23:38:03Z","type":"item","id":"Q3511224","labels":{"en":{"language":"en","value":"Bridging the Gap Between Timed Automata and Bounded Time Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299124"}},"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":"Q3511224$FDE9C065-EC9F-4D0F-AADD-205FD663FF9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8de5b69d13e9fb3bf34811663d06cc69d985901","datavalue":{"value":{"text":"Bridging the Gap Between Timed Automata and Bounded Time Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511224$8783D846-AB07-40D1-81A9-7771DD1CE9E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1591f2a956f278d3c52a32bf37e157697363314c","datavalue":{"value":"1141.68426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511224$16278F88-7FD3-42CA-98C0-72E3B51E1858","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d289f68b887a4688eaf382ef3305fab05fa1a764","datavalue":{"value":"10.1007/11867340_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511224$FE433CBE-C829-4F23-8F48-E2E359A57096","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdedec70f2cb7d9472908a9952597b5373f871f","datavalue":{"value":{"entity-type":"item","numeric-id":645043,"id":"Q645043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511224$34A8755A-9B40-494B-A269-A55B0E4DADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05946d0b80bc5c5d10aac23ff3a3017c66f0c31c","datavalue":{"value":{"entity-type":"item","numeric-id":645042,"id":"Q645042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511224$FB83B1B8-FEF5-40DB-AF64-05FA6955AEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ce8993a2ba9b46fa3b3cc6eac3dbff128f14d7","datavalue":{"value":{"entity-type":"item","numeric-id":645044,"id":"Q645044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511224$EB19523D-2D98-4EBA-A4D8-E9FA12A3822B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511224$4FCF9190-3FFB-42D8-9BA1-9CB7A1964F9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511224$14916EB2-CB96-49BE-B6D4-A910229ACDE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511224$AAA58FFE-69C7-4098-B146-5589A68EDD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511224$58347471-7E8D-4DCC-8012-6576B5392AB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da20352e5fc5dd3dd5020afffbd21b6c64a78b70","datavalue":{"value":"5299124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511224$1DF4B9A0-81AB-4FFA-9F4A-FA61E338FE1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511224$A84A3AAA-890C-4247-A666-2F46EC3FABFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bbcde6a283616754cb528a0ddcbaac5c15923f8","datavalue":{"value":"priorities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511224$813BE338-7A24-432A-AC31-526833C16B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511224$E0F5850C-AC76-434D-A098-DF71C8A0756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f0e2f83d19d2afab4b50e788fe3c1bbc44a1c5","datavalue":{"value":"weak timed bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511224$206615E7-B729-4B2A-8BC1-EE21714DF503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be90cbdd050a4596a66652886727760d003c5d4","datavalue":{"value":"real-time systems modeling and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3511224$374E7928-2D0E-4E8B-A7D2-1F3372F17A74","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":"Q3511224$5ADB8E77-24A2-4ECB-8D4E-00941473F2A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bfd474f24d3a8ea7f4279a860171c3c90f9626c","datavalue":{"value":"https://doi.org/10.1007/11867340_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511224$71391DD0-55B5-49FA-B572-59EB9E39FB95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2930651d7dd2f092cea4660efb53e3a881df9573","datavalue":{"value":"W1596935793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511224$37876A24-2DFB-42A4-8A77-BAE303502C3F","rank":"normal"}],"P1643":[{"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":"d6a0960e3038d99d6e7147f5d94d0289b395f061","datavalue":{"value":{"amount":"+0.8916497230529785","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":"Q3511224$D2BEEC71-B5C9-42CC-B5C8-4476D51CAA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b63678ce82cbce4e93b0c153fab6a4ed14f251","datavalue":{"value":{"entity-type":"item","numeric-id":944375,"id":"Q944375"},"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":"Q3511224$9B2A7E46-4384-4579-A468-748A5B928AB8","rank":"normal"},{"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":"41dc1d4ad8a8bee4fe8b74f0e11a745933aae568","datavalue":{"value":{"amount":"+0.8560784459114075","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":"Q3511224$6B8031E6-C36B-4E7A-84FE-1DAAA869B0BC","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":"2661c6ca4bf55e220fe621cf1a306ffc152d5367","datavalue":{"value":{"amount":"+0.8497387766838074","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":"Q3511224$C1B1B297-A6C3-4513-931F-9C6C141699A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392b8c4cd3eaea600c27df50dc6c4b403619481d","datavalue":{"value":{"entity-type":"item","numeric-id":3543285,"id":"Q3543285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca805ed1cd470ec1d0169e485accde0ef9946e6f","datavalue":{"value":{"amount":"+0.8480585813522339","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":"Q3511224$B19ADE40-51AC-4576-92BC-206886F486E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511224"}}}}}