{"entities":{"Q3608456":{"pageid":5638362,"ns":120,"title":"Item:Q3608456","lastrevid":50591432,"modified":"2026-01-14T12:15:46Z","type":"item","id":"Q3608456","labels":{"en":{"language":"en","value":"Integration of a Security Type System into a Program Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523440"}},"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":"Q3608456$29C0F7F4-9103-4614-B0D3-434EB584861E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4d61b6f3681c37ce1edf91d8c9db85f1e86bda9","datavalue":{"value":{"text":"Integration of a Security Type System into a Program Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608456$49E3FF43-DB41-4F80-A5CF-8D1501C8F973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2fccbe3b9f7cd79d9c5ccdd6ac3d7eb6626f038","datavalue":{"value":"1211.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608456$4528C279-39BA-41AE-AA4F-400CED9D24D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61ebf94baaba023224088a757cd6c495b6d1e26b","datavalue":{"value":"10.1007/978-3-540-75336-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608456$C68A534D-1553-42FA-BF34-FC7943D50DCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608456$970529E4-0ADF-49CC-A7F7-9872534AAB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29208fe1c25da45b1c22c7808fa7f02c2189adc4","datavalue":{"value":{"entity-type":"item","numeric-id":551596,"id":"Q551596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608456$9BE0B625-5C93-497D-9FB9-3BA0C9EDC2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608456$31EF5E22-F39B-408A-816E-C4528B668CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2a25029a16268b8d510ce2fa15b96e55cce8385","datavalue":{"value":{"entity-type":"item","numeric-id":935468,"id":"Q935468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608456$2D620FED-F77E-4481-9F42-168FA5410401","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee0d095f9cd37ccf24b2b7a7c4ea665b54a342f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811921,"id":"Q2811921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608456$B6EC27D9-D41A-454C-B6E2-97EC8DF9AEE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608456$5702D489-DECC-4B13-AB1A-6413BF02EF41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608456$274E35F4-F23E-4379-9EC0-2634E18E85C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608456$85B3C092-4760-4304-9DDA-B8AD3010C6D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a54c2d7309999965d840e3a5ea84b085ec9c1382","datavalue":{"value":"5523440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608456$6CF3A5D0-5D68-46B5-B105-07D6DA74284F","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":"Q3608456$79C7CCB1-E279-457A-835D-77E54208D337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1844ac3d0a31998fa96347c6bfe564d01c608ea","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75336-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608456$C60E3E56-0D0E-4680-98AF-3AA358B20B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63be5755f635a42250f9d1e7c4c08f657fe1cc5","datavalue":{"value":"W3023908054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608456$B1202B05-8852-490C-8D87-CC09792FF1C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0f03d5bd6804b4801367bcae2e48ec21475508","datavalue":{"value":{"entity-type":"item","numeric-id":935469,"id":"Q935469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57055395904b3394d54fe8e96a21396a5b2997ef","datavalue":{"value":{"amount":"+0.9986405968666076","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":"Q3608456$67BCC7F6-B745-433D-9D08-D30F094B4756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fafbe52687929cdee51986088f2a754cf5ea53c","datavalue":{"value":{"entity-type":"item","numeric-id":5348914,"id":"Q5348914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35927ab5a40e62358047be172f279d98f248729","datavalue":{"value":{"amount":"+0.7826316952705383","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":"Q3608456$A37625D9-5121-4153-A982-4700D31D9F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8549f214ce20428586a68a10c6e2fa28ce9afc07","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f823f3670ddb188aab388fc541d15ac4ae4cc4fa","datavalue":{"value":{"amount":"+0.7380516529083252","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":"Q3608456$81F9E00D-BE7E-42E6-B93F-435EC47D92B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434b4e9ed0c59f80b3f1944b27f059ce0d7eb6d4","datavalue":{"value":{"entity-type":"item","numeric-id":5901899,"id":"Q5901899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55acb2f46e76c18e034ab686decdfdbe06c141ce","datavalue":{"value":{"amount":"+0.7289057970046997","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":"Q3608456$0233FCE0-A117-4FB1-A0B6-4B3D8428C182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dcbb169f2c708b8e803982d4175da6fc4d4cab","datavalue":{"value":{"entity-type":"item","numeric-id":5464642,"id":"Q5464642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e39bec431b82f6555e600bf483ec3a71c73a4ad","datavalue":{"value":{"amount":"+0.7273164987564087","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":"Q3608456$6665027A-F4EF-4743-B186-499B43E8144C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608456"}}}}}