{"entities":{"Q928666":{"pageid":930514,"ns":120,"title":"Item:Q928666","lastrevid":65442825,"modified":"2026-04-12T02:38:00Z","type":"item","id":"Q928666","labels":{"en":{"language":"en","value":"A mechanized proof of the basic perturbation lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5287721"}},"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":"Q928666$0F3F5B0A-A440-4E8E-B5D1-F302FF766DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d53c9853f862281a36dbb735b00d739022fdf4d0","datavalue":{"value":{"text":"A mechanized proof of the basic perturbation lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q928666$5A23DC97-54DD-4A2E-AEAF-89A0EB6CC749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3336f833c83829724156431805552b8af9f1478e","datavalue":{"value":"1140.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$8AA7F73D-CDFB-4257-85A5-6EA5F3D7954F","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":"Q928666$5FB8CC9D-F923-4559-932F-540420FD2BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f597a37daf8add8e5ca5ed6483cea4cb6a2d651","datavalue":{"value":{"entity-type":"item","numeric-id":928665,"id":"Q928665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$4A150563-DA67-4816-870C-2F7049D8B4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$ADEA4CC9-4730-4A35-97A5-F7C02F10DACD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$1B763B81-6F1C-447B-BD3B-ACB9D56003DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f1c0b93a352a714c61ccd46766a52600d36f8c2","datavalue":{"value":{"time":"+2008-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q928666$7B22C43B-F011-41E5-9C01-A297660B00FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$E313ED81-A3B7-41A4-8ED2-5F6AD47C45B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$61171F32-D346-4546-85EF-C7F90610866C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ee5ec82f1fe602a2f3e0151779f8d6f2f03f31c","datavalue":{"value":"20K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$02AE97CB-366E-44C7-9079-BC9322BD3C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdc47f8733af397fbd517ed3935d8f9ac632016c","datavalue":{"value":"5287721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$95FDBCEB-044F-4C1D-9FE2-5A28B6FE71CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c778c9540c93cb8a1d5bca547eb844257370b40","datavalue":{"value":"Homological algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q928666$2E6824CC-6E93-43AF-A008-D4A9AA36FEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q928666$3DE81CAE-7044-4CE9-AD74-43107034E328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7b237c54a73e15c118d502fde3c5f0ee78ddd3","datavalue":{"value":"Basic perturbation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q928666$79A78951-C1E9-4FF5-8792-EC3570562DB7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"910b4a548206cb25786277c8be9019c1e229890b","datavalue":{"value":"Q57721926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$F10A1E73-0BA0-481C-BD0D-48F3478C3AED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$349BA943-31EC-483D-944A-E3F880840B5B","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":"Q928666$EFED1096-A1FA-4468-8BB6-39B26B992143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$0E095D78-98CF-465B-A54B-53E155C28F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$8098E5CD-5921-4334-8563-55C81BE3F2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$E1956A27-F370-462A-AD71-F7EEA724794E","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":"Q928666$77C7F326-10E8-4445-89DD-C7C55A0304CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be9dbdf7e92e6680340baf35d037a75c6eb8835d","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9094-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q928666$1CA84D07-DF79-4A89-9D7E-E4DF54763022","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86659bac681ff8641e9c89b6a1aadd4d73cee83b","datavalue":{"value":"W2027737519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$B251CD79-B9C8-45AE-AA6B-152C99C6CD02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$BE7C51D5-D3E1-44A5-A6B9-FC26591A9F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$00C2D8D4-A15C-49A3-A2E7-DF4C15F656F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cc1f06de18a93c47eccb2cb8be7a9a1d8a9fa4","datavalue":{"value":{"entity-type":"item","numeric-id":3981105,"id":"Q3981105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$05795283-6D76-4CC2-A729-A8E1577AA800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ae1bad2fa7d150795b80eddc204103d5933133","datavalue":{"value":{"entity-type":"item","numeric-id":2766799,"id":"Q2766799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$042E93A4-BC32-4395-8E09-B90F4E8CA5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b3cd59cb558f44d816b8e669a26d4f97ad2145","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$59066C2D-2054-477B-BF10-8516019C40FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$6A82AD21-7C2F-492D-AC89-7891A990B7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912c1808780e1f23fdedd5cbad5ee1e59882b589","datavalue":{"value":{"entity-type":"item","numeric-id":3422024,"id":"Q3422024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$2C02C8C7-AD27-4F97-ADC5-649E6BA78C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9767b4f993764f1a6ae8e85667cc0e126d88ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":5428258,"id":"Q5428258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$7B465305-02EF-49E0-8431-EDC52AAC2446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169459d51b70a450c3a167b969e4dfcf02fbd0ad","datavalue":{"value":{"entity-type":"item","numeric-id":2553111,"id":"Q2553111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$422888C2-3059-4068-809F-5B00D8CAA672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be108ba75942db0211b83c15e56cd41d79808c7","datavalue":{"value":{"entity-type":"item","numeric-id":4693118,"id":"Q4693118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$08213AA2-80B5-4556-BF5A-BA594A439033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f9d20828abe33dd544faea2d39ec57ebe7fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$7ECF9AD6-FDFA-4B94-B534-7A9044FFD7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b464ba66ae63100d3f166e16bfce8c3580469e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1961914,"id":"Q1961914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$46F1A150-A055-4EA4-B81E-FD9963189A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e9ca99158b137ce9c7b84ca93b0896482c90e0","datavalue":{"value":{"entity-type":"item","numeric-id":5633979,"id":"Q5633979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$C725BA38-A6C2-46DE-818C-F7E3317F5ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$CA1D541F-B9C5-49DC-AACA-246AFA4EA85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$7BAC2D59-590C-46B3-859F-BD94DF741175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$3EC163E2-5A58-477F-B3D3-DC22BFF8C313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c471a513808be76e5b6314f83efd61fea1ec45","datavalue":{"value":{"entity-type":"item","numeric-id":3972529,"id":"Q3972529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$4F5BBA15-F21A-4420-BC9D-ED58032F41B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a357a3b561ccdc8d7429c7e14c4c790e76d26e0","datavalue":{"value":{"entity-type":"item","numeric-id":1612751,"id":"Q1612751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$D2850170-8FB5-4031-98B8-6BD30F142000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$6B06F14C-09B4-4B7A-835A-326540FA0263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928666$5DD36229-7FA7-405E-BE91-C577638425FA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"64e362c5f25fae9fb02912ba113d60633d9da256","datavalue":{"value":"journals/jar/AransayBR08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$4AF1F6C1-2385-4B77-85D8-E228891FD1AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0c60bf56bf1792e0eeec1f9084adc997cab3dc1","datavalue":{"value":"10.1007/S10817-007-9094-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928666$E4043D05-6A78-450C-86BA-580DE2DAC511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b5c10aecbc23239b07ebf0751388b346b86d58","datavalue":{"value":{"entity-type":"item","numeric-id":1293941,"id":"Q1293941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e4faae94f65579e37459e08b0726fa743470f8","datavalue":{"value":{"amount":"+0.8510714","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":"Q928666$26150DAA-6A98-490C-BF77-6CE08C9EC3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e5f78f8cad2eee33235f2a3744ef9a72a63ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4722257,"id":"Q4722257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497848c59f17c8cdcea4963f47bfc1d96d3deeda","datavalue":{"value":{"amount":"+0.8468872","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":"Q928666$54E403C6-F208-49DA-8DFB-2B08CC338256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1eb1f4ee4e932a450e53518ddbd2efd3d2c1ce1","datavalue":{"value":{"entity-type":"item","numeric-id":4706856,"id":"Q4706856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ccb13a5daaef93e3ae120229285370150cbb45","datavalue":{"value":{"amount":"+0.8465042","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":"Q928666$2B353F3C-9273-4643-B48D-5D7ED8C0D093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc31a647223623e3be5c7b698ba1982ea23a1e0","datavalue":{"value":{"entity-type":"item","numeric-id":4293684,"id":"Q4293684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2797043a657e0062096e03ddc1dcb1ef5608cb39","datavalue":{"value":{"amount":"+0.846467","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":"Q928666$A4A75963-6828-46E1-B33B-74991095D069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218c5fca6a9c2f763d40f024278be3a33a7955a8","datavalue":{"value":{"entity-type":"item","numeric-id":3767807,"id":"Q3767807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a48aeecd51b6e2fd2b5f86bf8d993faed7ac6a","datavalue":{"value":{"amount":"+0.8441609","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":"Q928666$35F110AA-4818-4134-81EC-B641A55CEB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d1b945b6e3127326cb8694ba540d561090f101","datavalue":{"value":{"entity-type":"item","numeric-id":2971101,"id":"Q2971101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49446fbbea427f229ef54b8bdf16ddc3a9fe999","datavalue":{"value":{"amount":"+0.8439231","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":"Q928666$C532AB41-F66B-46C6-92B6-F435D403E5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd32d013c7d6e95284647f8c27344fd1529d2933","datavalue":{"value":{"entity-type":"item","numeric-id":4893893,"id":"Q4893893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a6f95c2d81fc2d15f5c27813236ef225b7ef16","datavalue":{"value":{"amount":"+0.84362006","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":"Q928666$3078E113-A5A4-40E2-99B7-2F2B9E4CFFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7fa18c92d6891df04939a7dd175ff1c8ab953c","datavalue":{"value":{"entity-type":"item","numeric-id":3803679,"id":"Q3803679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71ccc298955f76a94708992b61c3b25b9dd4777","datavalue":{"value":{"amount":"+0.8433064","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":"Q928666$052B9304-B201-4E3A-A7B7-4154A578A389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4645b7eb482008a33107d0ff407905c10e9ea6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5464665,"id":"Q5464665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b901509bd0ff57b5d801935701c9f5072c807c9d","datavalue":{"value":{"amount":"+0.8422161","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":"Q928666$174F63DA-EF11-4700-A6D5-C72C733BC99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c9fa79d2d50010bcd740fb7317a6d09e4eb03a","datavalue":{"value":{"entity-type":"item","numeric-id":3249832,"id":"Q3249832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c6b46bdf2e7024a4c47f304d46f2a263521b35","datavalue":{"value":{"amount":"+0.8413439","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":"Q928666$DC76ED7F-C045-4BCB-9377-4C8F42A3A60C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanized proof of the basic perturbation lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanized_proof_of_the_basic_perturbation_lemma"}}}}}