{"entities":{"Q1908353":{"pageid":1919095,"ns":120,"title":"Item:Q1908353","lastrevid":69079602,"modified":"2026-04-13T04:33:12Z","type":"item","id":"Q1908353","labels":{"en":{"language":"en","value":"Unreliable channels are easier to verify than perfect channels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 847834"}},"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":"Q1908353$36FCCF1B-B191-4C5E-9B57-2E8875B70F51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6f1e1a9cb42c091c920abb0ac094b72c8d5af24","datavalue":{"value":{"text":"Unreliable channels are easier to verify than perfect channels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908353$BB370D37-3DC4-467C-9E88-8A89CC0C9CFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7cd0c2f21cf8eb61954972ac1742742b737e25c","datavalue":{"value":"0844.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908353$95D11E2D-1753-4D6A-9BF7-90988A0A0A04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4722472c88da9d5be93c6f5166b780e179d3357a","datavalue":{"value":{"entity-type":"item","numeric-id":1908352,"id":"Q1908352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908353$FA4A43BC-8F01-42A2-B1DB-34A4250ECD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908353$A3CD89F9-9D60-402A-9AFC-A6A934018C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63b65f806ae62e66bb9ee5d42df731ee9e52a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1126265,"id":"Q1126265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908353$A4B3C083-AB2C-4DE6-A1D0-CBF528998E1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908353$252D2998-A892-4FAE-BEA4-C7C1BBADEA6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb3fd24908ce68799244ebdfe7a5876886c122fb","datavalue":{"value":{"time":"+1996-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908353$ECF6C5C5-5FDA-471A-AE47-759FA2F320B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"729b5074df64305bac3bae8541d5104f0caf8a0b","datavalue":{"value":"https://semanticscholar.org/paper/ca36046e1bfcedc91db31991e877875e4f48e668","type":"string"},"datatype":"url"},"type":"statement","id":"Q1908353$681CE7A5-2254-4DCF-85C7-CA87687EE304","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908353$55F03176-3EE7-43C8-B299-85072E7CE086","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36287f9c22496bfa5280891b73da691c8b55a105","datavalue":{"value":"847834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908353$D446F47E-1997-4448-9745-AD26CC238583","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908353$8342EA1F-334B-43FE-A430-3EE92A7D79FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c199afb39aba2c483727971e247dee219a6f35c0","datavalue":{"value":"model-checking against CTL\\(^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908353$D830EC77-9583-4625-86C5-2AAAA9D2FEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df168f0bdd8dbc719e92ab45831e22a078dab8b0","datavalue":{"value":"unboundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908353$FCBFB581-97E7-4794-9A1D-3BFFF7369C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908353$DB549A3E-150D-4C2E-A167-4653FEAFA745","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":"Q1908353$67846340-6BC5-4AF7-BF3A-FFD4FF0A868B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"561f48a5cf8d9247ccbd861c3ecd5804147d333f","datavalue":{"value":"W1985925577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908353$2470D6FD-26B3-4ECF-AB6D-2E212B0D4460","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a72be6455833b57a8211b87abd6add920dd349f3","datavalue":{"value":"10.1006/INCO.1996.0003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908353$B2DB9606-3BCE-4DB6-99EC-6C4A50EE2625","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ccf8a694514b0676771a5c550e3d57d964ad47","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef56dc2d9b61a67fbdf7486b49f6177fc732ded","datavalue":{"value":{"amount":"+0.8564122915267944","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":"Q1908353$1FA3E93F-F3C5-410A-9886-878B70C6BBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4d0163d0d9d459687f0b796aad297201d2b800","datavalue":{"value":{"entity-type":"item","numeric-id":4632436,"id":"Q4632436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696833f4a53bec30567be6c3d5b286582c9c3e4a","datavalue":{"value":{"amount":"+0.8402000665664673","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":"Q1908353$929DE70B-ACB3-4292-B610-44E9A6120FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cde502c2717d0ec1f1da0842a5ba6f90af1e","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f02b01fe2bfe47cfefcfe4896cd914622bf1ee","datavalue":{"value":{"amount":"+0.8244999647140503","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":"Q1908353$EA18DFAA-DD1F-4287-A9DB-5C9233500F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc116bba91a1424430dd64c9629324bd6668e40","datavalue":{"value":{"entity-type":"item","numeric-id":2573634,"id":"Q2573634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e485eab9c46ce956068b39cd65a97264e24695a5","datavalue":{"value":{"amount":"+0.775244414806366","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":"Q1908353$FCCB79A4-BE92-4851-B738-0ADBBCB15863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6902b274976c6d6a70806a30b31dec7571c52e","datavalue":{"value":{"entity-type":"item","numeric-id":4417850,"id":"Q4417850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facad3befef38572b6123bcf91afa673303dc268","datavalue":{"value":{"amount":"+0.7733879685401917","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":"Q1908353$8A436914-6888-4D85-90EA-A308C8A83DCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unreliable channels are easier to verify than perfect channels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unreliable_channels_are_easier_to_verify_than_perfect_channels"}}}}}