{"entities":{"Q5361452":{"pageid":7391026,"ns":120,"title":"Item:Q5361452","lastrevid":31530824,"modified":"2024-03-19T18:24:36Z","type":"item","id":"Q5361452","labels":{"en":{"language":"en","value":"Formal verification of timed properties of randomized distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6783627"}},"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":"Q5361452$517FA126-8BA2-41C6-BE6D-EF41F02616F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9c20eef33a2b7bd6dda93840b7d675a937d8bcd","datavalue":{"value":{"text":"Formal verification of timed properties of randomized distributed algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361452$A9A3AB67-BFD2-4F60-BB4C-AD143E4CA305","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51caaf1aafe74c8668437cc80278a1f3851994e9","datavalue":{"value":"1374.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361452$FD215218-95D7-49F4-9AD9-0ECCEF5D6F70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7567bb07ff81ab13b5e9aee4d72177851d7065f","datavalue":{"value":"10.1145/224964.224984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361452$31B13C88-E833-4F0B-848C-36E1DAC48351","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"636bbf98dc9cd6ac17ed565cb80c927eeba056aa","datavalue":{"value":{"entity-type":"item","numeric-id":5137902,"id":"Q5137902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361452$14CDDB13-894C-443A-AE59-4980C26B4B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361452$D2F8AC62-7CDE-440F-B0E1-A566A853B0F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"646e260e5e5ba04c5b0094ed3d85f10ed9e2d85f","datavalue":{"value":{"entity-type":"item","numeric-id":5361429,"id":"Q5361429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361452$03B3A7E7-D3AC-4AAA-B56A-F0F0BC1CF4E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361452$0BADD68C-4E10-4236-95A4-669F4F1FBFEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361452$39512FBA-04A8-4357-93A8-6749F0E070E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361452$84F6E9C1-8455-4091-BFD9-B0A9D8A31E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361452$A2FCCEC8-8AD2-4ABF-9867-CC5271919EDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32ec018fa05e66770a28ad8f24679761c892f9c8","datavalue":{"value":"6783627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361452$54A8EC50-0A25-4C6E-8AD6-0BBCA6B527A6","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":"Q5361452$D2E59C61-C921-49BC-B05E-F4CCB80F46E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b3e3e3d4ea1222926ff20ae482d8d91ea2edf4f","datavalue":{"value":"https://doi.org/10.1145/224964.224984","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361452$52C5E00D-93BE-477E-B710-9D3BB6A12A1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f656d27f6ff8f0d7925e97ef6fc31d990d905eb8","datavalue":{"value":"W2138035108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361452$C76C146D-D4AD-40C8-B47F-2462FC3A9206","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361452"}}}}}