{"entities":{"Q1064056":{"pageid":1074808,"ns":120,"title":"Item:Q1064056","lastrevid":48854434,"modified":"2026-01-06T00:30:11Z","type":"item","id":"Q1064056","labels":{"en":{"language":"en","value":"Defining liveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919801"}},"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":"Q1064056$75DD4355-FBC6-437B-9B41-A23DA54DA4F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dee8bdc2e5e450530d915fa15a9f35c39394230","datavalue":{"value":{"text":"Defining liveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1064056$E7527B6F-C1E6-43C2-949C-7D48036895A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f48d08f3542d57a5681fb1fe4e2ba75698f0794","datavalue":{"value":"0575.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064056$F5A4E334-4E97-407A-AEC8-3906FEBF80A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39d57778cf6bf1d8c51d7feffc886a903325150e","datavalue":{"value":"10.1016/0020-0190(85)90056-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064056$080EFEA8-FFE0-42B4-92F7-A3A0DE4CF3A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eedc52844ebed8502c4b6f8e4061fa0d936ff5e","datavalue":{"value":{"entity-type":"item","numeric-id":1064055,"id":"Q1064055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064056$CCFC1162-66BE-42A7-ABCD-E4D2E73CF623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2194a72287987c2fdd62e01e933a3ba2db5d50","datavalue":{"value":{"entity-type":"item","numeric-id":431789,"id":"Q431789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064056$8C3AFFD6-6D5A-4F65-93D2-D1AA11C3907F","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":"Q1064056$78142162-9C22-4427-86D2-6CD090509FB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1064056$4D2A320B-1102-440F-966D-8AFFE4D01185","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30f0a48d12d6f933eb753ca88be44c1a5b5a4d2e","datavalue":{"value":"A formal definition for liveness properties is proposed. It is argued that this definition captures the intuition that liveness properties stipulate that 'something good' eventually happens during execution. A topological characterization of safety and liveness is given. Every property is shown to be the intersection of a safety property and a liveness property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064056$007479D1-0D85-4AD4-944D-24AF383A3638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064056$77FDB495-16C4-4E42-91D6-AF44FA35AA1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3b1669337b756111ced40f7164d9f64f0523ad0","datavalue":{"value":"3919801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064056$3D7E3868-CEA3-4876-AB20-A0A00635E570","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064056$BCFD90EA-6BE2-4474-82FB-BB2E36EE98DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064056$C5BE0FB5-BC6F-4695-8B75-45525D6F7D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064056$E24DCE98-7D66-45EC-ADA6-F574C7ABE065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064056$33FBAEA1-ABEC-4FF0-AECA-163CAA7A3443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec851c7b089f9335c9c88a912a53c02b322abde6","datavalue":{"value":"property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064056$D80E11C3-CACD-4417-934D-8498F3F2DC3A","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":"Q1064056$4F9297CA-82C0-4616-B057-A4FEDC660C4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9e73e8d95cd6ca0837286c9de59533a91c829ca","datavalue":{"value":"https://doi.org/10.1016/0020-0190(85)90056-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1064056$D7A8CC8C-0061-4D90-92CB-67C6E4D2938C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80e8127d55312feaec1d1f5e653527d98decd901","datavalue":{"value":"W2914206182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064056$7A032EC7-4729-4223-8A71-0912B987C32A","rank":"normal"}],"P223":[{"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":"Q1064056$98D64863-767F-4972-8C12-3EDDAD338169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68d01684c688b76f9852f57744d277bca068de","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064056$3B841510-56AF-482E-BA99-06CC6CB9569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064056$A5BD6349-B959-46EF-A9B9-CEA3C663EC6F","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":"Q1064056$BF9ECA2B-90E2-4D89-A6D1-2B2E400AEF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064056$D1AAB89E-00B8-4724-B270-F543A59B7F10","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":"3a6498c9cd83cd838f3edf219c4e8614886befb1","datavalue":{"value":{"amount":"+0.8338544964790344","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":"Q1064056$0A722803-D0CF-4AA0-BD0A-2D32ABD69A73","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":"4e520a9bd31a003545dd67bbe794d8b5c34d51df","datavalue":{"value":{"amount":"+0.8217844367027283","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":"Q1064056$63EEFB08-6A83-4F2F-8281-4664001DDAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff7ed19dd99fa36ec0577629a48b05cbb306a16","datavalue":{"value":{"entity-type":"item","numeric-id":3975031,"id":"Q3975031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa4487b8039fc1a1143e9642ed8ebab22f5e287","datavalue":{"value":{"amount":"+0.8159727454185486","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":"Q1064056$44F7B48E-FCD7-4BE8-854F-496FAB513ADD","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":"bd80056b1e13265efa54455c477b33ded37a3b0c","datavalue":{"value":{"amount":"+0.8142635226249695","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":"Q1064056$81C682B4-DA1B-44DC-85C5-685FB8BDDC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f9910c69c17b8c2389db47caceb8229545cf25","datavalue":{"value":{"entity-type":"item","numeric-id":916351,"id":"Q916351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34d6039d31c0ff2188037f600c18c911ed6acb7","datavalue":{"value":{"amount":"+0.7939572930335999","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":"Q1064056$400D5BC8-DED5-4A18-95E3-171596E18EC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1064056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1064056"}}}}}