{"entities":{"Q4850246":{"pageid":6879826,"ns":120,"title":"Item:Q4850246","lastrevid":46339821,"modified":"2025-12-24T14:42:22Z","type":"item","id":"Q4850246","labels":{"en":{"language":"en","value":"Equivalence preserving transformations for timed transition models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 803573"}},"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":"Q4850246$D5B83E39-DE5C-4AB0-B817-922EE4B1110A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c6efc59570880929999afcf8f19a5570327a38d","datavalue":{"value":{"text":"Equivalence preserving transformations for timed transition models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4850246$B00D0D2D-D684-46F9-B470-02A7EFE994C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e10f4c0c68a7badd21fcf43b00a30204e60c434","datavalue":{"value":"0842.93013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$6FA94854-7984-4F34-B076-DE0E8CBC9305","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1ee5beee9747c68db3a4d19d7000433f8a0040e","datavalue":{"value":"10.1109/9.400494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$41F69CFA-BD06-4F14-8292-3DE4FD99C4A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf0adc959fb4621f3b5937554f26394d60e9913","datavalue":{"value":{"entity-type":"item","numeric-id":351738,"id":"Q351738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850246$E300471A-FE0F-4600-8F79-577A6EB1F16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"068c1cacd102cb21c594fa3ddc56df9e88fb0a9c","datavalue":{"value":{"entity-type":"item","numeric-id":680539,"id":"Q680539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850246$135A5B68-AAB6-4FA6-88C7-DBD3C5EB9E74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4850246$55EC6D2A-3D3A-45C8-827C-2F2C37B25736","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e7fbbd683a03463c3422bfa8218218d1a58508","datavalue":{"value":{"time":"+1996-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4850246$6C7D7026-D316-44D4-B2C7-D44A4F0FBF47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a73a54151cb2157bedd8e75d098f25ead941fdd","datavalue":{"value":"https://semanticscholar.org/paper/f3fbf854d72c9fb77a33e959a128b8d68f4bb8f6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4850246$B2C60D36-3085-4FB6-89E0-B93238BF2F94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ba2842931f306df7115450868bb0fb7d07d2a0c","datavalue":{"value":"93B17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$02D4F78D-DE9C-4456-9101-490525E12E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb63175a2479dd33d5406fc60dcfdfa53b1ef2a","datavalue":{"value":"93C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$93E62FFC-EBD4-4613-967C-BC4392232C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$91A2CA1C-4070-4582-8E6D-7A4AC2C6D0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$0B1FFD50-7070-4C0F-BD7E-B845684C6B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$10792649-2B5D-4D44-BDE0-D549ADE4838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$A0ED6607-672F-485E-A6F8-57B5C86B0B94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de288fc5db0b7be841750a95bd47775a505e3f0","datavalue":{"value":"803573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$EB3EF3B1-BFC4-4D1B-B7A0-AAA85898B507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850246$A42B0479-39EB-400B-994E-F47AE510BB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0284f34f6de4dd7be4b09371c5634f2f0cf67a71","datavalue":{"value":"time transition models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850246$ED19E86E-AEB2-442A-90C2-731040D1895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8b00b3a23da6bd1f1e4eb057095a3ec54f5c0d","datavalue":{"value":"observation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850246$7A3A3685-377F-497D-BE06-C84A98B778A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa6d68156836da223c288246dd25ee12958e4ac","datavalue":{"value":"real-time control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850246$58F2AF91-727A-4529-8A67-322A35DFAD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dca5b755a3b33e79b67a683448b6bb0d1d64360","datavalue":{"value":"transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4850246$87236450-217E-473C-A1F0-F260A996F190","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":"Q4850246$84EDE480-632C-4439-B62B-3A60D799A247","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f0dedfd4066b1ecf80e962041534f3c3c590eef","datavalue":{"value":"W2171114695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4850246$5B27C1A3-4D1E-4780-8600-694869E4B463","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1f384828a62bdf3f6a49859ece673f7e69d3fe","datavalue":{"value":{"entity-type":"item","numeric-id":4035252,"id":"Q4035252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc47d0798137efa99183dd0e800c8478e99ff88","datavalue":{"value":{"amount":"+0.7611168026924133","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":"Q4850246$C0FE9594-ECE8-446E-B6E4-B0BD0A1B8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7324c3b6d0b658fef4bf6b7162780f75d8ad0570","datavalue":{"value":{"entity-type":"item","numeric-id":5480168,"id":"Q5480168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b34c69d146fa0e6f8a8435841817f83c31387a0","datavalue":{"value":{"amount":"+0.7451572418212891","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":"Q4850246$F8B29FA0-9772-44AE-A396-4F52A04086F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd21f0e2111ebe6b1be4a71b0a7ad683a6993c3","datavalue":{"value":{"entity-type":"item","numeric-id":1758671,"id":"Q1758671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba3dbac3a736e605641645104c7edff6e23f4f1","datavalue":{"value":{"amount":"+0.7350403666496277","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":"Q4850246$D0C739BA-75D1-4D4D-B895-3010AC2301CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d83aa3be5ea35a0dc597fe0da6e022d4bf06df2","datavalue":{"value":{"entity-type":"item","numeric-id":3522914,"id":"Q3522914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd74fcb4710764f5304663bb143017cd5d02509","datavalue":{"value":{"amount":"+0.7327577471733093","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":"Q4850246$3B88869E-94E6-4B20-A08E-FC102DB59AC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4850246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4850246"}}}}}