{"entities":{"Q3179167":{"pageid":3189875,"ns":120,"title":"Item:Q3179167","lastrevid":52706018,"modified":"2026-01-23T07:56:37Z","type":"item","id":"Q3179167","labels":{"en":{"language":"en","value":"What you always wanted to know about model checking of fault-tolerant distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667335"}},"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":"Q3179167$DBC878F5-378A-4AD3-B112-B7BF5EA44C4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f5615cc39a6261766c3496510029821a94a8789","datavalue":{"value":{"text":"What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179167$C000AA1C-FD40-4534-BDC9-A84614878B3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daeb96359ca32250fb40aaafc1bd5b502921e5e9","datavalue":{"value":"1461.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179167$CF7A1795-A606-4D03-81D0-10F38E8E2FB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd507f97861f922b69f92d33fec3c8d4f48fc859","datavalue":{"value":"10.1007/978-3-319-41579-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179167$26BECF04-6BBF-4DB5-BA30-B5DFC124DE41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$1FE8797A-AFA5-40B1-8AC5-C1A78B53E3FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179167$10E53526-A8AF-4CDD-BC30-F72B66FEF844","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbecd8bf0fd0cdd3b1f2b69655543346e934ea14","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-2942","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179167$15E1AD3D-22A1-4AB1-A874-D6033A95F76F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179167$C8285C11-5FA2-492D-A3B8-3E4F3AEB145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179167$90784904-D1CB-4990-A0D5-04E008306286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a436906c5a515fb55c489f4d8c8439a8145664c","datavalue":{"value":"6667335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179167$1926DAF4-A1A9-4938-AAB9-AF3424B7C52D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$AF3DC550-9D6C-44CD-8ECD-72A29E6DECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67720db460794d76d6e59ab2d221c3e383431bf5","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$98647069-0248-4D58-B588-A3CF71373842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$7EC1B601-48B3-47AC-AA5F-DEA3998A7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$4CA7A46D-937D-4CA6-B503-0271B5EFA89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$8621DCFF-8B1B-4064-8F29-33BE3ED1E1D8","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":"Q3179167$EEB6B6AC-7531-4AFC-895C-AAA35C6B9B2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f2db0691e0608d856eeaff656ef944437bdd600","datavalue":{"value":"W2298937928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179167$2439ADCD-F4E6-4D37-A698-BAAF2D2001E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdb0aab67be49a869b3b3140e39e00b67d99be9","datavalue":{"value":{"entity-type":"item","numeric-id":2786907,"id":"Q2786907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$F6141F65-A766-45F3-BA51-180841B69EE0","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":"Q3179167$1A5CCA50-F764-48F0-AD03-3EF6D43CAFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61839b051136c366b71cc548f1614f7b0dc9a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3765232,"id":"Q3765232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$56F27DC0-C628-4AA1-9C11-660E46D66FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c30b11ce81454521f947a35da5a65fd68e6991","datavalue":{"value":{"entity-type":"item","numeric-id":4778617,"id":"Q4778617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$7B96A001-735B-46A2-83D4-B465647AD88A","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":"Q3179167$1B452E3D-7C42-4EBA-B0D6-BD94F73F3CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$A9B6F1E2-B341-40C3-B947-E415E6CB5720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$D00ED88C-AD09-4C7D-A7A6-58EBA134F9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfbbd125184e529ea4d1d97c2a27f9b0512d42a","datavalue":{"value":{"entity-type":"item","numeric-id":2938065,"id":"Q2938065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$354B3A84-A797-410A-AB96-74F5953ED3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$D42070E3-5901-4548-B182-4E866AAC2F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4fbcae0244c17c3425a316935e472f56365713","datavalue":{"value":{"entity-type":"item","numeric-id":5175774,"id":"Q5175774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$982BC15F-72D7-45C8-8FEF-5C36A197A792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744445c19fb25a3857e2ff7fe9d73b0053980650","datavalue":{"value":{"entity-type":"item","numeric-id":3190113,"id":"Q3190113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$0B4703D6-36DD-4FCB-95F8-BDEA658622E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff4c3b8f6a7b25d6a54721439d9d3c8a0c98a84","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$BB6F029A-97F6-4DE6-9120-93CE0A104F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$2E5FE366-E1B0-42B6-9716-BD2B0956549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9155b2a89151bd7c3b2b0d60a86b5cb673950cd","datavalue":{"value":{"entity-type":"item","numeric-id":3873545,"id":"Q3873545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$F3F2D061-011E-4471-A681-4AF132C49DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$707908D1-D7DC-48EF-8E27-ABF0B15DC5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db91c1959e7c4ca7f55723c8c3ba3e965e765df6","datavalue":{"value":{"entity-type":"item","numeric-id":3540249,"id":"Q3540249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179167$C1C45D11-20F2-475D-A4BC-0EA67BA09D1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b361f0bf28ead054d5aed2e98296283f83bfd7e","datavalue":{"value":{"entity-type":"item","numeric-id":5175774,"id":"Q5175774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f03b458046d20536e50b2389b228cb755c7a5a","datavalue":{"value":{"amount":"+0.8263156414031982","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":"Q3179167$4A17D91F-EE31-4AB3-81E9-81B810F93307","rank":"normal"},{"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":"7e2f531049cddb1393c7c4d0eda229aa4485044e","datavalue":{"value":{"amount":"+0.8113256096839905","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":"Q3179167$784EE6F3-F58C-40D5-A974-48546CFF297D","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":"6f547a43639e0c8f90ce913064098a5a425c8643","datavalue":{"value":{"amount":"+0.7875040769577026","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":"Q3179167$864BD18F-F579-4465-B06F-38AF1D028202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d6726bcfe1671b729150ef82a4c99b3d43f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2852016,"id":"Q2852016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e62625000bd7050f3b1ceb6e57ed99217c71cc9","datavalue":{"value":{"amount":"+0.7754348516464233","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":"Q3179167$3B24D497-C431-4E84-A20A-54230A8696F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29c08fef537db37b3c1dc802ba7c846887d2aef","datavalue":{"value":{"amount":"+0.7640116810798645","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":"Q3179167$E64A07F0-698E-45DB-8A65-C816841B7B53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179167"}}}}}