{"entities":{"Q3596519":{"pageid":5626425,"ns":120,"title":"Item:Q3596519","lastrevid":50154734,"modified":"2026-01-13T07:07:39Z","type":"item","id":"Q3596519","labels":{"en":{"language":"en","value":"Information flow control for integrity based on a type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185618"}},"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":"Q3596519$726EEBE7-1D61-4A5A-8FB3-7A0F26A4F28A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"308d9e248b7bf0fc6c1d2d1562ff719dec35c9df","datavalue":{"value":"1124.68394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3596519$15FA7C37-C8F0-4971-8CD9-DC1F31BD5E2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b249ac90b53e8a5e65e8cb88a84a35aa8ad959cf","datavalue":{"value":{"time":"+2007-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3596519$09BBC62C-9A63-4857-A411-6A52BBD99C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3596519$6BADF2E1-7A86-448E-8766-F6407FD97D11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e850e223d89dab0a87d08343f666749c1984fb3e","datavalue":{"value":"5185618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3596519$A4005799-C86A-403F-8EDA-99581443A2E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3596519$5ADB5A5D-B7B8-408F-B83E-571BE6933E27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbbdc0f6c977f544c2b366a7f177ca5ccf15348","datavalue":{"value":{"entity-type":"item","numeric-id":407439,"id":"Q407439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3596519$786E5B7F-6C5A-49FB-A0F7-10D014DA7AF8","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":"Q3596519$FE0D5D6A-3A75-4F30-91B7-A6E619CB89B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1817eca82943c69437688f168280374ea27829b1","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04341ce9c560660e02421ba54285cc93ab56f457","datavalue":{"value":{"amount":"+0.8113927841186523","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":"Q3596519$3F0E970B-B5A7-40B7-9C09-71D851509D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cf74fc2a9ad3eeccf30436c684aa1fbf868623","datavalue":{"value":{"entity-type":"item","numeric-id":4450742,"id":"Q4450742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b4e7f3737b2a3dd2842d49d958f2ebd7cd8b0f","datavalue":{"value":{"amount":"+0.7950574159622192","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":"Q3596519$983864F4-772A-4B8A-B563-85633795470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121262a13d28006506e283e0bede8371c7f50c01","datavalue":{"value":{"entity-type":"item","numeric-id":2581011,"id":"Q2581011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c56fb9b2505535a6126d5cf7b0c66b07aff73e0","datavalue":{"value":{"amount":"+0.7889993190765381","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":"Q3596519$A0F3123A-1A85-4FB1-A7F3-55C3D5FE0580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef837c98af9365d5976372be8b459fc87fae6675","datavalue":{"value":{"entity-type":"item","numeric-id":2754161,"id":"Q2754161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f91f78c98503d05acd0568e4ad767cc319f301","datavalue":{"value":{"amount":"+0.7821642160415649","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":"Q3596519$8ED7FC0F-DDD9-4B26-99F9-71B92CC0028C","rank":"normal"},{"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":"b9f91f78c98503d05acd0568e4ad767cc319f301","datavalue":{"value":{"amount":"+0.7821642160415649","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":"Q3596519$32129F1A-18A3-47F2-8F9A-91E91FC2B700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3596519","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3596519"}}}}}