{"entities":{"Q675223":{"pageid":677072,"ns":120,"title":"Item:Q675223","lastrevid":63630075,"modified":"2026-04-11T14:28:18Z","type":"item","id":"Q675223","labels":{"en":{"language":"en","value":"Undecidable verification problems for programs with unreliable channels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 988049"}},"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":"Q675223$BDC1C3AC-E82C-481E-AE56-D2FA2B0A5F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9d7ff45e24352573c3c4b657032cd0ae438a9fe","datavalue":{"value":{"text":"Undecidable verification problems for programs with unreliable channels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q675223$2FA1406E-E109-4AD6-B8B8-C9EF5732E05E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92cc198dbe9d40187e5e1aff896da023697c0205","datavalue":{"value":"0872.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675223$7F719B77-E190-4124-8A1B-00E9BF9CB396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675223$B8110A2A-33FB-4559-8140-A31E583F3B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675223$8E20717A-65B5-414D-B43D-CF06F23DF808","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":"Q675223$2DCD8AEC-FC1F-4719-B12C-98699A671C14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb21a1c0989eb39ea024bc553a264711f2dc5f4","datavalue":{"value":{"time":"+1997-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q675223$E16C954A-669F-444E-AC89-A53681298405","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675223$07599EDA-8A3D-4462-A510-591FD8179B24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"464e4e11b06c03b821cd37fa013e3280e0ed471d","datavalue":{"value":"988049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675223$5AF2CFB7-2C4F-4126-80A5-33B6837A380D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf8357d60a3998b9c7d9463fa76dc40b5c689b0c","datavalue":{"value":"lossy FIFO channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q675223$B4907825-C877-409B-8F7A-B40D712582C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f0478f33ab4d395bc21e53f2de2ad666e2e0b6","datavalue":{"value":"lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q675223$895AAB45-6D99-4504-9D74-F8A5E4C6055B","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":"Q675223$DDB2665E-A501-4B36-B005-0660639E2B5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"719ea88b2ec1ac1c4d8647f34bd4380e40b58e70","datavalue":{"value":"https://doi.org/10.1006/inco.1996.0083","type":"string"},"datatype":"url"},"type":"statement","id":"Q675223$92B9291E-DCEE-4F2C-9372-94D299095287","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4115846ac0c1da0c6b0e6f03d68b92a11cf449e","datavalue":{"value":"W2017872109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675223$98FAE5ED-4178-4643-8352-6499E5EC29CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b0cab63f1b6e6229bc6493a9b5d834786a4234b","datavalue":{"value":"Q62638448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675223$3655424B-D78B-4C7F-BCA8-524AD7B57520","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fb1f28f0ecdddac942072e4f77ee647bf34be1b0","datavalue":{"value":"journals/iandc/AbdullaJ96a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675223$D248435C-2F6F-4DCC-A3AD-F20B752B0851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac16d19de8a547f890c398ce8368e932d6337456","datavalue":{"value":"10.1006/INCO.1996.0083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675223$8A9C1AB8-4C22-4E75-A0EC-D2830CA5493A","rank":"normal"}],"P1643":[{"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":"2d453e6439e1953863769150900dc52016e0d97a","datavalue":{"value":{"amount":"+0.9674265384674072","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":"Q675223$918E6549-69FA-429A-9A20-AE8385C2378B","rank":"normal"},{"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":"b351ba88418a8470d8946d3e8b06bde2e8e6efc5","datavalue":{"value":{"amount":"+0.8891711235046387","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":"Q675223$48D6E7B1-5857-4DC1-8B1B-345E75438804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcc6fb5ba6fd14f0cb987c634c5acd53349db00","datavalue":{"value":{"entity-type":"item","numeric-id":1401309,"id":"Q1401309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51facdc96130c6451c3c44169246a55a7c796d4","datavalue":{"value":{"amount":"+0.8517419695854187","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":"Q675223$154048CF-873E-4346-92BC-9DB87BFA8F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec57515412ed5c2987f5638abe4e0855b6d60d2","datavalue":{"value":{"entity-type":"item","numeric-id":4508393,"id":"Q4508393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4ab0b9740fa2f4d76fd42eaafbf20e50c54fd2","datavalue":{"value":{"amount":"+0.8418281078338623","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":"Q675223$5BC8605A-75E2-4CC4-BC72-35943D47A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6b923f35cdfebe65f75bc3b93cf8bda2cd9d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536611,"id":"Q4536611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee80a117c0e88021604b3f3eae8bcbed235aa545","datavalue":{"value":{"amount":"+0.8375134468078613","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":"Q675223$91ABC4D3-C032-4BF0-B80F-72B728677386","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable verification problems for programs with unreliable channels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_verification_problems_for_programs_with_unreliable_channels"}}}}}