{"entities":{"Q916356":{"pageid":918204,"ns":120,"title":"Item:Q916356","lastrevid":65325330,"modified":"2026-04-12T01:49:27Z","type":"item","id":"Q916356","labels":{"en":{"language":"en","value":"Probabilistic verification of communication protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4153866"}},"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":"Q916356$C08FC6EB-EEAD-49CE-92CA-28FF381B8073","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1040f766e908827cdf24b9baa5bbef1374e2dc41","datavalue":{"value":{"text":"Probabilistic verification of communication protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916356$B1A3BF06-9B6A-4F63-9456-B414B7AB1874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"632f796f1a03059d8d804d98c6fa471b71d85885","datavalue":{"value":"0703.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916356$C84D942F-D78D-481A-8255-2960287BA227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d52cf6490cb2b0d4291bcff594a62c97f201e6d","datavalue":{"value":"10.1007/BF01784022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916356$B14C1FB7-69E9-493E-B9EB-1AA40F22F400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de90cfeaeb3af1d644ec9c36a2ac285f29341838","datavalue":{"value":{"entity-type":"item","numeric-id":916355,"id":"Q916355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$22E496F1-806D-4E9A-8049-9B4D8C56968E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"787b0b86cd4706f8de319e49c108e7b1789306ee","datavalue":{"value":{"entity-type":"item","numeric-id":865670,"id":"Q865670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$DBA6BD3F-5FC1-4F36-A823-29CC4F3494F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$0621C835-30EB-43CE-93F8-EBCA157FCA37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q916356$2513AF02-6DA9-4F3C-A8A2-ECCF79EBBAF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916356$F99168E0-0FDF-456E-B460-FC6B0F912CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916356$3797E9FD-26D4-4650-B77D-F28A80E1C4DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70299af0a7c3a99087121017f82f8d37e5dc745d","datavalue":{"value":"4153866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916356$E08786C5-5DEC-4A79-944A-8A67EC7E0815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q916356$FE4C1CF5-03DA-41CC-A72D-E8E7769B650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q916356$41748A84-6240-497A-A255-39889E2E019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q916356$412F53F7-CAFA-422B-8B40-0ED9556F32CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q916356$ED4E7C18-93EA-4CA3-8EC1-7758DC4BAD9E","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":"Q916356$19EE7F9B-69B6-4875-B542-4E3AA2D6429A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7eaa91dd10a63c63543291b47baca80ced053f","datavalue":{"value":{"entity-type":"item","numeric-id":3339299,"id":"Q3339299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$D2ABFEBA-5E7C-4E5C-9628-CAA0104133E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$1386D0DC-2F42-4B06-AEB8-CDDB6E338332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684383aba4d30f994b6e6c8b8b8bdc8f27f374d7","datavalue":{"value":{"entity-type":"item","numeric-id":5589012,"id":"Q5589012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$73269A00-9AEB-4F83-82D7-055FF5843F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00c4a962f9e99ef72cf5ad5e884b86cfb17e25","datavalue":{"value":{"entity-type":"item","numeric-id":3345755,"id":"Q3345755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$A0E1E2D6-B85C-447D-86DF-5E8ED69EAA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$42959DCF-7C2E-4B90-B9AF-B76B941971C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$35C6599A-77BB-4644-A9AE-AF78D69ADB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ed7fae77fb0d158ec8e1d1c563a60f68bf7b5e","datavalue":{"value":{"entity-type":"item","numeric-id":3805886,"id":"Q3805886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$882988CD-44E2-4471-A2C7-C1F9E61707FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825707d5db103fd01c1e5c42b980b719fc856635","datavalue":{"value":{"entity-type":"item","numeric-id":3221402,"id":"Q3221402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916356$1CD09B94-E457-4919-9A2C-FB347E704837","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1966664018cae79cc5a63be6a5d9561b99deac6e","datavalue":{"value":"https://doi.org/10.1007/bf01784022","type":"string"},"datatype":"url"},"type":"statement","id":"Q916356$2FBEAA2F-3F61-403D-AA3B-07A1885F4D9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8116887e4e67a5f92a6fc22dd52b4180b1bb1161","datavalue":{"value":"W1546325561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916356$F68901A9-DE29-49B4-B540-64183D2E12AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04dc9ced74a8989aea3aba0d3a8b41a469b0663f","datavalue":{"value":{"entity-type":"item","numeric-id":3805886,"id":"Q3805886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8169084720676401247c581fb2934c4bbca9bab7","datavalue":{"value":{"amount":"+0.7317867279052734","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":"Q916356$ED6A6508-4E7C-4D09-B953-CD75500575F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd31365b997de4d19740c327b0da27c026f29ee","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804a49860201757f3ce407349dba4559a2287e66","datavalue":{"value":{"amount":"+0.7305358052253723","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":"Q916356$FECEBE78-0B35-48AA-B054-12411AB8977A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e831d5ce95bc035f14e550714aa30cfececad","datavalue":{"value":{"entity-type":"item","numeric-id":5756596,"id":"Q5756596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4baa0b33f15a34b91c428f7319f70ad43333df","datavalue":{"value":{"amount":"+0.7214018106460571","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":"Q916356$BD0955DB-CF1E-4F37-8143-B8D96A283204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a734d777a690e44f39f65fbbbf061bc58a0e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4017601,"id":"Q4017601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8167985b4423889dfa6cdaea3fedc0ad419133","datavalue":{"value":{"amount":"+0.7123821973800659","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":"Q916356$EED7AF5A-2E8C-406E-88CA-ED6E95C77149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60855bd0e3fad6671c450b1aab628f9cb5e6ae87","datavalue":{"value":{"entity-type":"item","numeric-id":3345755,"id":"Q3345755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddcde7e3e1e4bfc0af41f5780044dcae9eda36e","datavalue":{"value":{"amount":"+0.7118836641311646","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":"Q916356$0281A418-DEB0-435A-BDAE-F61932EFB6FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic verification of communication protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_verification_of_communication_protocols"}}}}}