{"entities":{"Q2842672":{"pageid":2853392,"ns":120,"title":"Item:Q2842672","lastrevid":51801281,"modified":"2026-01-20T02:53:29Z","type":"item","id":"Q2842672","labels":{"en":{"language":"en","value":"On the verification of timed discrete-event models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198986"}},"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":"Q2842672$BAD1B584-1E1D-4964-B1AC-C28BE2D369D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b9737aed9ff208e89ab5272449e6da35cd54e1","datavalue":{"value":{"text":"On the Verification of Timed Discrete-Event Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842672$CD4B13A1-DDC5-42E4-BFCC-04799D299A3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a132889ee5f6e197cf2c6364d9016543164b41b","datavalue":{"value":"1318.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$5DBEFAC9-079F-4E6C-B0EB-4D5149F31BF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0159e05c94d73432d1581f703297c2f3d2706263","datavalue":{"value":"10.1007/978-3-642-40229-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$07753C3D-DA84-4445-85E5-8D72FF92C62D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8edea242d6935e2e16ff0e0c19169cfeaa05b45e","datavalue":{"value":{"entity-type":"item","numeric-id":2772618,"id":"Q2772618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842672$7B804EC3-B987-4ED8-AEAF-4A9BF3BE504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842672$72076EBC-1931-47EF-9A82-982D18A33D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36eb806aadd092cfc5b4315bce36f95bbfa7b51a","datavalue":{"value":{"entity-type":"item","numeric-id":2257305,"id":"Q2257305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842672$F8ACC4B6-C067-4699-A465-DA8836067835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b45025c0b4e2c334b16ec554536f5a31a12c89c","datavalue":{"value":{"entity-type":"item","numeric-id":1400470,"id":"Q1400470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842672$E30CB5C8-CBD4-47FF-B515-D35ADE1908F0","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":"Q2842672$686A2F4B-BC3E-48AF-92E7-FB884AE4B535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-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":"Q2842672$0F5C3CA0-4499-4D6A-B3FC-3CEF0B316CFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$B338D3E7-242C-44A1-951F-892B9B9DC410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$E16AEDC4-A7D3-4C69-AE4F-E37EB8D5760F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$C03A30A9-4B0B-4ADE-A9B6-FA873E307EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$1C190894-D4BC-4B6D-B0E8-924CCD41C072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0978596184afd73006b7492d33ac1a830aa44abb","datavalue":{"value":"6198986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$8E0F18D3-36C3-4529-A18C-85B3659D33DF","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":"Q2842672$84E44D6F-74F3-4FF9-9EB4-B09E9FB9EE42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bf0680ed6c5e048712dcb3a97ff4f21ce924cfb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40229-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842672$6FD27BB8-93B1-4AFF-98C8-66528D087BEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad0d9b963014aeafd6907352d8ae93d1f0637319","datavalue":{"value":"W32523102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842672$78132F5F-F480-4D69-962A-DB2DDC256BDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c4b7a1684a95b49ef8fdca18db7f783e768a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3005130,"id":"Q3005130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1820e02e8e839573801e14a1be2c0054de1ef83","datavalue":{"value":{"amount":"+0.7890230417251587","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":"Q2842672$E726DF75-5B15-4788-9A78-E3690734ABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7d800fefcca8aebf58f3de39b3ba36e6b6909a","datavalue":{"value":{"amount":"+0.7484363913536072","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":"Q2842672$14BB53EF-B20B-417D-A7BD-CAF48D896B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690e8e02e1b055d948d0efa418c1ac100887a1e1","datavalue":{"value":{"amount":"+0.7459237575531006","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":"Q2842672$9D2B825D-D675-42D7-95D4-A17F2D5720B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73deb50baa4aebd943d5c91637a18339a397402","datavalue":{"value":{"entity-type":"item","numeric-id":1857661,"id":"Q1857661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e04cf15da674729bbb86d2dd089ccc012efc0fc","datavalue":{"value":{"amount":"+0.7426836490631104","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":"Q2842672$63E83F3B-9E48-4F66-B9D9-5D0FD81A4791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db4be0f3368e56ac6baa5a1bfc7a0b7e20d2f25","datavalue":{"value":{"entity-type":"item","numeric-id":1861527,"id":"Q1861527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431a6ae90ca5cfe603509caee7293bfb716ddb20","datavalue":{"value":{"amount":"+0.7352455258369446","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":"Q2842672$88C45943-79A4-4E70-B45F-473D008F3896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842672"}}}}}