{"entities":{"Q5883746":{"pageid":7913297,"ns":120,"title":"Item:Q5883746","lastrevid":56837982,"modified":"2026-03-23T18:00:54Z","type":"item","id":"Q5883746","labels":{"en":{"language":"en","value":"A case study on parametric verification of failure detectors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7667090"}},"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":"Q5883746$1A3ACA31-FFEC-4EBD-A12B-035583258B13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5426950cbaaa094e37c67e5f1e14aab8ee44f04","datavalue":{"value":{"text":"A case study on parametric verification of failure detectors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883746$727A6A2D-A6B0-4B28-9584-34CE152ADBAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$A8BC80AD-9DA1-4C09-9AD0-C889B98420F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb8590338bfb507716d0e42bdca412b99e076ff","datavalue":{"value":{"time":"+2023-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883746$642D922B-2F7E-4D59-BACF-6918E0DD280C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ce125c386660765b598345dcb1b6d16ad84d89a","datavalue":{"value":"https://arxiv.org/abs/2112.08826v4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883746$11A47924-377B-481F-89BD-BC7E22E35C3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883746$537AFAD8-DA41-4456-8E32-522DAAEA8E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883746$51ACD64E-58D9-4898-82EE-FF3A7184A0EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b9ec8f35af7d88cb91512340293f242daf478f2","datavalue":{"value":"7667090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883746$B1CA7ACC-9E65-40CB-A035-C6365B14B581","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47de2e7e4fa8652af7992898740c316c8cb96cf3","datavalue":{"value":"failure detectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883746$F1A1AD6D-704B-4E13-9BF2-85DA4E76EBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309b4994c2355bbbcce8b4e10d79cb71b666326f","datavalue":{"value":"TLA\\(^+\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883746$1A5F1D4E-E666-4DC3-ACEC-0C2240647A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883746$291BBCD1-2772-4965-8008-E7B8E37CC8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9a35ea93619315db1f0821301a1de2e7918610","datavalue":{"value":"FAST","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883746$1E5C41D0-3FDE-487B-A3BB-20DF81A5404A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204fc28a764f6f87bcb5d4a8da146578a1c239c1","datavalue":{"value":"IVy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883746$69886E04-13FC-4A79-8C7F-E27CEFBE6172","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$8D1CA97A-3892-4C56-9D0D-0ED689FC342A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$311EA87C-0902-473F-AB1B-D967408DF46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$4370A1A9-15FF-4AD7-A173-1C9664C697F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6635cd024ea0b7601d03e4b2d3631551a4364421","datavalue":{"value":{"entity-type":"item","numeric-id":21509,"id":"Q21509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$E5188025-C3FE-4114-A7C5-0B6DC06001F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"042a9437b7b46d1b077ca1a024b0b14d602b6c76","datavalue":{"value":{"entity-type":"item","numeric-id":21511,"id":"Q21511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$D06C9C18-CB76-4C55-B12C-54C1BA2B1751","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":"Q5883746$4C83945C-4CA5-4707-8AA1-2BD58B55280E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51b3cd38deb6304c1c12d00451cdc31e0e28cbce","datavalue":{"value":"W4323317975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883746$87B9729B-066A-4A6C-85C4-5373B194712C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$3319F08B-4414-494E-9FFB-B59CA3224647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e18bb65c43a2c2c3eef8c0524b0c3415a6886d1","datavalue":{"value":{"entity-type":"item","numeric-id":2377261,"id":"Q2377261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$E277C55C-4B17-4F48-84F0-AC3034F83FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bf3a80fdb21f79885f9c2d79abe3e0259e1947","datavalue":{"value":{"entity-type":"item","numeric-id":4398822,"id":"Q4398822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$DD3124D0-3707-453F-B57A-DA20E37E31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ac784ff942d4717613984bfa803a8426cee22d","datavalue":{"value":{"entity-type":"item","numeric-id":2104036,"id":"Q2104036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$0FEBBC56-9F3B-4D4C-9D94-94FF62A5411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$2B5CCE0A-8B63-4711-BEAF-811D2A57A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead9660cd33cf6b597620bdfac44264e0480c8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4647839,"id":"Q4647839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$63DC11B1-9B19-43AC-B941-C49EEE2E5E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f014eae90340d070dc667ce0b01474bbb78615","datavalue":{"value":{"entity-type":"item","numeric-id":4371670,"id":"Q4371670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$CEB748CB-618E-4C37-BF53-F71E3B2B311C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$3E137745-433B-4273-ACA7-2A0304F64765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$2BF3D1A3-899D-4917-881E-BCA5BA682238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffb34a749312d4fd0afec92cccf7c98cc6cdc03","datavalue":{"value":{"entity-type":"item","numeric-id":5897071,"id":"Q5897071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$52D5B80A-9317-4260-957D-D0DB3C582EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681769f62f1bdff8943148c499843c2eab2b1896","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$F4104543-3044-463F-A029-3D7FBC705BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61faf751776a110c90cb6f655d766fd0ea4bae4","datavalue":{"value":{"entity-type":"item","numeric-id":1696580,"id":"Q1696580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$3EA8392F-60AC-45C3-90E3-8A4B4F6FCCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a8847c9c5d88741bb0558d3aefd6f771aac637","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$4733F01A-55B6-4E22-BFBE-DD83E58E9C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$10EEBA5F-0FD1-42DC-844B-94DDB264BD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$05329D7E-EA3C-47E7-BCB8-B34B457D6537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0de47799ff0b0cae5b663b51afd27cc34a9b9fb","datavalue":{"value":{"entity-type":"item","numeric-id":2164223,"id":"Q2164223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$ABBF84E3-D984-40B3-A08E-762BE19924EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$9FAF2900-0363-4D7E-B965-8CB21178C892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$5D41BE5E-465D-4BAA-A89B-89E6B0309CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327cd46bf4b48e147be3bff1c9fea6e5ba45f94e","datavalue":{"value":{"entity-type":"item","numeric-id":1115609,"id":"Q1115609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$72C20772-6B49-4C80-9D82-9C4C9C65B0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c8fa2983bbbbe7f6dad0338b627e2302e04f6e","datavalue":{"value":{"entity-type":"item","numeric-id":5883746,"id":"Q5883746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$0FFA838B-DE9E-4F0A-8848-53708FF4E53F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f673117bf8a37f9a6ced281ae0127da4e3139497","datavalue":{"value":"10.46298/LMCS-19(1:17)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883746$1B658D6E-D2BB-44D0-89B9-AD7ECB3A14D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc120883437c10cd012114f423a1f21367d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3296318,"id":"Q3296318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc8cca2ee8829e2f1787aff04f2d6d834763dcf","datavalue":{"value":{"amount":"+0.7786629796028137","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":"Q5883746$5E97215B-4A58-4513-9866-1F7223A0162C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a655aa69fc21cd5192c58d1ea16adec6edf4c8","datavalue":{"value":{"entity-type":"item","numeric-id":5883751,"id":"Q5883751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f6173e07d2d73369d27111e47bcafa99289f65","datavalue":{"value":{"amount":"+0.7592657208442688","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":"Q5883746$F3372496-1EE5-4ED3-B543-9466809A895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d96f7392e644fbea729b9d3c757ce831afa53bb","datavalue":{"value":{"entity-type":"item","numeric-id":2164223,"id":"Q2164223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ac531bcbaf1b1aa933f736aa8cd2b41819710c","datavalue":{"value":{"amount":"+0.7489520311355591","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":"Q5883746$2231CBF6-2FD9-4B62-8D48-810D5E696ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f456567a94c89e8fcf49d6cb0baf155a9c0e8482","datavalue":{"value":{"entity-type":"item","numeric-id":4952308,"id":"Q4952308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b0004957d671fa330f2d94e1db51c356641ac9","datavalue":{"value":{"amount":"+0.7377915382385254","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":"Q5883746$27FAB57B-A94D-49B9-90B7-16174B9F868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c91f584730ca8dd18e34c388b00eb956ec2e5a","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284d8a384bf894868fb55df1a67ac49cbba04301","datavalue":{"value":{"amount":"+0.7342817783355713","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":"Q5883746$9E502EFB-B2C7-438B-BAD4-874613641EE8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883746$93CC4DFD-23D5-4737-B7C1-E698BE625B3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883746"}}}}}