{"entities":{"Q1575841":{"pageid":1586581,"ns":120,"title":"Item:Q1575841","lastrevid":67908783,"modified":"2026-04-12T20:08:56Z","type":"item","id":"Q1575841","labels":{"en":{"language":"en","value":"Verification of reactive systems using temporal logic with clocks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495142"}},"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":"Q1575841$EF162B88-181F-4B30-8F3F-9BFD94558AE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf1ab12580c6d00beecb2b19cc420e86a70beeaa","datavalue":{"value":{"text":"Verification of reactive systems using temporal logic with clocks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575841$1143E0FD-4716-4F99-8429-6F40F336F478","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fe541bdb818016c64ec0413ca414aed37631964","datavalue":{"value":"0954.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575841$BD7C1C27-418C-4356-9EA1-C505BE9DF384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5dc9ed1ff7844f9a4a1122abf0aede1e1ef1595","datavalue":{"value":"10.1016/S0304-3975(99)00008-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575841$9ADF57E9-8DA6-4B24-B7F6-BD9D1F41342C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a423aaaea945358c3594d8cdb3982b96fc4d8bf5","datavalue":{"value":{"entity-type":"item","numeric-id":456707,"id":"Q456707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$552D3518-7973-4F35-8E49-6D583BC0681C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"968189839c7fc279d65671c9e34dac7d45d8cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":421349,"id":"Q421349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$AD1BFCD8-ADE1-492D-B6B2-9117F1C0FA52","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":"Q1575841$4FDA3899-92A9-40D5-908A-43847BBEB1C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575841$8C947289-3E41-4519-8933-44CC303958AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575841$229EAC50-340C-4224-9699-C20A24DD2016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c00e19523e9c34c13c2e9c6b467c6b4b0d4a5ce1","datavalue":{"value":"1495142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575841$FDDA8F35-DDAA-46C1-8345-D316F350451B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5891392b8651dade26bce9239b8e9678156f5b6","datavalue":{"value":"temporal logic with clocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575841$2E9608C5-9C6F-45E5-9ED9-A48FA47C1E97","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":"Q1575841$C2205460-2ACE-4258-B9B1-E0941F118A8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$1FBE7DAA-1540-4635-BB26-038A57A6B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523ed99a465466b2584783d5b906088e1e4d54fe","datavalue":{"value":{"entity-type":"item","numeric-id":679327,"id":"Q679327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$39B8C9D9-BF4E-4744-902A-5D77FA66D111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44d75bbb4bb319e62a6775e93e6d1ced1dea813","datavalue":{"value":{"entity-type":"item","numeric-id":5285990,"id":"Q5285990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$8C3E9604-09C1-4E64-9F70-18CF0EC1A01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$CEABCEA3-3E64-4659-92E1-3893D5C510FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$6425163F-E596-4BEA-BB8C-E58B139F0D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$6C3992C8-26CB-4163-9A32-5CDB21D12A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$ED3EAD75-2AF6-4300-8793-6952B4AE3131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$CD8A612A-81B3-474D-8936-10D39DD0842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af928acf08b68528adb4596e9ec25b92fb56f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1192604,"id":"Q1192604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$21580699-7837-483E-955E-C265A0672E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e022113c3a2893ece892674c90231a717879f0d1","datavalue":{"value":{"entity-type":"item","numeric-id":679339,"id":"Q679339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$C440D610-845E-4F6C-A29C-C48F27A5F4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$88755302-9009-433A-946D-A3EA9A7E758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$51ECA841-CB9A-47A9-B95D-3D753677EEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c2fdcc6b7877d76530adbb7d38e89cbc708649","datavalue":{"value":{"entity-type":"item","numeric-id":679341,"id":"Q679341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$870D4572-F08F-4711-8A27-7C5647727B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$8951A784-742E-420E-B1F9-FE7F40997ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$6AF0A4D1-5FFC-4FF2-BD07-5B53330DBD4A","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":"Q1575841$47521548-4EF2-46D5-B1B2-87E98D2F3C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1368e2949cc5bf3dcbd7755b7f4354895865cce5","datavalue":{"value":{"entity-type":"item","numeric-id":1190487,"id":"Q1190487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$A233C8A6-A287-4A4A-A444-16351D98101D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b673fb73cc298c0d5356e4b8333e8e8928266bf","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$A158529F-B893-455D-A617-6561AA8B65F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e3a442ba590cac8ae88ceacdb0593242447bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4207573,"id":"Q4207573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$05EE762A-5388-4D3C-8CC5-0A7E4660965D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976fc33fdb235c6ac25a926d13ce1930ed75fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":3814839,"id":"Q3814839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575841$9BA23281-9886-4B39-85A7-0803D8F92CB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea02699da0e6dd26ab70311ae5742942f24f307","datavalue":{"value":{"amount":"+0.8076239228248596","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":"Q1575841$E3EA2C24-A865-4773-81B7-1D0B6F7506CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30e9a5d701736fe3c48d41f267a3b8712037274","datavalue":{"value":{"amount":"+0.8026095628738403","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":"Q1575841$37E739A4-F752-4088-A551-53015E29E9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10de14f052cf95da7291ceeb23dfbee872e6b5e5","datavalue":{"value":{"amount":"+0.7624825239181519","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":"Q1575841$B239CADB-44A4-412E-B95A-8547439086B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372b69ab1939ba06752a09e11e53f8645776f9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4017600,"id":"Q4017600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7090c296cef8f231d472fcd2b5d76758b07ffd2","datavalue":{"value":{"amount":"+0.7610853314399719","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":"Q1575841$DF18BEBA-8E8B-4CF7-8A19-FD6BF59D3AC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of reactive systems using temporal logic with clocks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_reactive_systems_using_temporal_logic_with_clocks"}}}}}