{"entities":{"Q688439":{"pageid":690288,"ns":120,"title":"Item:Q688439","lastrevid":63494157,"modified":"2026-04-11T13:32:58Z","type":"item","id":"Q688439","labels":{"en":{"language":"en","value":"Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444829"}},"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":"Q688439$0F423A2F-E0B7-41C2-91B9-1FE8C4404CA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8053ba06cfd9a4cb7e1d809a14cb8b7c7846de9","datavalue":{"value":{"text":"Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688439$543B88D6-4D8E-4507-A2DB-E260D519AAAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a790fddf82c20bc3c49b3f3549b0169c15eb652d","datavalue":{"value":"0788.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688439$09749DDC-6934-4602-B586-6F1CED139CED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67dd4b0836b622f44cd7418cb0df44746baadea0","datavalue":{"value":"10.1016/0020-0190(93)90074-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688439$65D0FBE0-32F5-4701-B410-5F1DE4BFDF9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5919a66065e24091db00d7f8ebc4a3d00a48ca","datavalue":{"value":{"entity-type":"item","numeric-id":599072,"id":"Q599072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688439$4F55D44A-BDD7-4E10-B7F0-D1CB586820E2","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":"Q688439$352D9089-B8D7-4155-A4A4-0255566AB406","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688439$367EAC9F-45B3-40DB-9B8F-B2EAC27BF1AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688439$496A1CB9-87AA-4CFF-BF1C-78A8E4C33839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688439$C459E7E6-1C73-4405-B9AD-C2AEE0869E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688439$A05D9852-3BCB-4A44-9160-7DFF6EF76471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f960634b094dd07e36c8cc2dbcc363558952359b","datavalue":{"value":"444829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688439$1FDA5399-9FCB-4F27-A642-1C4FF303513D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q688439$F3D8385F-A593-4BB9-A20E-4493685F3BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q688439$258F15B1-1DB2-4278-9EBA-44C8BA900DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q688439$D345ADDC-BAB2-405F-A371-B7A968F83D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd37b947bda5a6427b7991d62f3e7539df1588","datavalue":{"value":"progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q688439$9B26DA14-FEBD-4F3A-8C19-F4C82DB30DAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688439$C9A9E66A-9457-43CA-944A-F4025E65D9F5","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":"Q688439$532E8044-06DD-4A08-860F-8D51D82F5FDB","rank":"normal"}],"P223":[{"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":"Q688439$6E701DE2-9188-47C8-AE62-851B27095431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688439$FC64802E-D53E-40A1-9655-2764729A5097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688439$32D63A40-1EC1-4C85-96C3-17C761CF18EF","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":"Q688439$6E44729F-3217-403D-A6CD-AC4FD0D2FAA6","rank":"normal"}],"P1643":[{"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":"0d8dd64942d6f4894a287e6e9f333e03e8596fba","datavalue":{"value":{"amount":"+0.8392075896263123","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":"Q688439$F37250BF-9B6E-4E76-BB2F-2E04F742FA2F","rank":"normal"},{"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":"2ef24dbc0be617bd2b3b73325eca9b353c2fa1f7","datavalue":{"value":{"amount":"+0.8225122690200806","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":"Q688439$4E66C627-AA5D-4320-BE3E-A9D8AEDACDFA","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":"1e2736e8a697da6175c564a8fef4e14b1523e4c3","datavalue":{"value":{"amount":"+0.8143334984779358","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":"Q688439$1C8DD1BA-06DB-4ADB-AA29-325F6EF7EDCD","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":"a27e309fd72d5db4fb84fbc841ccfa0d71fa90a9","datavalue":{"value":{"amount":"+0.7989195585250854","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":"Q688439$AB68DE5D-E957-44CB-8870-3896C67928D0","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":"a59c12a5b134b698734f793bc2a9c7ae1ef1c87c","datavalue":{"value":{"amount":"+0.7875780463218689","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":"Q688439$C43654BE-3A18-498E-884E-871E8FCC156E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Another_glance_at_the_Alpern-Schneider_characterization_of_safety_and_liveness_in_concurrent_executions"}}}}}