{"entities":{"Q2642985":{"pageid":2653728,"ns":120,"title":"Item:Q2642985","lastrevid":50158955,"modified":"2026-01-13T07:31:00Z","type":"item","id":"Q2642985","labels":{"en":{"language":"en","value":"Predicate diagrams for the verification of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187832"}},"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":"Q2642985$11B5F291-2172-4ECB-BF37-91EDFC63B30E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d97b4c5b73774f678fb81089e8069c0d0c21a8f3","datavalue":{"value":{"text":"Predicate diagrams for the verification of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642985$32E37B26-4FF6-40FF-84CA-CE6A99151067","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adfd7339089d7fb492e077f12d6a7f32fcc6b02d","datavalue":{"value":"1125.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642985$D1082BD8-E12D-49DC-9A6D-0887A1074696","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f8dd6bc32fc8200b5f59f775f7cc170beb54eb","datavalue":{"value":{"entity-type":"item","numeric-id":2642984,"id":"Q2642984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$4902CC00-C49E-4066-85E5-A1829D06E613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$50968B7E-470E-4249-927B-F4B4362FB0E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$6A95D6E0-37F7-4A69-B34B-091C9A960156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642985$68456F09-1997-4EFD-9CFB-F9C9426F39EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86a293100e3b2197bdd5bc272cea461087312783","datavalue":{"value":"https://hal.inria.fr/inria-00112065/file/0819.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642985$360C3519-69C6-41A8-A4E0-4F3D7F4303D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642985$8667DB53-BD2D-46E5-8D51-9FD4EBCA0663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eb694196996cdddac6fdd27ed81c1b98dfc805e","datavalue":{"value":"5187832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642985$1424D8D0-0EC1-47F8-99C1-31A0DB5E35AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ba1df2f2b85af6bd7003ac3391309435abe5ff","datavalue":{"value":"verification of parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642985$2660A16D-EBD3-41AC-BE14-23A52E57B8C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$B5001E80-821A-4689-85E8-2BE28CB86165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$199DDDA7-1065-4EEB-ADE4-180CF3A84FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce0dd090116a8584c0376bdcccb5220884eb9e94","datavalue":{"value":{"entity-type":"item","numeric-id":22523,"id":"Q22523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$4D014F9B-93AE-47EF-825B-6D4C36BCF85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$5FAF779B-0F5A-4A56-822E-6CF870A5DEDA","rank":"normal"},{"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":"Q2642985$D3BEEA1D-9CF4-41BC-ADF8-B768E313FDB9","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":"Q2642985$7F8A2F5C-DD24-4B3F-9E74-641712517EC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36e995764a1d3037a71f0ab33b6f395f9076a705","datavalue":{"value":"W2011757283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642985$2FA4498E-A8A9-49D8-A143-5CF9E5E4CBDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$06BAD974-DA37-43AA-BB3D-482FF59C6038","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":"Q2642985$8DA56D03-49E4-49FD-92A9-EA19DC4B4D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c68dcbca044f49d4379640fd55196edac183c4","datavalue":{"value":{"entity-type":"item","numeric-id":4532077,"id":"Q4532077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$F7649F3C-97E2-43FA-B1C1-15B5DDA5C08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616c18c9f25eca63c3b073680f3df7741357783","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$6D8A3D63-6868-4171-81F3-5CDE9A3849FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$CFF221BC-6174-4D6C-9287-B396944A99BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd27e62594ea8e8c280cf4dbe7bdf8da5d007df","datavalue":{"value":{"entity-type":"item","numeric-id":2709808,"id":"Q2709808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$3F629F56-E924-46ED-9887-D26B23330240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$20494F66-3104-493F-84BB-A6DB47987074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$DF0A9610-D8D9-4C88-BB3E-465D1EE4BDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$FEFDFEDD-878A-4E12-84B9-E2AFAFA959CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642985$1AFACF23-C2AA-489F-B006-C0184EE3393A","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":"Q2642985$80A8C3F4-EFFA-48AA-9213-70A1F0FE309F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9f2098b5c2b30efea2d90b67363a4f3d0a4e8cd","datavalue":{"value":"10.1007/S00165-007-0030-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642985$C4F317FC-1CB6-46C1-AC28-6A8AAC33DC94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f76f57843ebe47402f7c61fa45a70fb2e55657","datavalue":{"value":{"entity-type":"item","numeric-id":2863860,"id":"Q2863860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322b627a1e67be1d5787bfb8ae0b8d0e6e5466d7","datavalue":{"value":{"amount":"+0.979421854019165","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":"Q2642985$49F7A191-5CA1-4946-B78D-1B06D4B4E5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f403ececc066de048ad63f26d850e13b3775f1","datavalue":{"value":{"entity-type":"item","numeric-id":4679533,"id":"Q4679533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8882e5d34d211a36b473d796714f295fa6c9d88a","datavalue":{"value":{"amount":"+0.8880611658096313","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":"Q2642985$5F465B37-9ECC-4100-8F6B-6976094CE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9a4334f6ffae96fa54c7bfd1ac512ef2676620","datavalue":{"value":{"entity-type":"item","numeric-id":4471930,"id":"Q4471930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6798b6a7c709aaa036fb7ee41136a7ac6ce4e6a7","datavalue":{"value":{"amount":"+0.8392602801322937","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":"Q2642985$418B9973-DDAC-4FFC-9A75-430AAAF2703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d402d3128056cea002509d365282cf1f6da3259","datavalue":{"value":{"entity-type":"item","numeric-id":3517238,"id":"Q3517238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e901c9b37a6515313a8d1dbfa500bc7895b0d42","datavalue":{"value":{"amount":"+0.8083052635192871","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":"Q2642985$CA87DB72-56A7-4F3D-9402-977C1014D9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191cd7535726b8d0e7a45c0ad3f3baf12cbd31a5","datavalue":{"value":{"entity-type":"item","numeric-id":2842588,"id":"Q2842588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d991875731027d8b51a36e73b4c3b0c3018abbb","datavalue":{"value":{"amount":"+0.7948874831199646","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":"Q2642985$28924812-A58B-4116-A5FC-0C72DCF714BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642985"}}}}}