{"entities":{"Q333325":{"pageid":335092,"ns":120,"title":"Item:Q333325","lastrevid":52661453,"modified":"2026-01-23T05:24:14Z","type":"item","id":"Q333325","labels":{"en":{"language":"en","value":"Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6645314"}},"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":"Q333325$062D5CB9-7015-401D-8A10-CF5852FD91AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2720062549d9f726670277d1ce8c3a682549a92d","datavalue":{"value":{"text":"Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q333325$D5DA92A5-D009-484F-A9F6-B5307B40D50C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"148f19de7a2ccccf717ed8e1c1a6440580722cf2","datavalue":{"value":"1348.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333325$65E7B63A-9AFF-4A63-9E65-19044FC3A203","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08a868b8b07517613341343fb03ccc65ea8bae45","datavalue":{"value":{"entity-type":"item","numeric-id":333323,"id":"Q333323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$860F6788-9CE0-46EF-8AB8-FD4230D8A866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58fd1b197288e42d9e813642b301f704e52bc06","datavalue":{"value":{"entity-type":"item","numeric-id":333324,"id":"Q333324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$CF11B2F9-9BD2-4A06-9583-7ADDB02ACAD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$51709134-1DAD-40C6-B83C-EB5A96AF27E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f5c57c1b97c1eb46e36683bd00f46296ab3c1a1","datavalue":{"value":{"time":"+2016-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q333325$22F2E386-7F16-4941-B2B3-370C9436FC93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333325$E4A446EE-D02C-4EE4-9996-7D79D989BD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86467c42076cd02d03efdb91299b004ea1185418","datavalue":{"value":"15A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333325$CA7360E0-5E3F-4A80-9DCD-5EA229E67D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333325$F368FFAE-AB21-4FCD-A67A-5FC32ACF425D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c25bc4c80c6c098d6dc89d70e53358cca0b73aa","datavalue":{"value":"6645314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333325$892B87A5-CF4D-4E6A-84BD-22F437FE945C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q333325$5218E826-E7A5-4456-B155-EC14877C1688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q333325$F1E093DE-DEB5-4E7D-AE17-E6184C7BE37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q333325$AF47B1BB-8938-460C-9023-E6F48450C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d3fa047077cf9c18d53bafa113b5cfaf25af0e","datavalue":{"value":"verified code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q333325$8592203D-CD0C-4201-B75E-7D6CF3831E94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$48DE478E-9D35-41E3-9899-DFEF6BD605B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$21E78877-8AB7-4477-94E1-F82B596FAF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$1BA061AA-A792-47B6-B5AC-6E42AABC4288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$4D119C1D-D64D-4A4D-80E1-63587B7DF311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$BB345294-9611-476C-B93D-B84B5D2051F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$528ACEBF-D85D-4CBE-85DB-3A51B142741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$3DE6B29F-87BD-47E5-A1E8-9AE7B8193B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$4E3C24C9-B0C9-4610-BE5D-D1C1A29BBDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8820312195fedfa211b44ae20ae12e4a82ec2682","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$DCB1AB5D-9BAF-4B9B-9B33-439CB94B8632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$BAD62C55-ACF5-4208-BD80-90345DD21BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4cfe9db1b86f9a8e7ed81b232181f3e92b8411e9","datavalue":{"value":{"entity-type":"item","numeric-id":40277,"id":"Q40277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$1ED5E8BD-D622-420A-9806-7928F8EE15EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"230614cc0c9a4510f4c52a1f5ab47b7f017dd272","datavalue":{"value":{"entity-type":"item","numeric-id":40278,"id":"Q40278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$E59446CF-C4F8-47B8-AAD9-7912BC68F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2fe702631353af890344233a5b961171a5b0916","datavalue":{"value":{"entity-type":"item","numeric-id":40279,"id":"Q40279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$3E936D96-105C-46AF-BEAF-F85266A6D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aac7c058832ef463bb967772839a9a3a80997b0","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$C73F0615-7666-4B46-9D03-6987480CB6FE","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":"Q333325$93056CE5-A5F4-413B-BA2E-65D4B461F576","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb39504214209fbf2424f3b3294b2f45cb338fe6","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0383-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q333325$D443C75A-0932-45EF-BD9C-546396243D3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1f3facf4af13cbd528428383ddba7736c896687","datavalue":{"value":"W2471798638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333325$2D4767D5-628C-40B9-AA79-8E4D6AB7F7A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff56ad271be0143ed70be6e0e6dd3643e98b7af","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$0EB08485-63F0-4ECB-83DF-1B19D4667B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18e692c38a354cbb692c1ceb6300201a93c45d4","datavalue":{"value":{"entity-type":"item","numeric-id":5371950,"id":"Q5371950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$FC6C8A1B-4F86-48BF-8453-0D20557A4EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"831b12fd64764ccf9a9dbcd7c02709f94a31b112","datavalue":{"value":{"entity-type":"item","numeric-id":4827633,"id":"Q4827633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$31AACD88-4AAD-4713-B6B3-07C6A405BB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6b13b2ba37a9810801d8784e6422607a5338cc","datavalue":{"value":{"entity-type":"item","numeric-id":4745254,"id":"Q4745254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$1865648B-4DF5-4B6E-9221-4C0C2ADFF5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d1184066cfcee842528ee83f515b5548088515f","datavalue":{"value":{"entity-type":"item","numeric-id":4831098,"id":"Q4831098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$F93129D6-1909-410A-854E-150F023D6B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c970b6e7b82c5bbe7bcae84fe64572f2ca1d605","datavalue":{"value":{"entity-type":"item","numeric-id":5739892,"id":"Q5739892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$DD8FF160-A67F-4513-B7CF-4038585EF156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$80FC7A62-2988-4F1D-807F-638D34B12A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$EA811265-C632-4FE0-A0E9-2AE9F4748099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865739c8c46b7eb8ebee9997f21b126349ae7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4513600,"id":"Q4513600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$563BAED5-4A76-4536-B76D-0A25BAC7F628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec326779be5f4f8dc3a81efc985f00f310bbe46b","datavalue":{"value":{"entity-type":"item","numeric-id":597122,"id":"Q597122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$54DB464A-46BC-4DE6-980C-90B52000A326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$FDF76815-55DD-4D52-B3B1-20538301E685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$DF263F05-9CF1-43B8-9C3F-33EA16AE6F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63aa190596f5f038c76fee579c3a35ac46998","datavalue":{"value":{"entity-type":"item","numeric-id":4771385,"id":"Q4771385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$E70C38CB-1C27-4D11-844A-845E4FB03279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2395dd702f138e4eac8055f3110cfa61dc3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":3088008,"id":"Q3088008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$B20562FA-9202-4ADA-826D-566AD441842E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe1c11e24d4c7bc06d75d01ae79eb40a48a4d85","datavalue":{"value":{"entity-type":"item","numeric-id":4517538,"id":"Q4517538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$751A2199-2105-4C26-B489-F1BA6A7659E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7011ed3e53a9e1a76d7730c24e2a86aeb8c5d78e","datavalue":{"value":{"entity-type":"item","numeric-id":3224016,"id":"Q3224016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$0AA516F1-069F-49AB-B5FE-2022D613934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e841a2718df2f0c15920defa773b7a7538ca33","datavalue":{"value":{"entity-type":"item","numeric-id":5668937,"id":"Q5668937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$4BC38055-70D9-4884-9624-674F111225A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d7d2170e8e763d343ccdf229748d33859b1bdc","datavalue":{"value":{"entity-type":"item","numeric-id":287269,"id":"Q287269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$81EC9036-F48F-4113-8176-1C87C789A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7169a2160c332118e700fa8f76ecb7694530c642","datavalue":{"value":{"entity-type":"item","numeric-id":1854432,"id":"Q1854432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$E321FC66-7096-4646-960F-40B0E8DED34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce137fd9e69654047ead8c42425c9f78fed05b6","datavalue":{"value":{"entity-type":"item","numeric-id":5195247,"id":"Q5195247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$D1CB0F07-F971-4842-A2B5-C80E1343FD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24d8411e3f09750c0ec28abedfcc6f357413b85","datavalue":{"value":{"entity-type":"item","numeric-id":5847989,"id":"Q5847989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$85F301B4-F421-4D01-BED7-6D0A0F71A43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decb6da78027601f00865e1eb518831b211ed560","datavalue":{"value":{"entity-type":"item","numeric-id":5743906,"id":"Q5743906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333325$89E336FD-2FEE-4C9F-8014-8A4333B1151E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dd8ff89d0d2063e49372fbaf59b3ef8a39444f5","datavalue":{"value":"10.1007/S00165-016-0383-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333325$8398A3DD-A8A8-48C6-9566-7CFA7C08D5B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e05246b07b174c8fcb0d8a8a08ef10b9e83113","datavalue":{"value":{"entity-type":"item","numeric-id":6108811,"id":"Q6108811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7dd4131b929d510c1ec7de30ca0d08b0f98eec","datavalue":{"value":{"amount":"+0.8133823275566101","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":"Q333325$BC276D89-D79A-4A13-B832-4F0BE388B64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0594f4c979126902584456435d87ef9adbc73610","datavalue":{"value":{"entity-type":"item","numeric-id":2102950,"id":"Q2102950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec593a99ef7cda88c6eb374f7e10056d008dadd","datavalue":{"value":{"amount":"+0.8101270794868469","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":"Q333325$81FC78C9-1667-44E0-B599-4BA9D5BDC26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0309e7e688c4604b7e5d11f12c3d299d8b508a","datavalue":{"value":{"entity-type":"item","numeric-id":5371950,"id":"Q5371950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90095208faa3e2c6c3b86cffc59fbeaf2477f9b","datavalue":{"value":{"amount":"+0.7751537561416626","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":"Q333325$0D41BF85-82D1-4DD2-959B-90D39016B474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad83d404f8040da7343ff93885d0689691cc608","datavalue":{"value":{"entity-type":"item","numeric-id":3453644,"id":"Q3453644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae67b80e5c004b83d1679bf8af1946f999c0ab39","datavalue":{"value":{"amount":"+0.7701319456100464","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":"Q333325$B08150A2-12C1-4F54-BD60-D5DF4ABE0A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95abb6469afc8d880f03764fc22c99f814d78278","datavalue":{"value":{"entity-type":"item","numeric-id":1798967,"id":"Q1798967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8672807b9de977973b0f410e3dafcb300dd7f127","datavalue":{"value":{"amount":"+0.7518381476402283","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":"Q333325$F906699C-DB9F-4E8A-B301-03F3C8441B82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:333325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:333325"}}}}}