{"entities":{"Q263215":{"pageid":264982,"ns":120,"title":"Item:Q263215","lastrevid":60474837,"modified":"2026-04-10T17:14:13Z","type":"item","id":"Q263215","labels":{"en":{"language":"en","value":"S-lemma with equality and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6562699"}},"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":"Q263215$9C0DB64D-47B0-4B25-9CE2-971E59ED9306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63eddbe398562fa9e74efb004975c3935d15bb61","datavalue":{"value":{"text":"S-lemma with equality and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q263215$4E134F4E-7CCD-4913-B631-014FF407FD2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e2f8b32fd71d636aa6d4e382b9b692d4f889127","datavalue":{"value":"1333.90086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$EF36E2BC-4F3D-473D-999E-A405721C1F44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50b6c60299cf83e14c5093488dc841dbb91f6e3b","datavalue":{"value":{"entity-type":"item","numeric-id":236694,"id":"Q236694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$B487998C-E290-4E02-AA0B-B075AEAE6AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f3bb2263c62e7c8e83d901c45745bd4cc40adff","datavalue":{"value":{"entity-type":"item","numeric-id":263214,"id":"Q263214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$5860C913-4592-42E6-8627-64BE072D81BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"389112c82fa9c4b851bab2cdc9facdeb0eefc510","datavalue":{"value":{"entity-type":"item","numeric-id":249534,"id":"Q249534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$464E2CB0-CDCB-42DF-B9EE-A2EACD490FA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99da72655942e9c2c9c01874c026b7cceeb02de6","datavalue":{"value":{"entity-type":"item","numeric-id":163006,"id":"Q163006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$86DBEC1D-B203-49AA-A0C6-C9115D4A8495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d632be975d89d9bf6400f8a1a3033c5ac887a3f4","datavalue":{"value":{"time":"+2016-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q263215$C3CEBF0C-1AC7-4E34-80A3-BFF65C0AB1BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d00c28680b4151509f7f7369e3de1cb66ba1658a","datavalue":{"value":"https://arxiv.org/abs/1403.2816","type":"string"},"datatype":"url"},"type":"statement","id":"Q263215$296AD56B-B2DC-4A39-BB9E-FCD43D41DD15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4d4b880941bb65ec306ce9d3141ff7e82566f56","datavalue":{"value":"90C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$CD43F4B9-13AF-4DEA-941F-8015D30F8164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$28E22F00-980D-4982-A1A0-6B1B17313179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed10a41ec587cb61dc683f25ef4b3e827c7fee2f","datavalue":{"value":"90C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$7E0EE17E-59F8-44F1-A3C5-26F9AECC8E45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0ceac7e114f626b29945d69f2c91b51caa111eb","datavalue":{"value":"6562699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$BF54F63F-6A5E-40DB-846F-17BD6BB81775","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6e6c7eed5ba78b303cb91365fed59e8764892bc","datavalue":{"value":"S-lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q263215$3B8DC44B-30E6-4A7D-97CD-42388A46659D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326ffa5e967aa306f0e3a996345236ab415e2090","datavalue":{"value":"Slater condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q263215$73C77A9F-8C94-4A51-B3D5-628AF21B8BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751fe934c8027235cf247b22838efa4c2a51f3a2","datavalue":{"value":"quadratically constrained quadratic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q263215$F2E29602-A83F-424D-BA6A-5C97B772727C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c3cdba7d5f5c8a642848407197fc5f23d069021","datavalue":{"value":"generalized trust region subproblem","type":"string"},"datatype":"string"},"type":"statement","id":"Q263215$960D0D75-095B-4357-B2CF-CEFB609445AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b563af8a452eef0cef9a9431594b2460aa11e858","datavalue":{"value":"joint numerical range","type":"string"},"datatype":"string"},"type":"statement","id":"Q263215$9D915BB8-F382-4D6C-975D-8D76D669982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906d25a7febe2de7ab13696aac4479bdaa2de1ba","datavalue":{"value":"hidden convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q263215$78E61D3A-41DC-447F-9EB5-9C0ACF0BCE5E","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":"Q263215$4F4E14BA-2ADD-443D-8BCC-CB82EAC3D71F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9432aa799726fd7beaa30447ed81147ebb7c5305","datavalue":{"value":"W2014431362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$7EAABE9F-8EED-445C-B8D5-8D8ABD44A0FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c5902c76f209707b422458aa6a19ac641e9b292c","datavalue":{"value":"Q124799353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$F1BE84EB-3CC6-4870-A99D-E67CDAB5B7D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4593a35281173b65f0eda6716617151850d2c63","datavalue":{"value":{"entity-type":"item","numeric-id":2706326,"id":"Q2706326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$B9E5AFD5-9710-4F64-8167-A37A01A4862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b4925bb499d61e6a0eb5a042ed57905b88f18b","datavalue":{"value":{"entity-type":"item","numeric-id":946350,"id":"Q946350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$62F3816C-8107-4274-99A8-7418CFD41D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01fe82f7860fb88f26396be622e7f1964c35c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5757352,"id":"Q5757352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$77FD2046-AD53-4050-81B3-26C6827A3B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27a9848efc6bbdfefb034aad706b89b73b108fa","datavalue":{"value":{"entity-type":"item","numeric-id":2436648,"id":"Q2436648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$DD80B97D-29E6-4433-9215-2933ADCF12F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470c3f6dcef44d0df95d200f18e5ce1ae4fa6f12","datavalue":{"value":{"entity-type":"item","numeric-id":1919813,"id":"Q1919813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$4561FD00-891B-4F56-BD1D-87C7079A9597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94bd0a2ac09f6f0ac176ec9db45087ff9cad4c2c","datavalue":{"value":{"entity-type":"item","numeric-id":3288123,"id":"Q3288123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$885385BC-3293-4B52-B7E3-D6B0CDB31C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6f92bc2cdccc71304b5c6320b7f8d5b5cd5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":857821,"id":"Q857821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$39B87B8D-D5C2-46BB-8850-55336DA3A078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062f703312e6c21a35a8dba8a934f5e262d22613","datavalue":{"value":{"entity-type":"item","numeric-id":5782208,"id":"Q5782208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$CC5BAE03-8A04-464C-9C45-F69CCD85F5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ecc2e99427c439f318b868e15ae56c173b1f96","datavalue":{"value":{"entity-type":"item","numeric-id":693140,"id":"Q693140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$3BF17693-407F-40CF-9D13-BCC70F7493BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6519a10b4417e010258d6d8ab55bad189e983dac","datavalue":{"value":{"entity-type":"item","numeric-id":2645590,"id":"Q2645590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$6F9CBE5D-A43C-4371-B919-F5A7033BDAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4031087cf69920c372585d8daffdcc036e828810","datavalue":{"value":{"entity-type":"item","numeric-id":5675212,"id":"Q5675212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$B6394C08-20B8-4DF0-B886-B5467BA0FC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e30e134af739b874776d97728132b382b31df6d","datavalue":{"value":{"entity-type":"item","numeric-id":4093215,"id":"Q4093215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$EA0B8254-426B-4C35-B0C7-16747FEA4297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1f9074cc3a7f9b88330919132b7e1c899d4ace","datavalue":{"value":{"entity-type":"item","numeric-id":5757476,"id":"Q5757476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$6AE90F0E-38F7-45FE-A22C-394336BA2B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3f076d6c347421c94147e0bddcaa6a59d55251","datavalue":{"value":{"entity-type":"item","numeric-id":3697157,"id":"Q3697157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$7B71AB81-3A17-4C24-9610-5D0A444FEA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acfa7793fcb7fdc47a48294fec0286885f37bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2928411,"id":"Q2928411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$9A242EEE-B709-4CBF-9266-462C3A4D7CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd32dc1fd8756beddba70f275c1c37132df4305","datavalue":{"value":{"entity-type":"item","numeric-id":4255793,"id":"Q4255793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$9B6DF845-E7DE-4B5A-960D-E285A0B1BEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c3a9f0be7b7ebf8c34f89d8fb5692592829298","datavalue":{"value":{"entity-type":"item","numeric-id":374638,"id":"Q374638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$2E086915-2EBB-45A2-A3AE-2B1CCE0502DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1484fe3bc6ae96edf7d05ba4578a5b05603191c3","datavalue":{"value":{"entity-type":"item","numeric-id":3563918,"id":"Q3563918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$2A1B8228-491D-416C-B88B-073D7F51C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e15f11fbd1d02d7fad4a7c8224c423de27cfd7","datavalue":{"value":{"entity-type":"item","numeric-id":463723,"id":"Q463723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$A93A5702-7E14-481C-AEEF-AC50E48FBE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3564597eabfe8a74f924164b834f702cdc4f0d73","datavalue":{"value":{"entity-type":"item","numeric-id":5313731,"id":"Q5313731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$07FB9503-C45F-479C-BF3E-89F5C19BD15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d905557efc59f6c71137d02b6a1a9823f308f8","datavalue":{"value":{"entity-type":"item","numeric-id":2829557,"id":"Q2829557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$8B08E2DB-420E-41B8-8690-4B4D6E885680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7599dc9e7d2daf20a3b032d30c452d11e2a39781","datavalue":{"value":{"entity-type":"item","numeric-id":1041439,"id":"Q1041439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$4C961099-9FD6-49F6-80E7-A32FFEFA16EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9a4a192af8676371060311a402559ab4f5d045","datavalue":{"value":{"entity-type":"item","numeric-id":1969525,"id":"Q1969525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$DB1DBAF1-F765-42A6-9B82-8B886F108AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e54e0cd296ef0f077c4a55c7b3a2b2c8f7a4598","datavalue":{"value":{"entity-type":"item","numeric-id":457202,"id":"Q457202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$56C47FBA-47F6-4CDA-A956-BA225C566AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46af83f6dae7ec6c25e367edf36fc224d555809e","datavalue":{"value":{"entity-type":"item","numeric-id":3802887,"id":"Q3802887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$43E74756-2788-4E69-94F0-4AE9872ACB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca81ffc0a0fc2b8dd84f7a26555d7ff6bc7fb2eb","datavalue":{"value":{"entity-type":"item","numeric-id":4838957,"id":"Q4838957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$215D09FE-03BB-4164-8532-4A9DF16ED197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37269b1b57d2903b2a6788629d5f7af68a0dc0f","datavalue":{"value":{"entity-type":"item","numeric-id":5704124,"id":"Q5704124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$9B5188E4-2397-4E19-AED7-7D1346C09C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bce47866f04082b52c2f4c6ed05c8fbd521c07","datavalue":{"value":{"entity-type":"item","numeric-id":2392110,"id":"Q2392110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$90111402-42E0-45D9-91B4-EFC5C28DBE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd226ae5fb7401fb918d479b991becbff64bacb1","datavalue":{"value":{"entity-type":"item","numeric-id":497446,"id":"Q497446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$EB2FD1CE-E1F8-405A-9126-340AEF3AE4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83ba34d0bc678bdee022d3831c17fdb95eb2aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5641059,"id":"Q5641059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$F1D6999C-1EB8-4777-A63C-60BBA056AD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d4ecf90720bf2b686de006ec46563f317e2db3","datavalue":{"value":{"entity-type":"item","numeric-id":4441956,"id":"Q4441956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q263215$FE5F511F-4FBC-4956-9BCE-AABB8674B106","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88f4930e281dc6fa08b986632424d08144ed2243","datavalue":{"value":"10.1007/S10107-015-0907-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q263215$0DD9BABB-B525-476E-883C-1598916B8907","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e33471e45f60d33a9d310c4bbf92c9059e65fb","datavalue":{"value":{"entity-type":"item","numeric-id":374638,"id":"Q374638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e9d80846ab7b606db3f9e876fa6554e5a19ec3","datavalue":{"value":{"amount":"+0.80778568983078","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":"Q263215$3B0391E9-8EB0-4A6F-A690-DF01A79B25AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0d1409a7a7373748bb4b74dcd362f1012b9bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5757476,"id":"Q5757476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d101548f5918acd07697944d209e2b694f82ef","datavalue":{"value":{"amount":"+0.8022629022598267","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":"Q263215$C10DF2A0-98A1-48E4-B186-AD6F8626D0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a150082ec7d332a8963a38a0db7e0e2de33b773e","datavalue":{"value":{"entity-type":"item","numeric-id":3179447,"id":"Q3179447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5a8d420cbb1a8d8feba8a1a48a8eb5f3771cfb","datavalue":{"value":{"amount":"+0.7743595838546753","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":"Q263215$CDE40193-79B6-4C40-96ED-744A6A4AD514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21e406755f1f0094a48b1605af451f5e0be58b1","datavalue":{"value":{"entity-type":"item","numeric-id":2392110,"id":"Q2392110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e981948cbce895b2162aac113a8615c6cc696507","datavalue":{"value":{"amount":"+0.7647519111633301","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":"Q263215$9177537E-EC63-4AD0-9974-6AC3D4718881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58589f5b7e27d7b5ede4c7062771ff96d467ac7e","datavalue":{"value":{"entity-type":"item","numeric-id":2671452,"id":"Q2671452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b587a73ec68a962f62604f531092954623f16d6f","datavalue":{"value":{"amount":"+0.7504358291625977","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":"Q263215$F048E297-6376-475B-9484-7A4AE7AAEF6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"S-lemma with equality and its applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/S-lemma_with_equality_and_its_applications"}}}}}