{"entities":{"Q5447372":{"pageid":7476931,"ns":120,"title":"Item:Q5447372","lastrevid":92564555,"modified":"2026-06-05T02:01:55Z","type":"item","id":"Q5447372","labels":{"en":{"language":"en","value":"A verifying compiler for a multi-threaded object-oriented language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5245263"}},"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":"Q5447372$D89ECD27-9F39-43BC-A283-15618BC77EDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f8533d5f84b9876ab00136fc52b96b7e93221bb","datavalue":{"value":"1153.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447372$9B3DAE0C-3E72-4575-A955-6A3615929CBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$F5241DC7-8F74-4779-B57B-114A7AA1594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13dd9647a0ef3c6e07612efd4a1e02aa8e3512aa","datavalue":{"value":{"entity-type":"item","numeric-id":973054,"id":"Q973054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$EF797F0C-7575-4E55-9786-3A88AF22D596","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5447372$E4039B47-3726-4DF6-A026-3D253780D9A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447372$0FF055C8-E3EF-4B15-A35C-ED82E744BF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447372$4C2FB722-3C97-4AD2-9613-DB70CECA5491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447372$C1CD18A2-8088-4656-8689-FA1C2D76B9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447372$686EF213-AE46-414A-AECE-C9ED46AD6749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad0c1089bb40657d8c82981e4b83aa6de5a403fa","datavalue":{"value":"5245263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447372$8B7A8468-6124-4C98-A787-7D504CF5F919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b0937af1526ead5d6894a07a8327a64b667596","datavalue":{"value":"students' guide to automatic program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5447372$DA1DBDCB-8AAB-4F8C-BD62-FBE69533290A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$AF0194FF-859B-432B-86EA-AABA16501B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$76D6D824-CD09-41DA-8D0D-3526599C005E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$09D2594B-E0AB-4E22-82A9-DCA256D3ECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$7731A020-CC23-4547-A4F8-5DEDD89E5083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$8D13DB20-B023-456C-99A1-9375849C3550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$6E3746AC-BC36-4E74-B34A-F790EBE2441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$400CBB53-B30E-4A7F-B93E-EA200CCF4708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447372$C5EE726F-D5BC-4E64-8EF9-EDCF8F1F4EB8","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":"Q5447372$21C1ADAC-3B48-46B7-8590-6352F4530E9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0e8b454bcc3386bd7a95515bf9b41b19deabf1","datavalue":{"value":{"entity-type":"item","numeric-id":3558240,"id":"Q3558240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583d64c8d64ec32677388f4a956e6e57b72f83a2","datavalue":{"value":{"amount":"+0.7663986682891846","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":"Q5447372$819F25C1-3B4B-40D8-8507-D911C72DE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be783070fef793e84e2f531b5f64b3d84bdbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5410697,"id":"Q5410697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dd155273016fced741e94707ffdce49709e535","datavalue":{"value":{"amount":"+0.7379331588745117","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":"Q5447372$855ACACA-5945-4201-9563-06812C840577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b66b19dcb34d20e7302d9ed697daf5c94068fc","datavalue":{"value":{"entity-type":"item","numeric-id":5240132,"id":"Q5240132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e0e7d2f01ee41e77e2d46c4301748c5f7e8f2a","datavalue":{"value":{"amount":"+0.7275939583778381","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":"Q5447372$FCEFBA1F-652C-481E-A163-64EFBC730136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e731b1ab1d24a7e831d6e96e139492400c47f7","datavalue":{"value":{"entity-type":"item","numeric-id":5711511,"id":"Q5711511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7739ab2b893521f8c9ba9d1ecc676b31f02f0b0b","datavalue":{"value":{"amount":"+0.7151635885238647","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":"Q5447372$2F5371FE-DC06-482D-AAD8-28D3841A5353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7085ee087572c8048eeca907851ca06e65d99102","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda4fce26589e90e4b237c7c1a094d00c71f216a","datavalue":{"value":{"amount":"+0.714738130569458","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":"Q5447372$2DCB0AC1-4C93-4DBE-B14F-6CCF7262B31F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A verifying compiler for a multi-threaded object-oriented language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_verifying_compiler_for_a_multi-threaded_object-oriented_language"}}}}}