{"entities":{"Q1923094":{"pageid":1933836,"ns":120,"title":"Item:Q1923094","lastrevid":46395249,"modified":"2025-12-24T17:03:55Z","type":"item","id":"Q1923094","labels":{"en":{"language":"en","value":"Verifying programs with unreliable channels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 930733"}},"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":"Q1923094$90047B8F-40B9-4C58-B57F-F577AC0157AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20b74d3ea0be95acb7ab6fced0bea2d8c98b5267","datavalue":{"value":{"text":"Verifying programs with unreliable channels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923094$24E0BF5F-9350-43E2-8D42-617BFEEBF7D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"353a6b7301c07d83763d582112c0e4e22e278b8c","datavalue":{"value":"0856.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923094$1236F736-D00D-4275-9550-8BDCA932708D","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":"Q1923094$9CCEDCEF-84B0-4083-8DFF-B42C6B229827","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":"Q1923094$253F5575-39D7-4E8F-870B-810F6342759C","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":"Q1923094$24F43881-EB7C-4994-BE62-53385C318BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0271cbeeb928d08d15c68ab78652d82beab9308f","datavalue":{"value":{"time":"+1996-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1923094$BA6806CC-E84B-4EC2-A799-2060EC32A2BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bf80fd64815b77fc7bd830c5156ce8cef5e0f03","datavalue":{"value":"https://semanticscholar.org/paper/1ac3c57ecd88eee3527187e2f3a91cc8fe111a85","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923094$790316EC-6A11-4A13-AA4C-BE8B069A8BBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923094$A4AF3DEA-B199-41A1-87F7-68EE8B0CA94E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1567ea7e409e9fb69dc483fb6264f71e077f8ff9","datavalue":{"value":"930733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923094$564E77E3-E334-4B1A-97FB-7CC51AA405F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923094$78BCCEAA-26A2-465D-86A7-378191C0349F","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":"Q1923094$62F4C840-0016-4C34-994E-6540B4E6F8E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fe8dbd80280f274de9ae467d9ce793547d52970","datavalue":{"value":"W2123160677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923094$BBE19AE1-D79B-4FB5-ABC4-01B7DC161EBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7734b3ae032de2979697e39b933a2c2831cfbc9","datavalue":{"value":"10.1006/INCO.1996.0053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923094$2434C578-1069-4E2E-B1F5-19890EE740B4","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":"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":"Q1923094$75902537-312B-463D-B725-FA50C85E9658","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":"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":"Q1923094$567520E5-971A-4A2E-9864-7857391677DB","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":"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":"Q1923094$345749C3-1E9F-40A8-BB19-FB33C1E89DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7c489b75fae4bcdc70c6503f47174f82cea840","datavalue":{"value":{"entity-type":"item","numeric-id":4708602,"id":"Q4708602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6305f4e84fbb1007902eff0962a8cef9918072","datavalue":{"value":{"amount":"+0.8430622220039368","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":"Q1923094$1CCC557C-1337-4569-9AF6-C57F9DCACA86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1923094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1923094"}}}}}