{"entities":{"Q4615296":{"pageid":6644879,"ns":120,"title":"Item:Q4615296","lastrevid":53340071,"modified":"2026-01-24T18:46:09Z","type":"item","id":"Q4615296","labels":{"en":{"language":"en","value":"Types in programming languages and corresponding safety theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7011367"}},"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":"Q4615296$9943A24E-54B7-4988-B89C-4890C557F439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e2e3b4d2224fecb16a6ed19b1bb98fd145abac5","datavalue":{"value":"1405.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615296$1B5B038A-8DE3-4734-BFD0-E063111B4EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad0a0093a6486ebd0c22d7bb7cafde4171bf93d3","datavalue":{"value":{"entity-type":"item","numeric-id":4615295,"id":"Q4615295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4615296$5A57C286-F9B1-425E-AE07-F38D0AA7AF98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca7cadbea416389ec58d41faac46d14282f7824a","datavalue":{"value":{"time":"+2019-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4615296$54A17196-4125-4DE7-B01F-1369FC722576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615296$8E8531CA-76C4-4349-92D1-8870D73A3E23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"844dcf61de44ae6756180f30d5c07f28787ab648","datavalue":{"value":"7011367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4615296$731E6EC6-C882-4CD3-985B-BC0F0A17D922","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":"Q4615296$3F0A727C-315D-4026-88B3-EB96702FD9CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b26495c37af8eda616e6dbce30e8adb8f72e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":5942703,"id":"Q5942703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0387da0a4d1a77e7993339bc040bcb173b6b07e","datavalue":{"value":{"amount":"+0.7483611106872559","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":"Q4615296$B2F2A632-4F55-48A4-B3C8-14FBDF51996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357860675d9d6383009814e1650bf925597a610f","datavalue":{"value":{"entity-type":"item","numeric-id":4819651,"id":"Q4819651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1fd3bcfccdba3e7f81dc52ce8b08b6fb8ae5481","datavalue":{"value":{"amount":"+0.7312334775924683","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":"Q4615296$481235EF-B59A-443A-B92C-C1CB2A4816FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d833dc28f2f6489266d2e05abd0cd9d955a0ed97","datavalue":{"value":{"entity-type":"item","numeric-id":1199876,"id":"Q1199876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6e3eaf5f286bf9c6d5573e2e58feb227438e3b","datavalue":{"value":{"amount":"+0.7113257646560669","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":"Q4615296$B783E537-4291-4043-827D-CCC0ECF566A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e417b97ef3df9c905b7c5ac6ef40e146222217","datavalue":{"value":{"entity-type":"item","numeric-id":4318862,"id":"Q4318862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6e3eaf5f286bf9c6d5573e2e58feb227438e3b","datavalue":{"value":{"amount":"+0.7113257646560669","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":"Q4615296$7C5E3715-E52B-40E1-92AC-27F8F2710F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425d690071524619d74f82ef2f5eaf8f65e9b01a","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c86046b6a80a36da5d55c902a5b8a76ccb5aa9","datavalue":{"value":{"amount":"+0.7100450396537781","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":"Q4615296$CF011D86-CAEE-445B-958D-859B8714788E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4615296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4615296"}}}}}