{"entities":{"Q1343862":{"pageid":1354601,"ns":120,"title":"Item:Q1343862","lastrevid":47299522,"modified":"2026-01-01T06:54:56Z","type":"item","id":"Q1343862","labels":{"en":{"language":"en","value":"Safety, liveness and fairness in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720084"}},"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":"Q1343862$C55754B7-1F67-40DE-9F35-9E622AA4172F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"402f13bdbb972ccfd40553651b9285afd2f26045","datavalue":{"value":{"text":"Safety, liveness and fairness in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343862$A9844800-1731-46D9-B789-F45417E29FA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"574b50af964fc99a71cb0d37d10903ece217ac80","datavalue":{"value":"0820.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343862$7EE2E14D-7EC5-41E0-97A1-EF2393CD4D33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbeaade791d4e32aca882b126f3ab4476f9970b8","datavalue":{"value":"10.1007/BF01211865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343862$16591CF7-8CBE-43DF-8217-FD9351566422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc5834f906146fae1ce1b9652b327f211543e6b","datavalue":{"value":{"entity-type":"item","numeric-id":1343861,"id":"Q1343861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$7D8E36F1-2624-4DA1-A2D9-1EB9EC1F18ED","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":"Q1343862$E21EA4CD-F067-4D81-82CB-9DC4B83FEE37","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":"Q1343862$B2064B67-D30B-451D-877D-FF434149F168","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343862$9F59CA90-5868-403A-B20D-D0DB1B894DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343862$56EAD4B2-3BD7-485F-86F0-1AA7168FFA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343862$E0A46664-83B0-4A3C-BCAA-A0B3D17E93FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f248f579d37d5dcd0c02538aad6d6e1295f23796","datavalue":{"value":"720084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343862$FC0F85B9-117B-4CA6-B1C2-242168E445AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343862$716F8873-D6B8-4AAB-A790-4E41605D3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343862$1EC2EFD5-7800-44FC-AAFB-C56EF527ED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76bd0d68f43debf43b1cffae50797e68543cc2a4","datavalue":{"value":"verification of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343862$D770D1C8-85DC-491E-95CF-CE119E9604D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf793e97f953a474ba6cea09cda5355d7c7d7d2b","datavalue":{"value":"temporal formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343862$C5DEDAD9-F9A0-4B19-8019-F1709AFFAA41","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":"Q1343862$7978416B-D7E3-45C6-AD5D-99E6B796D2ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e59ceb67217bcf487e7c373e95aa972d24ea210","datavalue":{"value":{"entity-type":"item","numeric-id":1089789,"id":"Q1089789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$C870D536-6CB7-45CA-8111-CE596F2014CA","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":"Q1343862$41CE0FE7-FC64-4576-93CB-7BF2E79BCC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$53488FBB-0012-446B-ABC4-26B4CF1539BD","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":"Q1343862$DA1F800A-1DB1-48C3-8472-DB904D9A2C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$8804F183-D89E-48BD-A9F9-5299B90845ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$0F6F24BB-6455-489A-9784-044DD0830C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$8969A4C3-7494-450A-846E-1B0F1105C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$0367BA50-8509-48EB-AF3A-90FA8FD45E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$01543BBB-7970-4ECE-95CE-EAC84026DFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$3F6B12EA-1796-48C0-8C9D-1C59E9CE349D","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":"Q1343862$09D29A4B-DF4D-4462-BB8E-8C55DB819DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89e19c425314c63f687d18321610a1af26f7f87","datavalue":{"value":{"entity-type":"item","numeric-id":4139641,"id":"Q4139641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$D4AE8993-0E63-4FFF-840C-77E93F06C058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b196feb3cb5fcdc437162fee9fd2894884ff0d98","datavalue":{"value":{"entity-type":"item","numeric-id":3719805,"id":"Q3719805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343862$6EFB1065-6C7E-4A1E-A308-95FC48072EB1","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":"Q1343862$9CC6C30D-CB69-4A8B-9293-917384ABBD3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c6a2c80ec3d8671564bc8c2da0df26d345a8dfc","datavalue":{"value":"https://doi.org/10.1007/bf01211865","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343862$7456D373-779D-44D5-A2CD-1665CCA60224","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ff537b69ca98b6730b82a24f3a75d36a4a46108","datavalue":{"value":"W2131064738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343862$6E85D76E-A0FA-454B-B020-F4DD6147C24A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567372ccab0053b8ac04a6c83539f1eb0df533f","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57392263479509007344b22812e6a9273ba90d07","datavalue":{"value":{"amount":"+0.8323634266853333","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":"Q1343862$870B2423-828D-457C-A625-3903FCDDBE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0cd30ea77ee1df65921818907ac72c2ce30739","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a174d81e1c06802af078d129c7cb5d0ec9071a81","datavalue":{"value":{"amount":"+0.8254523873329163","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":"Q1343862$54960E83-C102-4450-8098-2F3A0367851C","rank":"normal"},{"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":"bef9fef41b891edc7955a50d0671f43eab384bcc","datavalue":{"value":{"amount":"+0.8233469724655151","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":"Q1343862$8D4D7C2C-FC13-42A8-B082-4BB22DB721BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c9ef6e43b2ed5f3e86cbf9d49a047d09cd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef9fef41b891edc7955a50d0671f43eab384bcc","datavalue":{"value":{"amount":"+0.8233469724655151","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":"Q1343862$3BC4D551-DC4A-4B42-BA67-2141907D1FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bf726cac6ded1933c7e0083886d03d94998e39","datavalue":{"value":{"amount":"+0.8164344429969788","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":"Q1343862$CCE4A548-C7CF-4844-B4FB-302D5451C6D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1343862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1343862"}}}}}