{"entities":{"Q3922155":{"pageid":5952060,"ns":120,"title":"Item:Q3922155","lastrevid":55001161,"modified":"2026-02-02T17:03:43Z","type":"item","id":"Q3922155","labels":{"en":{"language":"en","value":"An Axiomatic Approach to Information Flow in Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735123"}},"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":"Q3922155$36495F0C-B9F9-43E1-8C5B-614157B8FFD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d36f69bccfb2a95421386575bb485937d10c2aa","datavalue":{"value":{"text":"An Axiomatic Approach to Information Flow in Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3922155$DF97E2FF-AA21-4163-B26E-74180E121153","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d74f93d14554a5f8df34e2440173f1ff1bc5154b","datavalue":{"value":"0468.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922155$7C2F496E-41E5-43DA-A724-37132B53ACD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"282fcfa479ee078c846aaf16705c8f5fe2cd6f71","datavalue":{"value":"10.1145/357084.357088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922155$949CC00E-6DFD-4E0B-B252-088CA141C69C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4ce735f05a698512de6219c9783fc7d678ebba7","datavalue":{"value":{"entity-type":"item","numeric-id":582047,"id":"Q582047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922155$6CF65296-3A7C-43BD-8187-6B86822F36ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"011ec22c14a22a51328bda2fed7e8a18aba912dd","datavalue":{"value":{"entity-type":"item","numeric-id":3922154,"id":"Q3922154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922155$D3BA1AE3-070F-4D6B-B27B-4738F79E9613","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922155$19BECA28-CEFE-45F4-8DC3-F03ABB95DF4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3922155$8942BF83-7BE5-42D6-98E4-2CF84416852E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922155$7766FF45-B26B-4CD5-A26D-EE7C5CAE3B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922155$E7B3E0A0-F7C3-4911-86F3-268616B7F14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922155$474AFED6-B2EA-4A44-9C08-DEF798704D4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01348b7795718d88f3f1c7ae4b0a1ea4befbcdd9","datavalue":{"value":"3735123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922155$AAFDE36D-5220-4C82-B3CD-9D836BC4F5E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9944e8aca1900ca2ae0094cf005faf0271514cf0","datavalue":{"value":"correctness rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922155$F0B47CC7-0FAA-471B-A36E-B270CEEF48B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4b9d4fa90f8be2cd6da9111a0c86356fa26d54","datavalue":{"value":"information security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922155$5F3FF61F-C92E-41EB-9741-B41E84F5999A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a52b965ad2a2c0ef4f52fdf652a5cc67113b8ad","datavalue":{"value":"security certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922155$FB870E9E-EA0F-4BC7-B084-A42BB5314FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922155$C3868BFC-5D3C-4234-98F2-AF19A44BCF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6688669845385834cae53a68f746b84b61262844","datavalue":{"value":"axiomatic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922155$99484E31-0467-4F6C-8F89-F2484C615E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922155$10A7DFD0-0243-4A25-8A00-0A12765C25BF","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":"Q3922155$C659BEED-1F9B-4449-B387-0F522FBF2EB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6be4d98db119589afe56810590f1d2d302a055e2","datavalue":{"value":"https://doi.org/10.1145/357084.357088","type":"string"},"datatype":"url"},"type":"statement","id":"Q3922155$78701780-75A6-4A2C-B572-9D4BE734A163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22d9f03dae0a0b19d75fca593de96840de3bf5db","datavalue":{"value":"W1993302007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922155$79F07EE9-4FCC-4872-8537-1BCADDF53DFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3922155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3922155"}}}}}