{"entities":{"Q2943770":{"pageid":2954490,"ns":120,"title":"Item:Q2943770","lastrevid":44762652,"modified":"2025-11-25T21:31:23Z","type":"item","id":"Q2943770","labels":{"en":{"language":"en","value":"A lattice-theoretic characterization of safety and liveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6478747"}},"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":"Q2943770$9134940C-3B62-4B3E-81D2-7006611FC158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62548940eff5b51b5b6e1585bca6acc9d7b50196","datavalue":{"value":{"text":"A lattice-theoretic characterization of safety and liveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2943770$96873C1D-29A1-42B2-8FB0-F54978B67AA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db13b14c1992d9cfc799d3af9b97f474a29b3b2c","datavalue":{"value":"1321.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943770$5E043D4F-B4D2-41A3-BD30-EEB63A1761E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2b3774e4328b23c6521b42ac7dc4adc21168a1f","datavalue":{"value":"10.1145/872035.872083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943770$5808CA61-5039-4731-B9F8-05F35C288A4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943770$CCF87287-D0C4-43A7-86F7-D7C7E14EE16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943770$B47BA8DA-D900-44E9-823A-AA26D3F5A6D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"311a5d77475845bec3245ec96de4b8d21ef2cfc8","datavalue":{"value":{"entity-type":"item","numeric-id":2943744,"id":"Q2943744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943770$4AF2C0D4-6C13-4A1D-B9F4-F60C4683B8E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78c696a28fe9bd077d52d8c9c7a03ea79d54978b","datavalue":{"value":{"time":"+2015-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2943770$D62C9CBB-5CE4-46A7-8DAE-7D647DF3D02B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943770$6AA9B757-302E-4148-9759-470C743CE9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943770$739E1E19-B0A9-475B-9408-EBF198F42149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8504e21bd590105f8a26546f3223043977347bb","datavalue":{"value":"6478747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943770$33E639AE-6BAC-4B96-A4E4-236C1C72BC4C","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":"Q2943770$13D56400-0D5D-416B-856A-0043BA874334","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c536993ad71d3c59d90a22aff82ed201d76bef0","datavalue":{"value":"https://doi.org/10.1145/872035.872083","type":"string"},"datatype":"url"},"type":"statement","id":"Q2943770$420C8A87-56EE-4F83-9196-EE292B37D7DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5121a747b885bacc6107212bbd2115cd6d0cae53","datavalue":{"value":"W1970577612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2943770$3CB44AA4-7219-4608-BE3A-8D78599B1C11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8cf24fc5225223c99ba32c62f02e2092923133","datavalue":{"value":{"entity-type":"item","numeric-id":4425703,"id":"Q4425703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2943770$4624C93A-63AB-40C8-A32F-F5608B93BA2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a564cc5b7ef6d2791ce03f87f3cb8acc8c16d6","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c5f6058e40799a5ffb90c41f6876e1be2aa069","datavalue":{"value":{"amount":"+0.9415482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$A839D49E-C689-4430-BFD4-96E9CC0BF53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7db28f74803523226543b2ac4d4dcdcc789dbd","datavalue":{"value":{"amount":"+0.9179409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$E120BCFA-2A77-4996-87A1-BD74D0BCD4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8cf491814dbfbbd4aa1691dee496a7b9c28c3c","datavalue":{"value":{"entity-type":"item","numeric-id":4738286,"id":"Q4738286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593fb12acf587db8f61207bc6b840eb3e22afb08","datavalue":{"value":{"amount":"+0.89990973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$8FAF3299-F925-45FA-866E-8B82530B97A3","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":"35406329f00db47b5c38f1dde3bccf6da157d252","datavalue":{"value":{"amount":"+0.8964109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$71E16F5B-B331-4D46-81D1-5FD38B9B50B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2270a327323d1de3606444cb45346a60e85b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4256644,"id":"Q4256644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2068febe09dc60aaff08deafb4bbfeaab74592","datavalue":{"value":{"amount":"+0.89149874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$250802E0-DE36-418C-9CB5-F1D4A4B75473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1948af842d13a6cb2493ca05713966944f083ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1346653,"id":"Q1346653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7620cd36553514bc72634f4e0ab36aa6292ad9","datavalue":{"value":{"amount":"+0.88321453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$F6EE9D8A-A7F4-4103-BD19-1DD607FE0362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aea13c570e05069715b97248394dcbad6b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68c1cc81e7275be59859d569ecde2527fb612c0","datavalue":{"value":{"amount":"+0.8797868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$38CD8778-9982-44CB-8651-FE542F06429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1196a622b3fa6b771f97b80ad4eb4e6c4e016818","datavalue":{"value":{"entity-type":"item","numeric-id":688439,"id":"Q688439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49faad2f653a8ff58e3d216db9dcca587c3bafe","datavalue":{"value":{"amount":"+0.8794542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$77BF5EC9-9882-420A-BD4E-B74FF9053C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3595d77a050623f973e1a6a9fc667c6ee0418dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3085987,"id":"Q3085987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2c6dde6413c765c9f2b0c2664da2331d9dd312","datavalue":{"value":{"amount":"+0.87805057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$062DA28D-7F5F-4F9A-B349-B6E0B5AF7EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241ec2cea260bd150c560a081d963c8d53f2af09","datavalue":{"value":{"entity-type":"item","numeric-id":2465051,"id":"Q2465051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3d5a2bfb8ca05b048f743631e215cde1ce78e4","datavalue":{"value":{"amount":"+0.87574184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2943770$5BDA6E23-5B9D-4129-BBFF-ACB58346D582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2943770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2943770"}}}}}