{"entities":{"Q6171779":{"pageid":13306667,"ns":120,"title":"Item:Q6171779","lastrevid":93975782,"modified":"2026-06-05T05:34:53Z","type":"item","id":"Q6171779","labels":{"en":{"language":"en","value":"Program correctness and matricial iteration theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7727415"}},"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":"Q6171779$60A792A1-82D1-47D7-AEE9-838DBE2A434F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6a5e8ecbc649d5fa41faf5e941dbe6b326e4851","datavalue":{"value":{"text":"Program correctness and matricial iteration theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6171779$B6C5C8EE-6B99-4281-9E39-952D9B3C640A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b013289816f724ac079ccc04db9185f69d25ee05","datavalue":{"value":"1518.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171779$1043E4A5-5172-46B0-906C-76AFE499E02E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d4eab16ec17f97afbb341638e020652472ab44","datavalue":{"value":"10.1007/3-540-55511-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171779$B6021FFF-7F9B-493E-9A9D-D85E65C41815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$4077F396-F6C1-4CC4-ACCA-C3209F9F9340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$DC5A9B7E-AE40-4C32-ADC6-B606476AF793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$D9439C94-EFCD-41E5-8FB8-3F5398027167","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3fdc4707afeadfab464a2e4a8e3d58168b3dff","datavalue":{"value":{"time":"+2023-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6171779$B4DF12CD-1E2A-45FD-BE21-B2972D852C6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171779$397BA93F-1336-4DC1-AC00-3CF13890CBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171779$EECEC453-693E-4510-AB79-2DD8C155ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171779$31CC7416-2E1C-4567-B5A2-0E2AF2F7D0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171779$616D588E-E864-4DE8-96E0-E9B286839C45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ab653128b56497eabdd0bd476629c0de421b06","datavalue":{"value":"7727415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171779$DABE7F50-F729-4262-B5C5-DC783730772B","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":"Q6171779$831B1D3E-6610-4126-819B-B76593AFF288","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3b8c13d8c46c314dfbddd00cb0db389fb82ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1137858,"id":"Q1137858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$F95D910D-3B46-425C-8B5C-51EE7CB96DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74529332d52a3507b2b5b261bdf475682b3b1710","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$5B67158D-6FE0-4C16-B916-4A134331C53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$2BD91638-CDFB-4178-90C9-B5A0C3495E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cf9b57c8f6d13e073d95fd08295c02a20e3054","datavalue":{"value":{"entity-type":"item","numeric-id":2366692,"id":"Q2366692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$F929713C-5653-4B68-A22C-0FC851F13216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e0866e8097f80e4c174bfa76ef59b65cdc694","datavalue":{"value":{"entity-type":"item","numeric-id":3832049,"id":"Q3832049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$6759F4F6-2DA4-4536-9891-E02A8430B604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$B39EFA8C-C4EC-4932-899D-6C76FB522EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$9A541EA6-6381-45B1-93A4-5BFA5B2CD76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096df2fa5b327a1e2b7bded13087f938528b801b","datavalue":{"value":{"entity-type":"item","numeric-id":3892264,"id":"Q3892264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$746F4325-1462-42DD-87E4-1D70656282AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c70c115343eba336fa908d79dfd6574882d82ba","datavalue":{"value":{"entity-type":"item","numeric-id":790235,"id":"Q790235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$C2E2C785-7D1E-4015-8073-4C5700C4E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$C38EC755-C85A-422F-91D9-88B145B8AAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$836A9EC7-4B64-4D6F-ACF0-087057FE9C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726054eb080cce02aeede690f7345dc64ec1af05","datavalue":{"value":{"entity-type":"item","numeric-id":1239362,"id":"Q1239362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$98BEFD59-934D-445E-B623-50732CD5EAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$B286883A-7A4C-42D2-9ED8-EF309E7B3721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$D3C9D797-4944-4E70-8714-AED6F85247F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$A25BB391-1D4D-421B-A85B-E4D78001F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$15B5A72D-B963-4C09-90AB-7271A8D70E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e425d0d4da32ef851db9d90195cf0dd24b8a6ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3835042,"id":"Q3835042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$77E022B5-3C61-4C39-BA10-13EAB9481148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf27a943103b169908ad08360c79efd5ac50a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3135115,"id":"Q3135115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$4C5EA771-D84E-4F1D-8E41-4C8F49C492E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29693d20f26527eb5fa9c5ae4ca6658a8447133c","datavalue":{"value":{"entity-type":"item","numeric-id":5887518,"id":"Q5887518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$6526AB38-6F83-4C5E-89CD-05A0B7C12E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f06c3146f318eddd4170419dc0d4f0982f29ab6","datavalue":{"value":{"entity-type":"item","numeric-id":800396,"id":"Q800396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$A336A974-91DD-4FDA-B151-BA04CBB6D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f080d1342ef4a6d16b6b63c8edf6cbdbfd04811","datavalue":{"value":{"entity-type":"item","numeric-id":1093364,"id":"Q1093364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$9A7E7CD4-D166-44CF-8881-25F55D25E9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3babd94ddc209f7d81f4c9c929f53004d018b91b","datavalue":{"value":{"entity-type":"item","numeric-id":1101203,"id":"Q1101203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6171779$AFC143E7-5C9F-4888-9CF7-772F3C7D26CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c0703e26c2d4329fd0b8cfa4c525b0acc8c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2695364,"id":"Q2695364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ad3bb4810161dd3e1febb349c39cd2e63627bf","datavalue":{"value":{"amount":"+0.89847124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$4AB60DEE-1F2F-4E68-80E4-9CC553148D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69b5cae3879723fbe7da05756e12ef5f79556d5","datavalue":{"value":{"entity-type":"item","numeric-id":607408,"id":"Q607408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4977ccda91f4de4a8b78f5f847631585da62c95b","datavalue":{"value":{"amount":"+0.87912256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$EA417315-F0B8-42B7-BDC6-2D99975E36E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715d1666f29c7e62c77f55370ed43c5d869981e","datavalue":{"value":{"entity-type":"item","numeric-id":3707370,"id":"Q3707370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d82ee84c8d480a8f2e3a5ee14300894af23654","datavalue":{"value":{"amount":"+0.8790753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$80748702-C93F-439D-B477-672DAED8C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c5faecb5fda312f3c5174fbc97b6b5207b9dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2563951,"id":"Q2563951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ec17aa14dff1c56314b50b6cf99cc6352e7cba","datavalue":{"value":{"amount":"+0.87419885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$1C37C8A4-481F-461D-951D-EFAE87723999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a430ab67b0a7a240cbad8c6289f2f67df7438731","datavalue":{"value":{"entity-type":"item","numeric-id":2745193,"id":"Q2745193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a165e06506f3d2c714ac997433657fa7d9537d5e","datavalue":{"value":{"amount":"+0.87134445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$F0E28CBF-448D-4F34-B84A-07065AF1340E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8c5b68ab02d237eabf2eefc7fe92c33627d564","datavalue":{"value":{"amount":"+0.8707098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$109DC5A6-776B-4331-999C-A9357302D2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a673b4313553f7e4d5d51e1b037adcf5b720fca7","datavalue":{"value":{"entity-type":"item","numeric-id":4877441,"id":"Q4877441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3369b9543fd1eacada7372bb39630b597d84de3","datavalue":{"value":{"amount":"+0.87021226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$152908D6-7148-43F5-ADD5-ACA56A01560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ec70f6c707206282911ea47bb73451cfc707a8","datavalue":{"value":{"entity-type":"item","numeric-id":2265794,"id":"Q2265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccdcd0bcc65fcf995f9bd0ca9a5bb1483ab295d","datavalue":{"value":{"amount":"+0.8659396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$D84ABCAF-F850-4121-8354-D3FF6DB9B0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527a1e5218bd6931c72b8cf59baa2b82fc50431d","datavalue":{"value":{"entity-type":"item","numeric-id":5096233,"id":"Q5096233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30327fb76a04fe6e908c3684b40fc8b9428227d0","datavalue":{"value":{"amount":"+0.865443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$A44F8EE2-A44D-4AA8-A2B9-51EEFA12979C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f8f631d9742a6ad7d090ba11fbb7ef12c2162e","datavalue":{"value":{"entity-type":"item","numeric-id":405669,"id":"Q405669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83816e00e79c9f42d10f3af499e9cfa82a6ca44","datavalue":{"value":{"amount":"+0.865067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6171779$0CD847C8-13BA-4F7D-B8AD-F74661ADE052","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program correctness and matricial iteration theories","badges":[]}}}}}