{"entities":{"Q3942371":{"pageid":5972276,"ns":120,"title":"Item:Q3942371","lastrevid":55056193,"modified":"2026-02-03T06:04:24Z","type":"item","id":"Q3942371","labels":{"en":{"language":"en","value":"Proving Liveness Properties of Concurrent Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3759517"}},"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":"Q3942371$58FBB5AE-1BC7-4A99-ABAF-9EDDAF5C3B01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a73a5c67f1fabd9c19130ed9af8f1529b4919dd","datavalue":{"value":{"text":"Proving Liveness Properties of Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942371$BD1E26A2-B806-4B28-A6C9-36E30E3DAE55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29f56f2fa596d7ccd5889a1aa333814c6f4e0969","datavalue":{"value":"0483.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942371$B8D05A22-58AE-47E0-9D93-1B3B297AE13C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a8e4dd9bc436cbeff70e1ce82c6fbaad48972fb","datavalue":{"value":"10.1145/357172.357178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942371$247268A7-322C-473C-9AA7-0F82A7324918","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2556e282b7fba76d3a7161570ae4b4bd6328e54","datavalue":{"value":{"entity-type":"item","numeric-id":1219674,"id":"Q1219674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942371$D91FA3AE-980B-403D-AC98-8C9B7ECCCDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"209ba2abb9262ee2627b025b7dc9cc61471e318c","datavalue":{"value":{"entity-type":"item","numeric-id":661001,"id":"Q661001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942371$207B45DC-51B2-46F2-8C47-27A16B41B1E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942371$205E0D6F-E3C2-44A8-B2B6-B223D1C571F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3942371$6818D6CC-8678-4A32-A7EA-E0441C04F164","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942371$FB60013E-8CA2-4F12-9B83-A58247FEA918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942371$53DBA59B-844B-4F48-ABF4-404B913A4957","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"186af3419d80e105c8603d76c52aece7aebe1b76","datavalue":{"value":"3759517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942371$8DAB09E9-23C7-453F-8171-47FCAA515858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$7D099862-B2F9-4488-B04F-1D9A90AA61C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$5771B3E0-5484-4EBF-92D1-4229E16C1DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$B2179122-DBC5-4E4C-8508-AA97E140D6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$E580E2C8-C2FC-42ED-AC53-6EC6A16F6C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$75B63D92-717F-42A3-AA1C-C2BF5F64A347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec093c4c8e0f91ddcf55d13a79597e7572d477b","datavalue":{"value":"proof of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$97969F2E-FC8E-4D14-8C6B-5B144BC475D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffa8976af65f39c4c3aa6091ebe0347259ab6e6","datavalue":{"value":"multiprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$60020D80-6BD7-478A-9D4A-2CFF0453B0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942371$87B8DFDC-0B8C-4C97-8A0C-1087A0E131B0","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":"Q3942371$8AC58E4D-9D67-4856-A460-195630B06714","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ce33c73136f9b716a5d752892d6dcf10b65edfd","datavalue":{"value":"https://doi.org/10.1145/357172.357178","type":"string"},"datatype":"url"},"type":"statement","id":"Q3942371$86BE8772-DF1F-417B-B57E-49707BEB901D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99c2cbd7857ee41fc194ddb256fdaf0769b4d97d","datavalue":{"value":"W2166656159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942371$D7BF11C8-5B7C-4CCA-8DEC-BAFD3525D012","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3942371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3942371"}}}}}