{"entities":{"Q2978540":{"pageid":2989265,"ns":120,"title":"Item:Q2978540","lastrevid":45181933,"modified":"2025-12-01T18:40:29Z","type":"item","id":"Q2978540","labels":{"en":{"language":"en","value":"Computing Information Flow Using Symbolic Model-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707791"}},"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":"Q2978540$21D16416-0D1D-4DEC-9DEB-A6EE184A2599","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b0de82c87a3ad9c7d0bd25cfc11e1451438a8c4","datavalue":{"value":"1360.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$A1770A21-71E9-45CB-9F01-E1173C4ADE11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978540$061E6D65-5A29-4689-B8C9-299A5A29D09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3832a6f49368bc25104676db11d18b956393ba53","datavalue":{"value":{"entity-type":"item","numeric-id":2164213,"id":"Q2164213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978540$52ABF215-E30A-485F-A950-0FA0246B3EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978540$5813B61E-3C8D-4241-A08D-3704EB8E5FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2978540$95DFC76D-6149-4747-B9BF-810148D42C19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$EAF50533-EBA3-428F-A1B6-13AD9D5DD26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$92D438D0-66AE-4291-BFE4-D2F93D9E57AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$61B44801-BAFD-4A74-A300-C7524B3E76A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$7E8C012F-5F5A-4AA1-A1F0-4CB578FB4241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"207c5be9c3759d94095eb3dc78d22476a68765bc","datavalue":{"value":"6707791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$9E399767-8A27-4F19-90F1-51C695047958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81b30c1b40c38415c32349729a757dca2487f9a","datavalue":{"value":"information leakage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978540$B0371B92-C448-4554-8465-DC7BDC067D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c55e55ff6c59f1ab7dce5d9119706ae64701a73","datavalue":{"value":"MIN entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978540$A43471B9-7CA3-457B-9E2E-58E0F0461E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a543313b75eba9fbcaf7fa6a23a4656fa708778c","datavalue":{"value":"Shannon entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978540$9BCFDF44-C588-4055-AA3F-F6135A6BE9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a1f5f700a0c8bbbf970dd6980b4b0d803e00bd","datavalue":{"value":"abstract decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978540$6D3D2D31-EC88-4F3D-A616-1C3A777410AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd5ac8cc5c658ffa273a54f1c7c8cba6b789921d","datavalue":{"value":"program summaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978540$6D9B3507-8844-43AA-9144-A6BCDAE72471","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":"Q2978540$9CC6AC6A-0D66-4698-96AF-FDA44F66C89F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c595a80798d2c16024cb4ac45eae9301adbbb49","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01110118","type":"string"},"datatype":"url"},"type":"statement","id":"Q2978540$8E9ECC5E-7DCF-473E-ADFE-AAA4EA6E75ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cc5378d96e0c12d6a5ee8fc18adf4cb8948b5ca","datavalue":{"value":"W2284036458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$4049FD9F-F967-4C82-9F1D-A9576DAFC7C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fddd3b16e3f0c66615c48c656f358538106be0c","datavalue":{"value":{"text":"Computing Information Flow Using Symbolic Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2978540$8EF44E91-4389-4621-BDEF-B3D3E79026DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"671d3f850255eeb5f2a1e071ff81a2aa749276f4","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2014.505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978540$EAFF92CA-82F6-41E2-A22A-21027846AD8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a957d2cf599028b27c7efd7665694dce77cbd3cd","datavalue":{"value":{"entity-type":"item","numeric-id":2891409,"id":"Q2891409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4093ada2b1fe623fa4bdbb1b8d03467e4a085b01","datavalue":{"value":{"amount":"+0.91122097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2978540$05306358-D9FB-4F99-B064-66AD65EB4984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfe1bbb29d09d1306c379c4473769840b7bbe8d","datavalue":{"value":{"entity-type":"item","numeric-id":2453114,"id":"Q2453114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b6688bfd2beef3ed0785bdfaea09fed058cdf3","datavalue":{"value":{"amount":"+0.90393007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2978540$5AA69391-38AA-418D-8079-2B290CE5D1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69195272387bc3e2d1d8f36830024dffe17c5b53","datavalue":{"value":{"entity-type":"item","numeric-id":2848479,"id":"Q2848479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb498734c7232792f2bff6573deea4eda0ec4f6d","datavalue":{"value":{"amount":"+0.88848096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2978540$E32497B6-CBC7-4E71-833E-51DAD037F5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6463d78d11a1208d30a334487f07a31b42ff45","datavalue":{"value":{"entity-type":"item","numeric-id":5025068,"id":"Q5025068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b0a85989279dfd869d2b6d1164a30ef9d18f0d","datavalue":{"value":{"amount":"+0.88824034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2978540$33C9D559-CCE6-418F-AF45-967F8DB48D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba34d8866ababb7199bbc1eda35fc786791b8768","datavalue":{"value":{"amount":"+0.88707066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2978540$007F8779-DDB9-45F5-937A-2533D4313CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48491e2a51d7a45ee6d4b7304c0bd137552050f7","datavalue":{"value":{"amount":"+0.88599086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2978540$088F545A-8FDE-4AAB-B9E4-3F6BEBD58E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c500936d16acd5a0ba5ece28467ba4049d9d01e","datavalue":{"value":{"entity-type":"item","numeric-id":2024334,"id":"Q2024334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a9199ec80106789a99a921ef79c8db86ed768d","datavalue":{"value":{"amount":"+0.8822776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2978540$3E468816-3722-4766-AF93-A70784AB5F56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2978540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2978540"}}}}}