{"entities":{"Q5195260":{"pageid":7224832,"ns":120,"title":"Item:Q5195260","lastrevid":92113313,"modified":"2026-06-05T00:54:05Z","type":"item","id":"Q5195260","labels":{"en":{"language":"en","value":"Formal Proofs for Nonlinear Optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106496"}},"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":"Q5195260$61F36947-9D82-4373-86D4-C046D74F46F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35e3626bbc40785b49e3d4c78a5504f54ddc0e14","datavalue":{"value":"1451.90131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195260$CCD06BC7-CC7E-44D4-9B89-0CA028D9DE34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b62b6c8397a0700877c5276503954cd22b360c76","datavalue":{"value":{"entity-type":"item","numeric-id":1733313,"id":"Q1733313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$B8A4A117-4B50-479C-B90B-82E8A0815BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e933ea87aef097da70304e73218e0ff9af4a74","datavalue":{"value":{"entity-type":"item","numeric-id":517788,"id":"Q517788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$69A70D13-60D6-4318-BCC2-2E843EE42274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e298a50abdd4dae72108aced252284ab65651b78","datavalue":{"value":{"entity-type":"item","numeric-id":255785,"id":"Q255785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$487FEA22-C445-499B-97A8-E1FE4CBC6557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$5CB7F0C6-B601-4B61-820E-07A9EE8C8E71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195260$A4106941-E0DB-4FB1-AD51-83DB80587AA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c131c0e7458b098c5ca9ead7a74df291ff8153ce","datavalue":{"value":"https://arxiv.org/abs/1404.7282","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195260$C2D7891C-CADC-4019-89A2-E6DBFC9B4BCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed10a41ec587cb61dc683f25ef4b3e827c7fee2f","datavalue":{"value":"90C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195260$018AD68C-5F94-43B3-A9C3-BFE59B850720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195260$04E08E35-CBFE-40F4-9107-CF4DCBA8DB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195260$ABBEF2DB-F459-474E-9821-63EB95E43900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195260$C248E063-22FF-4EEE-A397-85EA00809B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0be8255f575162b1b4b19bfa12402ae404ee8f56","datavalue":{"value":"7106496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195260$A68CBB2E-482B-40F1-8E4E-A5AEFBC8CCD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3631f0153fbd1c80c17d2ae2d9ab4753ecc0674c","datavalue":{"value":"polynomial optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$CE9A4C2A-1F19-4CDC-A780-C72520A1B0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424429e181455cb0f396912878f6d4958164436c","datavalue":{"value":"hybrid symbolic-numeric certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$0636C8B8-6FDE-4DE2-A770-A0C53FEA9EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$2A9E9C82-37AD-45D8-9252-3E0CE81689E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819f137f9ec626acba1c8947981be8a93c7821b2","datavalue":{"value":"transcendental functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$BD768698-642A-4A4B-A89A-A2A7D5B09C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e47a49f3cd576f1f669657d22c068dd41fe07b4","datavalue":{"value":"semialgebraic relaxations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$BFCB5CCE-7CC1-4748-B9C5-432E5F18B0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35fb759f067af252e169b4138a179fd61f0bf92c","datavalue":{"value":"Flyspeck project","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$69FD56F2-87E2-467E-BEE5-C8A90DABE195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c805ae2bb98f75e9a6539502cb085a3c37e75e00","datavalue":{"value":"maxplus approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$9360426E-3803-4C7D-96AE-1E3ABBF8CB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a3d39b70c1c342a1f4ec4339b979e0ce9529e6","datavalue":{"value":"templates method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$9BA6B95A-C4FC-4563-8ADB-A1C11CE76BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195260$82CD0041-60F8-474E-A257-2D00782CC09E","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":"Q5195260$19BD821D-7705-4D96-AFD3-09365DC8CDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$C538450E-5F4E-4240-ACA5-7E0EA3F90BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$4355CE5E-78AD-4CC1-B31E-16EDC1B820B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$8E1B14E8-6BC1-44BD-AA43-63930A7063A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$CBA37981-AD71-4117-92D4-ADCCC735375D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"158da24afbe213591d0e6fd66f4753b6faff89b9","datavalue":{"value":{"entity-type":"item","numeric-id":15807,"id":"Q15807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$68328F6C-1B51-4DC8-A8E9-9D2BB409F35F","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":"Q5195260$9EBBC6B8-84E2-4F0F-977B-3E46852322FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d6ccbf49fe8966da95d6a0531a3ae948ee3487","datavalue":{"value":{"entity-type":"item","numeric-id":5702469,"id":"Q5702469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$BF7BCE30-60EF-4CE2-9999-4CBF1320A444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265ba84551ec97fab80db2bc24678daf405e1630","datavalue":{"value":{"entity-type":"item","numeric-id":3062292,"id":"Q3062292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$E2A7151A-931C-4484-AC41-62B802292F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac05836b8cb5cc6b5c934f6f1394cea160b5c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3617234,"id":"Q3617234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$E7A6B441-A3A6-454F-8AB5-D674BAC56669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115c97eca8200f41984712493787544532b5a65f","datavalue":{"value":{"entity-type":"item","numeric-id":2349133,"id":"Q2349133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$A256CB20-4D16-4E41-AE28-AF74C10A34FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603d06f4cb801233b08f82a081b0bddd3c2e6cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2843005,"id":"Q2843005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$ADEF5980-7E9B-4965-A27D-67515C67DB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f788536331bb87ba4e75963340b885a6c5e47c5c","datavalue":{"value":{"entity-type":"item","numeric-id":5747643,"id":"Q5747643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$4D92E217-472F-42DF-A7B2-D054B5820021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48376bd2f803016e13b34e64cd3ed315acab6c23","datavalue":{"value":{"entity-type":"item","numeric-id":2765682,"id":"Q2765682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$A030306C-38B2-464E-A735-C6FD915A9B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663fad838fd9e559c515110f1700dfe4d2110526","datavalue":{"value":{"entity-type":"item","numeric-id":813367,"id":"Q813367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$43211152-7CE0-4E89-ABAE-4A3D242A19C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$E145FD89-426D-4881-ABBC-E412DE21E454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e8225b7fde56abf09e51400675a474f11c4844","datavalue":{"value":{"entity-type":"item","numeric-id":3612435,"id":"Q3612435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$7A1D3A3B-A3D5-4B32-AC3E-6D5BFEFD7BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce4f5ae886a6add198cde1454a758dfcc3c40fe","datavalue":{"value":{"entity-type":"item","numeric-id":3932277,"id":"Q3932277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$7582FB8E-7C13-4C3A-852E-7E2B519389CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f69aa78d91c4421b800f99cb382feb266d80c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4647567,"id":"Q4647567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$FC84A6E3-3D08-4A17-833D-0620EFCCFB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cd67e0c6b1bc6926bb5f0a05aca53c134180f2","datavalue":{"value":{"entity-type":"item","numeric-id":5459902,"id":"Q5459902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$8E29B1D4-F931-4AFA-AEFF-9020E55C4EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1307c05fc1edf4edb7a668e6741be81b819740","datavalue":{"value":{"entity-type":"item","numeric-id":4943741,"id":"Q4943741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$9B450500-0424-47D7-883D-CE4EBC392300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9811e0f445518a60fcf8a88a2ec5cd76d23ab843","datavalue":{"value":{"entity-type":"item","numeric-id":5477649,"id":"Q5477649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$18042A2A-B96F-461D-A960-1CA9454A3477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7e8c4124a1618e47d0e2eaf302ef450b015f23","datavalue":{"value":{"entity-type":"item","numeric-id":5492816,"id":"Q5492816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$62568094-77CE-40B0-96D4-833EECA3E476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b60af560299434d338163186e994b76066941a","datavalue":{"value":{"entity-type":"item","numeric-id":3336664,"id":"Q3336664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$6B55F264-DC78-4FED-A856-902A8ED615A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fac8018d67440c6289d41ba6a99a91f9d3e2025","datavalue":{"value":{"entity-type":"item","numeric-id":2494223,"id":"Q2494223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$02F45F3D-4EF7-4781-8439-58A0BDCE01A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703da08f55856e2a8cf58531f047599d65d8971c","datavalue":{"value":{"entity-type":"item","numeric-id":5692712,"id":"Q5692712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$215B8ACE-6C94-497C-A8EA-D705E5327407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bfdf34b3157300b87d8e1cf8ad7be92ab92d2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3003643,"id":"Q3003643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$C778AB2C-2C05-47AA-AF96-0150A9C5A5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef8c489e73d5408e2b4bce7020f85e831d77566","datavalue":{"value":{"entity-type":"item","numeric-id":4976923,"id":"Q4976923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$429A8155-F4D2-4452-AEC8-C51B3E8B87E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6900a050f9594a892e88cb820844230d7cdb1e","datavalue":{"value":{"entity-type":"item","numeric-id":5916374,"id":"Q5916374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$CA3B8611-0BD8-4F20-9C58-EF855AA7A49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ddbe517ba4c4b41a4305afa730714f724b3c93","datavalue":{"value":{"entity-type":"item","numeric-id":3396396,"id":"Q3396396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$DE3C5CEA-0BB0-4480-A23D-5B8DCA7B3A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b97711dfed9907ea08f4c2eb21326b8a2c1ff93","datavalue":{"value":{"entity-type":"item","numeric-id":468786,"id":"Q468786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$E86BCC82-DD94-435A-8EE5-D5C0E57F7B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ca987cd31fcda273faf7f829a209009518eeda","datavalue":{"value":{"entity-type":"item","numeric-id":2706355,"id":"Q2706355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$5E4D4EA4-A123-4899-B540-66429412B633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f910df0d7ee02ca0023311741781c4ca4cb70a39","datavalue":{"value":{"entity-type":"item","numeric-id":3083335,"id":"Q3083335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$986E195B-5420-49E9-B265-E571AF1FC092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a919b2ffba22f7f2f5c5d93625bcbdf1495d7b","datavalue":{"value":{"entity-type":"item","numeric-id":3088010,"id":"Q3088010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$EE68A468-8F01-4E02-A1CE-5E80AD7C314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1c085443e3cdf82cf0abd0e223849b88c95835","datavalue":{"value":{"entity-type":"item","numeric-id":2875985,"id":"Q2875985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$E66172BA-EF0D-4293-8EB5-9CC58778C6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ef8738eccd7b653460e41e83660d0f8b8c95df","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$3542D18F-27B2-48AB-BF1B-5435DB9DE48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b2b37563af0b970988c60910756c0eb3d45164","datavalue":{"value":{"entity-type":"item","numeric-id":819904,"id":"Q819904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$DA4A0009-6D48-4900-BF02-925983A7B519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509a43eb44a5715da8f270c1c80bdc0c926c6f04","datavalue":{"value":{"entity-type":"item","numeric-id":714617,"id":"Q714617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$CE29B630-9770-4E4E-95ED-DB6DAB62AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$F197C946-A6B4-4740-B0CD-A05F6A83CF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405a094c9fbc7dc1aca724a14249f98528b6d1ee","datavalue":{"value":{"entity-type":"item","numeric-id":4821322,"id":"Q4821322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$D2F266DF-1834-4D9B-AF5F-ADA0AAF83FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37cbcbbb5fe4a0915632f864febd50553a54596","datavalue":{"value":{"entity-type":"item","numeric-id":457137,"id":"Q457137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$2AC420B3-6E04-4E55-91DD-70CFAED6F144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201412213ac4359e61e80e45d39be29182bafcb8","datavalue":{"value":{"entity-type":"item","numeric-id":2378506,"id":"Q2378506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$8995F9CF-ABF3-4F62-BB90-E30629DC0524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a935eee3bf58ccd898805ad8733a27537e6981","datavalue":{"value":{"entity-type":"item","numeric-id":4285035,"id":"Q4285035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$782F2CCC-BE69-4796-B7E4-8A9EE14F449F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84594143b35b8395f489124cef8c0198d6f4c32","datavalue":{"value":{"entity-type":"item","numeric-id":5317523,"id":"Q5317523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$DDA9F071-0CFC-4A66-B6D2-BD41F396213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e427a3de4ce120fbfba5e22bc0ea204ebacee10a","datavalue":{"value":{"entity-type":"item","numeric-id":2557742,"id":"Q2557742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$BB526B87-AD32-4AE9-BDDF-0B36455607E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe81ab8a0e210c6b8ef5cc1305f4bc063a423cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5470252,"id":"Q5470252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$4D55FF12-E187-4246-BC23-1C56319A7A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02edf3d090fd920360765a517f97bb5b5f600af","datavalue":{"value":{"entity-type":"item","numeric-id":2802543,"id":"Q2802543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$49E2C448-5D0A-44E1-AD56-2785BB503FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814f9a91e860438633571dd8f363388831085af5","datavalue":{"value":{"entity-type":"item","numeric-id":3613424,"id":"Q3613424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195260$98E01197-8011-4E9B-8C3E-3E7973B1D29B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cddb4c8e36b4ac0708018d00d1cc39d441f4c1b4","datavalue":{"value":"10.6092/ISSN.1972-5787/4319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195260$66A11B1A-EBA5-4A22-8514-9A9F16588F80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0c07662a6b089ef44f8f6e6f85335389e35801","datavalue":{"value":{"entity-type":"item","numeric-id":2879141,"id":"Q2879141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dac8e598ca8f8d0f25dcf6621fe1d53bba9b1f8","datavalue":{"value":{"amount":"+0.88765216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$5A91A535-BEC7-4B8E-B9D0-849AFC688DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db85fe8dea357b86f7fd48f9de9ea4901e373974","datavalue":{"value":{"entity-type":"item","numeric-id":5122020,"id":"Q5122020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61715f7897633b173d1695d4eca106629747ab50","datavalue":{"value":{"amount":"+0.874476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$2E7FA2F3-80A3-461F-9294-F8D2B5D9AE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6840980edfc1ce07407a60811bb14db44f32e6","datavalue":{"value":{"entity-type":"item","numeric-id":3320119,"id":"Q3320119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d34e8e697c9fd7b2d442d19f47ee72b9f379438","datavalue":{"value":{"amount":"+0.86884135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$38AFF1A2-5497-40AD-B4A9-62AD8AECD7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f12d955c0bfcd52f587ccf84cf2c54e6f6fa82","datavalue":{"value":{"entity-type":"item","numeric-id":3585623,"id":"Q3585623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5949443dad87bb55c8ca6e278fd78cf53891ce88","datavalue":{"value":{"amount":"+0.86806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$64380EA4-3BFA-430C-9E81-9C856706D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e89f70ae50eac2f91f8b56a341a5a68f4efae8","datavalue":{"value":{"entity-type":"item","numeric-id":3760302,"id":"Q3760302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdc0281e6fb02e3b25e9d02a33ec2986ae9ff84","datavalue":{"value":{"amount":"+0.8650205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$9710512B-5802-491C-89CB-8028A17385FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bff86dbc0c41882355ba8e5eead9963f22a95b8","datavalue":{"value":{"entity-type":"item","numeric-id":5200112,"id":"Q5200112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012de2c8ddaa0c50530b7a49acd3b37d7b8aa448","datavalue":{"value":{"amount":"+0.86387086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$10620C1F-B771-4D1F-894B-03F05976CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de8cdfff7b896292851bedc0bd9634b6dd10cd8","datavalue":{"value":{"entity-type":"item","numeric-id":3787802,"id":"Q3787802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5f46ebaa70326d254840dbbc05e73b2aa5bf2b","datavalue":{"value":{"amount":"+0.8611406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$880D3DF3-0D0F-4FCC-B4DA-C492B82C4A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4adb6715756966792e70d069f0a51e3a3a0ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":2500511,"id":"Q2500511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b17187553653f9db6aedc0044a53fe11ab80ba","datavalue":{"value":{"amount":"+0.8608638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$BA724CCC-A96D-4DFC-B5C0-A9B29320EA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d556c45247620500ddf64477701e2a84f5fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":4534923,"id":"Q4534923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84cfdf8f0fecac179c8d704d66f6f124a410da7","datavalue":{"value":{"amount":"+0.86082685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$7238CC11-F528-4A96-B2B3-51F5B995B228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b533de2117133d09341946c3689dbc92630cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4315897,"id":"Q4315897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d557f4bbb03ec1dfebd81e6e04f8c7d6959fc2e","datavalue":{"value":{"amount":"+0.86066556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5195260$EC47264B-1D68-415D-BCF6-81077EB52AC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Proofs for Nonlinear Optimization","badges":[]}}}}}