{"entities":{"Q3460862":{"pageid":5240262,"ns":120,"title":"Item:Q3460862","lastrevid":52429961,"modified":"2026-01-22T15:23:46Z","type":"item","id":"Q3460862","labels":{"en":{"language":"en","value":"Hoare logic for disjunctive information flow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527831"}},"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":"Q3460862$77441871-8FAA-4B00-8BEE-FE21C64B84AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"970e5b5aa4cecff7f186ea2f3f09f3eaffb6f8c8","datavalue":{"value":{"text":"Hoare Logic for Disjunctive Information Flow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460862$33B4D9C7-0DA0-44E4-9163-F7C17837B658","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2163a29a4ca74f64ad0caa281583e6d1c7035c7","datavalue":{"value":"1434.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$81AC7BEB-28E7-434B-881E-5AB408478045","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ee8811d1ca4170e77c92056cb7b4f4c296548b","datavalue":{"value":"10.1007/978-3-319-25527-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$11A849C0-E0C5-46E1-82C6-8DDA97DAF769","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$CD74DD1D-21C3-43D9-B9A6-D13EBB863C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$AD5AE3C1-1F63-4C65-B0C0-552E517DBEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a481b0cbefd70cf303287edb03f873412bc5d3db","datavalue":{"value":{"entity-type":"item","numeric-id":826355,"id":"Q826355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$1A0C97EE-D116-40D8-8007-D72F5149BC72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"230a3c844c1293bf0d2be6b72e34eb37f9ffb929","datavalue":{"value":{"entity-type":"item","numeric-id":3460853,"id":"Q3460853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$FAAFD9F4-6244-42F6-B10B-57E6A2BEEAB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460862$D12974FC-4D21-463B-89A7-CCEAA90C5208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$F5399B09-C8ED-40EA-98BC-2446A682394B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$4D7851CD-E0A7-4775-B44B-B1DEB9062487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$35413B53-3581-478B-9059-15DC5F864E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$8B5E18AB-E25D-4041-8D6D-5EC07A81A2CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68808b1a9a66b4b09a7c2c90e11b0521c63ada71","datavalue":{"value":"6527831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$7D4F64BF-0F89-4584-8680-2CCDFD03DC50","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f3ea45cbc5ece1b95f16935ae034d4c41df33d3d","datavalue":{"value":"Q59416298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$99361019-AC8B-49A1-A5B9-FF38CE22AB73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09bdb1cb590aa84005bb564e1ecf2727e6689d3d","datavalue":{"value":{"entity-type":"item","numeric-id":25221,"id":"Q25221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$43983A32-2334-487D-8694-61B20C0A663F","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":"Q3460862$F8C1F8D0-8D52-455A-BEA6-CD627CFE11D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"528cfd6785b1ddfbed72b35ddcf35e742ee6d56e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25527-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460862$CDFECCDB-A914-477F-B8AA-3C5CCE601F3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4bc3af2e6b68955eee35fc681b4d7599d85b422","datavalue":{"value":"W2295217343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$E9D543C9-BBFB-4EA2-BB84-70601F3A786D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f3ca706fc4b36c660085e213e328bea1108bd3","datavalue":{"value":{"entity-type":"item","numeric-id":2894335,"id":"Q2894335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$7D432360-4F79-4E80-A2E1-2EF5985C9265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba429b0799ed96e59e6785a29eaf897e38f647dc","datavalue":{"value":{"entity-type":"item","numeric-id":3922155,"id":"Q3922155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$0E94074C-ED44-4811-9678-F6BF69E62E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$7F6A0627-00BE-4B13-88EC-1A4A4E40E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$B1046624-7093-4FD7-B4E3-140B29AB4983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5013b6904bc278b3a6a5445513550126caea1d19","datavalue":{"value":{"entity-type":"item","numeric-id":3619469,"id":"Q3619469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$9B17BBE0-8605-4A96-8198-39B36D898C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2c912b671edbcc986786d22f98c5ecb7968f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5255100,"id":"Q5255100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$539276BD-BD7C-4BF9-BF64-437EB0913587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$F1777225-E56C-41E8-B74E-15DF59D1D259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8de960a70541b3288752b5be00a181bf18e1b51","datavalue":{"value":{"entity-type":"item","numeric-id":3681904,"id":"Q3681904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$D9246E1F-40F2-48D1-8492-7E20AA0BD878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460862$3D961CB6-67CA-4182-A5A8-C72F8A4C7E8A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"402cb8fd65c83203e302053c25b7023ca474c71f","datavalue":{"value":"conf/birthday/NielsonNL15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460862$9BE0F8F3-C6CA-4421-B7BB-E4AC9F9F783F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ab23c2d23f595d7d7872c887ec205737a7842c","datavalue":{"value":{"entity-type":"item","numeric-id":511927,"id":"Q511927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e064c4525d03bcfe557c3762bfeded7edb04cf","datavalue":{"value":{"amount":"+0.8522586226463318","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":"Q3460862$13083F0C-7425-4A06-9390-48F885D92A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc145ea49dba43bd1ab595ccbd22e1298eea52a","datavalue":{"value":{"entity-type":"item","numeric-id":5857794,"id":"Q5857794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bba5570ac75c3bee0323a6c5c6f4316faea3256","datavalue":{"value":{"amount":"+0.794741690158844","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":"Q3460862$B505007E-6BDC-462A-8D04-FDE26348004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414eafac9e4ccd35d0c0ba3587aee0703e5e5de6","datavalue":{"value":{"amount":"+0.7756452560424805","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":"Q3460862$E3749297-3CF7-489A-BD3B-A09273174C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2affcd6ae87a9dfffb64de74d7e512f6c66dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3867f81cd0e2b83e4576a94e9ff2653b102231","datavalue":{"value":{"amount":"+0.7609036564826965","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":"Q3460862$9CDB3C41-A010-4273-BA4A-F2CDC808AF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eac080b2bfd194d4ea8faea29b76ed771f5becf","datavalue":{"value":{"entity-type":"item","numeric-id":2945719,"id":"Q2945719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb418d9b056a7d255f50ee4e1383254eb3c4383a","datavalue":{"value":{"amount":"+0.755054771900177","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":"Q3460862$D5980AB2-7A9A-45D2-AA53-0932122CD273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460862"}}}}}