{"entities":{"Q1343864":{"pageid":1354603,"ns":120,"title":"Item:Q1343864","lastrevid":70198407,"modified":"2026-04-13T13:06:20Z","type":"item","id":"Q1343864","labels":{"en":{"language":"en","value":"A logic for reasoning about time and reliability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720085"}},"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":"Q1343864$4C47B0C0-C98F-42A7-ACCF-01839BE1EEB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4a93e45ced6dcdd7aa4ee0c62a8ea371966b284","datavalue":{"value":{"text":"A logic for reasoning about time and reliability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343864$F47FD1D8-2A62-4015-841D-EA9460D50948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1707c4a266d02d87ac036f6a2a50715a4536d89a","datavalue":{"value":"0820.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343864$FE428C42-9F89-4A2E-AD7A-E95BB4D5D5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6bde3fcbc05c89e265592fc1a3a9b2b10159e4f","datavalue":{"value":"10.1007/BF01211866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343864$D65D7A06-5C4A-44BE-8269-62739BBD5F1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b6a6374159b046606ecf4c5c655e1b4601b9e","datavalue":{"value":{"entity-type":"item","numeric-id":1343863,"id":"Q1343863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$84D760DC-D095-4C84-81B0-C5DF702EEA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$E7C73D8D-6122-4043-AF28-B0C3C9489127","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":"Q1343864$B6E327A9-A04B-4E4F-A218-1E846FFDC84B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"191728e620ca2d66220fdf5e72b7e38829c4c6cf","datavalue":{"value":{"time":"+1995-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1343864$70F4D7D6-D511-4DB9-A196-ED5ED77C5ED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343864$12353025-92AA-490B-A9AC-E77E4294C2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343864$884064B1-CC67-40AE-897C-CDABAE3A2727","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20556b76b46beeb3a6e6057b49859f11f63e9c76","datavalue":{"value":"720085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343864$6498A96C-BA80-4296-83BF-AAB8366B2F81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343864$6D463E26-07F3-4978-BBBE-69C0BE28E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343864$5F2CC39B-BE9B-474C-98F2-B79A947D9749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343864$23843858-FD29-4793-96E8-7C51D19D18F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85b157460f95372e128d1aa94f449eaf952c6f9a","datavalue":{"value":{"entity-type":"item","numeric-id":26685,"id":"Q26685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$A3038D10-2BB1-4D73-B8B7-C84F44EC27BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3c1091fb510b5047cdaa636a60a3c339c434280","datavalue":{"value":{"entity-type":"item","numeric-id":19949,"id":"Q19949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$A23E835D-DF2C-4382-BF3D-F5D84B3E92E7","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":"Q1343864$597C1F97-D8DC-4482-A74F-CBA5FD051D7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$86BFE0B8-041F-4E4D-9814-5A9D5562EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$252C57DF-F11F-4B30-8876-5481B4EE6B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$DF06B51F-674B-48E5-AFBB-A0BA0CFA4F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4671ba8a140affae8061cb60ef71467705a88ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4256644,"id":"Q4256644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$6E1BF7B5-7551-4439-8477-E7C8F191316F","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":"Q1343864$14120B2F-3335-46E6-A526-0AF6C49C0266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$35FDA08B-F758-43E3-9E87-65ECA77EFCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$FAF4BB25-917B-4895-A344-21070FDD7D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0262c7ca9d46cfb4cf3512f2a0333529706ee62","datavalue":{"value":{"entity-type":"item","numeric-id":3684121,"id":"Q3684121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$F6BBB7DF-9034-47B0-AD29-2FFF8EF527EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$ACF67474-DBD3-4DF8-8F78-841C434A39A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741c7d3129901eccb8c6a0c0e2bacc188c4905d9","datavalue":{"value":{"entity-type":"item","numeric-id":4728220,"id":"Q4728220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$F7072978-BB1A-4148-98B2-5F98DC15EEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$CC29A7B0-D154-483C-856E-67D9599B9BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$80E233C6-9A81-4478-AF09-711076846BDB","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":"Q1343864$3BFDD298-336E-4C3D-9A5D-F4C78D5FDB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$E30A9A2B-5550-491A-837B-069CB1A32697","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":"Q1343864$9DFC956A-CE42-4E1A-9302-E349525EF4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$A7269978-5232-4D37-85B0-47B68205B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343864$4E49E561-0D8C-436D-831B-265175B78EF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f627ecddd9e625068faee869196836ed8916cc17","datavalue":{"value":"https://doi.org/10.1007/bf01211866","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343864$675C57F3-01CA-4CC3-8274-D3F54B62CDD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b59b6ceac114818a4bac248b4008aa1346addd8","datavalue":{"value":"W2005998857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343864$DC5029AE-FF3A-4BA6-B578-EC1C3F85ED1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6145a40c5d2afbcd19d7b48b52bb00296d6f75b","datavalue":{"value":{"entity-type":"item","numeric-id":4722046,"id":"Q4722046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33d6543c81fa0cb6934931c4b64e9e9fb6b8382","datavalue":{"value":{"amount":"+0.8621014356613159","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":"Q1343864$538FE899-7495-40F7-9485-A8D0B26A7330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c68c0a7a0ace9b862d1f8eb3721b003822d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3337452,"id":"Q3337452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d287687321744cb2c4ec339dc0b7102f23814f5","datavalue":{"value":{"amount":"+0.8437936902046204","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":"Q1343864$15009968-4E95-481B-BA5F-5A768CF0F192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d0e93ce1c0d306c30cd6c9cf5c2c73b3bab82f","datavalue":{"value":{"amount":"+0.843055009841919","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":"Q1343864$722E0252-632A-4BF6-A564-5D27449B5AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab49dd9b477f3e4628229a95f94a5c17244fc7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3400533,"id":"Q3400533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81398af466827818430a17be396141604aa7699","datavalue":{"value":{"amount":"+0.8405581712722778","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":"Q1343864$F88C631D-E0EA-4B0B-B22B-95CC1CFBA255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734cdc164af6829a5b69e32c298432e2908341b2","datavalue":{"value":{"amount":"+0.8321658968925476","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":"Q1343864$E729A47D-BA1E-4EA8-9654-590FE10E9531","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logic for reasoning about time and reliability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logic_for_reasoning_about_time_and_reliability"}}}}}