{"entities":{"Q4632436":{"pageid":6662017,"ns":120,"title":"Item:Q4632436","lastrevid":53409746,"modified":"2026-01-24T22:17:05Z","type":"item","id":"Q4632436","labels":{"en":{"language":"en","value":"Undecidable verification problems for programs with unreliable channels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048684"}},"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":"Q4632436$3C167254-9A2F-42E5-B275-030FEFBFD232","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":"Q4632436$AB1F90F9-B5A4-4F39-B417-A9935C85036C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7855174be548d34b3977f5bd94015f2560f32d7e","datavalue":{"value":"1418.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632436$F8E8D36E-F664-4E29-B1AC-2691C60BD6EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"459523e7c4c8b54f65b42919aad7bdba9827570d","datavalue":{"value":"10.1007/3-540-58201-0_78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632436$7E4BCAD9-5EC8-474D-8624-CF90CC1A3426","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$33885C5F-8379-45E8-902F-D228423FD710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632436$B27E4548-5E25-4A16-A36D-0273C95C1980","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632436$17295B27-C434-4C6B-90F6-B4DB4EE9AF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632436$83237EC7-23C2-4D9C-8977-D4367A0A41B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632436$9913AACE-F517-4FB6-986D-6AA5C3CB8677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deae0292b373bd635f808b1e4685aca57fa9a5c2","datavalue":{"value":"7048684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632436$AAF410CE-9549-43C7-8C94-187AE0377FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632436$694E27FE-B593-4CA7-AA83-917EC2BC7F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ca9e8f6f85db0c4e16d1f128b57f213192f250","datavalue":{"value":"safety property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632436$96B0540C-3251-4ECF-80F7-8A6E86A8B653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632436$593D47D5-2B31-452F-97AB-20CFF67FF74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec65ebd7481afa966d18bd40ae3753cc3d63ef56","datavalue":{"value":"computation-tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632436$9B7879CB-7819-4AE7-BC75-DF43699EDD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5699e25bac11bf952eed88ae6d18d1d7f2f90bd","datavalue":{"value":"eventuality property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632436$AA0DA616-AF55-404A-9505-FC32FAF75DA3","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":"Q4632436$DED8D7F7-801C-4058-8442-280BD243715D","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":"Q4632436$6E4BFB7B-DE15-4677-B3F1-D0BC04E846B3","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":"Q4632436$0A49258C-4E3D-49A9-88D3-B2F57E980A6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7946d0c3fae83fd59444d043face96510a2d444a","datavalue":{"value":"https://doi.org/10.1007/3-540-58201-0_78","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632436$C05C1060-4E97-41AD-B4FF-680BDB85A612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d05d901f3e8c8647a49a4a937efa37851d9c570a","datavalue":{"value":"W2688386367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632436$49528A9D-3F59-448C-8BE4-2CC63A156959","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$F32197C1-43D8-45C5-BED0-AE8E8B40381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$A506A12A-757D-43BE-91BB-38BBA3332490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc0a63389634a9e98983124e81872cbd40ee63","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$36D386F0-93FE-4EB5-8F13-BE3D25679E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$64AA7489-1873-4390-B308-A53796BF9148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$1151991A-4E58-48A7-8E55-944A3510F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$94D48473-9D09-4128-B2A5-E5658EAE1810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd1e2ae2bde1209612fa64c464d43a7fd5c9616","datavalue":{"value":{"entity-type":"item","numeric-id":3780411,"id":"Q3780411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$7DB28791-8B35-4B4D-A55F-D370B81F899F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$5878335F-FE5D-4C9E-86C0-80191A3EE0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$28BAFD4D-9538-4368-A0D3-6FBFC1274D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$6039E89C-97ED-435D-A662-29FF01E4C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31570aef269799d433b4eee3cebf43b1b15c053","datavalue":{"value":{"entity-type":"item","numeric-id":792770,"id":"Q792770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$A0DB7AD3-D2E1-44D2-807D-20A52E0CD05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e08e646cc60a69173bacb6efb1dfd0d6227f05","datavalue":{"value":{"entity-type":"item","numeric-id":1819939,"id":"Q1819939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$41224B5F-596C-4CB1-A096-B30DEF48A93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632436$B1F861B8-AD68-4B79-A1A1-34C253411146","rank":"normal"}],"P1643":[{"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":"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":"Q4632436$27F5A8FF-D5AC-4671-9E8F-471F513B9AF0","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":"ef7470c05cda5dd7a9c871cf8af7e7bc250388cf","datavalue":{"value":{"amount":"+0.9236698746681212","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":"Q4632436$A6B54940-838A-4A2A-B1B5-FED395D6146F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20cf7428dc6490e6ad8f20e80cf35ca082514b3","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"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":"Q4632436$03EF12B2-13BC-403A-BA26-27907F2D4052","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":"3b38c711ee66d3e7858d297c730ea073c5b52656","datavalue":{"value":{"amount":"+0.8195056319236755","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":"Q4632436$3F9EF03E-3B86-430D-B292-B125ED2F3086","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":"ca72cca680e8f71c9f965201cba9fee36600a906","datavalue":{"value":{"amount":"+0.8121963739395142","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":"Q4632436$97802DCC-605A-48F0-9FED-DB758807EE92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632436"}}}}}