{"entities":{"Q59625956":{"pageid":59521473,"ns":0,"title":"Q59625956","lastrevid":1953688483,"modified":"2023-08-14T13:48:04Z","type":"item","id":"Q59625956","labels":{"en":{"language":"en","value":"Verification of Liveness Properties in Distributed Systems"},"nl":{"language":"nl","value":"Verification of Liveness Properties in Distributed Systems"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2009"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2009"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"0324aba1aed9f9d391b804b6e72ea364e5f66c72","datavalue":{"value":"10.1007/978-3-642-03547-0_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625956$FA59AF83-DBCD-41FD-824B-C2C0AA0E108E","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625956$F738EB37-BF51-423A-B02F-33A3E21EE7B9","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"4912373349c45809bd1e2c0ffe81782a84bcbec0","datavalue":{"value":{"text":"Verification of Liveness Properties in Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625956$9F4DAD8F-02FA-4221-B281-94703CDC9358","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"59cd7b64bc52cd906543ca4563b65a7fe7454a76","datavalue":{"value":"625-636","type":"string"},"datatype":"string"},"type":"statement","id":"Q59625956$730E04F0-B798-4298-8A60-C096CD769CB3","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"d0b146732c08215a0fe1c09ff9481930fbba797a","datavalue":{"value":{"time":"+2009-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":"Q59625956$C71F38F2-FBC6-4363-9B35-03DDC9578BF0","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"c012d4793d9b15041e9974d61966ebdb7fe6b7fe","datavalue":{"value":{"entity-type":"item","numeric-id":27681562,"id":"Q27681562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625956$BDD4950A-16A9-4D4F-9967-C2BAC12A5E2A","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"3f3526418489866d23dd306ee7c3adc8bfb0e493","datavalue":{"value":"Divakar Yadav","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625956$49CDB65D-61DC-4778-BC6A-940839AC83F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"9180e5f31f0dad75efa3bf49c1dc17862003b141","datavalue":{"value":"Michael Butler","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625956$EDC5B48B-DE3E-406F-A357-F56D3D3D01B2","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"ba93cdd5745c68244c67c7a82fff2cec7105d469","datavalue":{"value":"conf/ic3/YadavB09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625956$9ABE0A6A-EBF4-4E6F-9306-9F7057E0B865","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}]},"sitelinks":{}}}}