{"entities":{"Q3623816":{"pageid":5653722,"ns":120,"title":"Item:Q3623816","lastrevid":80837282,"modified":"2026-05-06T17:06:44Z","type":"item","id":"Q3623816","labels":{"en":{"language":"en","value":"Temporal Verification of Fault-Tolerant Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5546891"}},"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":"Q3623816$4464286B-F4F3-4251-8309-BF97E8486C9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1918618280e1ef482a76982da29954a0d384481f","datavalue":{"value":{"text":"Temporal Verification of Fault-Tolerant Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623816$4C0D3CA2-3E9A-409E-B2C2-E0247A354246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d31ff9f63132a4678a59b0fc5fae679bec893c8d","datavalue":{"value":"1234.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$DA8BECE7-F741-430D-A837-A982E76C004E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bd5eb036e0c33b5f1e4123d0c2437b1ef3e6336","datavalue":{"value":"10.1007/978-3-642-00867-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$0FEF58EC-23BA-4076-A7C5-F45D446CD7F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a471ee7b8efda029bdbc09e0e4374cd907cd80fd","datavalue":{"value":{"entity-type":"item","numeric-id":3623814,"id":"Q3623814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$E2994A4B-B4E1-4602-AB70-AAB74ED8B592","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d8f72b1020afd83d4654c37051e1faed59ff3b","datavalue":{"value":{"time":"+2009-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623816$28B78D83-74F7-4A3F-808F-531E5D045E3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$0ED61781-F782-4517-8B91-F1943487CC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$62286852-F6FB-4732-9379-38E80F528B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$ABE44A41-75F5-4E61-982C-E7B4D1397265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$8E6F5DE8-A4F1-43B8-9022-7DD85625D7DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"018b8bd80a869a9b2c7ca1fd2a6c48faf13b24a5","datavalue":{"value":"5546891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$106F0FF8-83EF-438C-9CD5-11AF3C4FDDCB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f43fd934fc428990a7a048c84f1a6db1cc7934c","datavalue":{"value":"Q98283674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$484AE6D2-A468-44FB-AA28-1D86EA848697","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$9AB8C94B-EA36-4C6D-B926-17BE10D578B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99667ff6306724dbe63bc589a546934d523de225","datavalue":{"value":{"entity-type":"item","numeric-id":21966,"id":"Q21966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$A67E2B8B-74C7-4927-B013-5720ECB776DE","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":"Q3623816$BA3DCD11-6754-46BF-BF90-C73732CE8406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66062915c8f8307ed1d4569cd30a02c394839f8d","datavalue":{"value":{"entity-type":"item","numeric-id":21998,"id":"Q21998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$7F471507-5B98-4E0E-ADCF-D41DA09939E3","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":"Q3623816$F313E498-7D52-4ECA-94D6-D3E7D5FFC5DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09fcf0d0f4561e0727a523a5f5d5b0907f150c12","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00867-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623816$4DCA6E94-3BEF-4DD4-BC56-88FDB7468195","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11fed9c003e3c88fc6320d5ac0b8cac5f4effda8","datavalue":{"value":"W1581951460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623816$3A027AF1-507F-4B29-B57C-5F2DC5A90B17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572eecb00493319f4f0c2553a162a2ea97adf47","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$4D78A9B6-FCC0-4F4C-AD5D-BE0539ADEC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0506cfb35678e3cc52fe11c1fb3b612d22b2fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5756597,"id":"Q5756597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$1D7C52C1-ECE5-4623-A31F-BA8D782A9DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cf8f4bcee978478f1658b7b5059ca55a4ac367","datavalue":{"value":{"entity-type":"item","numeric-id":4708910,"id":"Q4708910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$37C4920C-72C8-4205-B1C5-DD580551C1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a3baa8248811d27c32050f307ce6287d4f551d","datavalue":{"value":{"entity-type":"item","numeric-id":947791,"id":"Q947791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$FE9DB6A7-3955-44BE-BD33-8AD3FEA4EAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b024f968ab39eecba87b54091254c36a354243e","datavalue":{"value":{"entity-type":"item","numeric-id":5277744,"id":"Q5277744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$0D340F73-BB89-40D2-84E2-F36A854A88CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88513da3b40e8d94cc45b6d0ad9dbb72de7a7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$94F9EC06-0656-49A3-8CD1-7616EEB13AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$8C0FCDCC-4D3F-4988-B9F5-A1A7A75D6303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8280aaa780c3cf7d95f0d867169f4c1e1bc3f64b","datavalue":{"value":{"entity-type":"item","numeric-id":5715695,"id":"Q5715695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$563E0B06-BF68-4E84-A654-12D325004609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$0E69EB95-BF8A-49B2-AD1C-7C413D696940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5dfbb5bd6c7d89dd077ac227b69a104533f344","datavalue":{"value":{"entity-type":"item","numeric-id":5307069,"id":"Q5307069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$F56211C6-175D-447E-9C04-E2D65D223C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e354eb56d1cea816c283aaca8bcbdb05e7271a41","datavalue":{"value":{"entity-type":"item","numeric-id":2486579,"id":"Q2486579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$ACA072C9-3A23-4011-8AE1-88D6347639D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$685331AC-C312-4120-8999-CEA8BC7C0052","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":"Q3623816$6050318A-A8D5-4C59-8705-FFE426E0C963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$D27C6E1D-E3E1-4702-A588-452CB597453A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b71a3a245c4d977a9d74d9fa879f31b524729da","datavalue":{"value":{"entity-type":"item","numeric-id":5305658,"id":"Q5305658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$294E2841-DE48-46BB-8BA0-1CF87A416E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c233490fb1db4447987cc5207b37e3232a6e346","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623816$2CC8D815-3FBB-48C5-AFC4-E7BCBC25E0B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce8e078e4b6ac9f89c3c0ce8308f5dfc998c016","datavalue":{"value":{"amount":"+0.7903157472610474","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":"Q3623816$F149F177-701D-457B-81C9-D542F9903D84","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":"1ca6b7395c36df22ec2cf113970bff63e99feaaa","datavalue":{"value":{"amount":"+0.7654512524604797","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":"Q3623816$1B8E88D5-BB10-41B0-BE5F-2F4AB7609C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8b584b0cfe1c54b3c766993597b000fdb2f573","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087d7d330bc22b860163078b2a0c38240fc01c7d","datavalue":{"value":{"amount":"+0.765450656414032","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":"Q3623816$FE4F1606-EBEE-4C64-A4C2-742282B61047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d154a43f7e6aa5e3800b26e99db5f589b7eba6","datavalue":{"value":{"entity-type":"item","numeric-id":5712550,"id":"Q5712550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f5e4218292f7a23af68d045bb93424e6866a84","datavalue":{"value":{"amount":"+0.7645595073699951","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":"Q3623816$C44E0557-5922-4919-8305-36495BD3155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c606eb5114f632fdca61bdf1f885c752cbc98d8f","datavalue":{"value":{"entity-type":"item","numeric-id":2149965,"id":"Q2149965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3d5f697c986e7bc3e97f3fc927560a2daead5a","datavalue":{"value":{"amount":"+0.7623780369758606","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":"Q3623816$45188172-8937-4D04-987F-7A710AC2D5AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal Verification of Fault-Tolerant Protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_Verification_of_Fault-Tolerant_Protocols"}}}}}