{"entities":{"Q402360":{"pageid":404127,"ns":120,"title":"Item:Q402360","lastrevid":61625238,"modified":"2026-04-11T00:33:21Z","type":"item","id":"Q402360","labels":{"en":{"language":"en","value":"Deciding safety and liveness in TPTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6335095"}},"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":"Q402360$EA1DDF4C-0C84-45A3-93EC-0DFF195C646A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3784c948525744c5e887e4ea1b8e56978ade7890","datavalue":{"value":{"text":"Deciding safety and liveness in TPTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q402360$594383B6-33C9-4466-A6C2-6F6D2CDCEE25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a4418876168e6245317ea30ebf6490035b27219","datavalue":{"value":"1371.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402360$96E4F0F8-89C3-443F-8F63-4BC86C8E1632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196e39b1a36b8e30954ef8ba14d967701b45c645","datavalue":{"value":{"entity-type":"item","numeric-id":402357,"id":"Q402357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$65979A7A-CFB1-4B8F-9C83-88C8B8FD9448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b5808f251c37bb2de69a0629c5cb8c741b5006","datavalue":{"value":{"entity-type":"item","numeric-id":402358,"id":"Q402358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$E46B40DA-734F-489B-9628-A195A5D3B326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e188186e9b3b555a42fd3b32619716393d0ab39","datavalue":{"value":{"entity-type":"item","numeric-id":402359,"id":"Q402359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$EB9A2C29-38F9-4FED-8DAC-DF60B01D446F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$7FFE6184-6EEB-4E20-9297-FD7C605A871D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$051A29D8-D6D3-461D-B321-20036F98D6B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"219030106450a61014cf009996673608e893f290","datavalue":{"value":{"time":"+2014-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q402360$FEE5A869-E78E-437E-90A3-2D53B9CAA6F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402360$FE8F7B9C-22AD-4912-81C6-DB51FE3A7CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402360$E3308A93-C01D-4FED-9DB2-CDCA269D7B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402360$BDA4BA67-AF19-40F7-8A58-E5F394DD9ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e09599f2f411aaa686763b725a3b0d6021a24a0","datavalue":{"value":"6335095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402360$C12309C0-B505-4343-BE04-7D48B313849E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q402360$2581AC03-436C-4DD2-860B-BBBD0F2E6C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q402360$0826441A-CF15-4F6D-932C-FCA537168B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q402360$C02B33B5-F967-4114-A5ED-AEDB88C45229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6957acac28bf659061cd7541178f329489955cca","datavalue":{"value":"safety and liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q402360$AF257963-9F8F-4F09-9EF9-F977701A0A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q402360$003093B8-47C0-42FA-8EBE-C758AFC75481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q402360$051429E6-E1E6-4429-A936-7594B2FD99F7","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":"Q402360$23D86B5B-E35B-450B-A716-31F9FFC1B4C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48f81290fef1e62fd31f05ce3c823b3a492bcccf","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2014.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q402360$A00A6DDD-A8DE-4D94-9031-404714C26DE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4724fd4a751defe5f5df2bf4d06faac3eb2871e7","datavalue":{"value":"W2127730150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402360$EA85CA4D-631E-4FD7-B6F9-39961E3FD8CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$C87BAF16-4D86-4BE8-93F3-66911289C9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$FB1D17C2-62D9-4B23-B5BC-A890620D952E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$0C4EC723-6E0F-4360-ADD4-7BC2AA1A4BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$66C8E9E2-4EA6-4D8E-ADF2-DB6170FFAB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$CE950773-B3EB-451D-A006-52E3A32B097E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$13CA1C81-C0B0-4836-8081-F1B294A2AF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$7AC80467-7D42-44DF-9228-0053D4DE1C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$056BE671-7F57-478F-B85C-AF088EEFC24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q402360$EF37A5B4-3A2E-4953-92CB-11950302453E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c146630b9e5243f8bb67b839ce65a39b181ba94","datavalue":{"value":"10.1016/J.IPL.2014.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q402360$4F992CF3-85E4-431C-9BBF-478071B3F957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a23c6ee92dbaf66513ec87024db86d3f889f745","datavalue":{"value":{"entity-type":"item","numeric-id":4029611,"id":"Q4029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed26910683edd56b6bc8ec715c154b650915786","datavalue":{"value":{"amount":"+0.8382893204689026","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":"Q402360$6B1E7275-3E6A-40EA-B923-2B24B5706883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59888d4d4c960f54c06ebe0b8a8251245aef7b66","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed26910683edd56b6bc8ec715c154b650915786","datavalue":{"value":{"amount":"+0.8382893204689026","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":"Q402360$1C0BDB28-E502-4CF0-9C6A-D124100AC719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e0a78e6a715469b7959c88759560dfb1ab2fec","datavalue":{"value":{"entity-type":"item","numeric-id":4635640,"id":"Q4635640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a486c84c8361b19dc79839ab82a828067216f06","datavalue":{"value":{"amount":"+0.7738232016563416","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":"Q402360$19A74A9B-CE72-4D52-845A-3691318AA2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36543351e1869c91cdd9c647bbc3e5e570e5200","datavalue":{"value":{"entity-type":"item","numeric-id":5899071,"id":"Q5899071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d174ccdc01841bfcee16bf22a351cdcaad310b","datavalue":{"value":{"amount":"+0.7552253603935242","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":"Q402360$F7DD4B93-973F-47D1-BA6B-08267DA193F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a35604cbd6b9c3d5a84477d60042e36f773f43e","datavalue":{"value":{"entity-type":"item","numeric-id":2448112,"id":"Q2448112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee5026f2c0da8da451a88caaaef635c85c2dcb5","datavalue":{"value":{"amount":"+0.7519562244415283","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":"Q402360$19948823-5FBA-40E3-AA08-C62C24E2C9A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding safety and liveness in TPTL","badges":[]}}}}}