{"entities":{"Q3296345":{"pageid":3307053,"ns":120,"title":"Item:Q3296345","lastrevid":45904516,"modified":"2025-12-20T06:20:09Z","type":"item","id":"Q3296345","labels":{"en":{"language":"en","value":"A Logical System for Modular Information Flow Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218151"}},"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":"Q3296345$C1B41E0A-D064-4475-B0EE-DBC6A70D7FA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6017b6eaed69d32bfbf9814e770b59c2c1f0df34","datavalue":{"value":{"text":"A Logical System for Modular Information Flow Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296345$66CEDBB0-B142-4469-8E36-0AE4BD2184F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"716c6fca5851338d383d17e0cb8c1ecc9c26c6bf","datavalue":{"value":"1446.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296345$CE7F162A-A516-4083-BDB7-AB47BF45B516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8056ec4a211ac434f484042cea11144e2b446e4","datavalue":{"value":"10.1007/978-3-319-73721-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296345$17035A4F-979A-40BF-B353-4758E031B8C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e038346caa33c070693ff1d0b9e56e04e40f1790","datavalue":{"value":{"entity-type":"item","numeric-id":3296343,"id":"Q3296343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296345$8543E411-DD21-41F8-9241-7CB220641242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"831e53c48bbe450043093e4eb2ab3787216fc55d","datavalue":{"value":{"entity-type":"item","numeric-id":278745,"id":"Q278745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296345$7FA1E27C-E4F6-47D1-897C-4B53FB7E66CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52be78e70b962a6559bd273c877915c04433703f","datavalue":{"value":{"entity-type":"item","numeric-id":3296344,"id":"Q3296344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296345$F6F5A31A-4148-4C73-AC1C-56F62CD327FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296345$52A66037-EDFE-447E-8678-AD542D730552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296345$3873E9BB-4F8D-44DA-923B-AF8F6885B8E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296345$3ABC1063-F08B-4E91-A1C0-B98578D7AB47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296345$4EF09A24-029E-44DC-A828-C9889447B274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296345$0F4480F3-531C-4ED6-8DFD-52C70C1C9473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8a8bc35a589dac25a19b8e5d00fc65af567d4b9","datavalue":{"value":"7218151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296345$BC117FC1-7C8B-4256-8A1A-640ACD126244","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":"Q3296345$A87DFB4D-5CAB-4806-A2C7-00A850F3232A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70042c6ad83923fa30fab60b02805bb4b951704e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-73721-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296345$7783902C-C0F2-402F-8901-B6296318FA48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbe9e57242cb32aa71acceb2503f76555cc20b5b","datavalue":{"value":"W2777541774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296345$4C18BB07-F7DB-480B-8FF9-35F2EBC0ED0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bdd3b41d13b3041180a073f5766451138ea86be","datavalue":{"value":{"entity-type":"item","numeric-id":5408414,"id":"Q5408414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c052a4b3309cc8a211d15173982724e03dce182b","datavalue":{"value":{"amount":"+0.89252627","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":"Q3296345$6685C0E3-C790-4B5C-94CD-56B094F22F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0365f30d8b93f375a4c9795074de913c580a392","datavalue":{"value":{"entity-type":"item","numeric-id":2978540,"id":"Q2978540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d87bc30e3ac95e82f7bb753b804f53c8dd3771c","datavalue":{"value":{"amount":"+0.8718896","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":"Q3296345$C515E9AC-AD86-4FD9-9563-07CB9BD0B780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c812b76199b47528c96ab5121b7bf5d6f8971542","datavalue":{"value":{"entity-type":"item","numeric-id":3079920,"id":"Q3079920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ea3d3610f2f33797544bc04133197a2e041d13","datavalue":{"value":{"amount":"+0.8716077","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":"Q3296345$5939758B-EB2A-4723-8ABA-DACD43BC9A61","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":"0274acd52b8cf17fe13e06b1df15199f7dba3bb9","datavalue":{"value":{"amount":"+0.86619884","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":"Q3296345$6C52093E-D000-466D-8AC7-E64BDCC6890A","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":"e8b47328b7c84bbb5c57fa959ee276800540d30c","datavalue":{"value":{"amount":"+0.8650049","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":"Q3296345$90756F26-F2B9-4F1C-B910-117DD7E3087D","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":"71c7c27493c033a98bd51ffebc28904577bc7f12","datavalue":{"value":{"amount":"+0.86254615","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":"Q3296345$AA3EE8B3-F199-4BF2-9991-20D35B0E9D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3296345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3296345"}}}}}