{"entities":{"Q7345620":{"pageid":31442650,"ns":120,"title":"Item:Q7345620","lastrevid":105130834,"modified":"2026-09-18T01:21:32Z","type":"item","id":"Q7345620","labels":{"en":{"language":"en","value":"Verified Linear Programming through Tolerance-Aware Precision Boosting"}},"descriptions":{},"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":"Q7345620$9093B0F0-2DCA-4273-B1AE-4CE9A5900E97","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":"Q7345620$0878BA48-9A39-4CC2-9761-E976042B2BA0","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"34939438f48f16e701389151cec10481e800a470","datavalue":{"value":"2609.11721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7345620$C34CEA6D-121E-4776-B340-D73EB1A42075","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24d13033ac382878f6de58080a8ad07103ba6c3b","datavalue":{"value":"10.48550/arXiv.2609.11721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7345620$087A4B8C-F8B0-4FC8-89CF-31918B4D60A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db311c8d1758d3bf597fc6f96f0e8fe90d9d11b3","datavalue":{"value":{"text":"Verified Linear Programming through Tolerance-Aware Precision Boosting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7345620$503EFBE4-95E8-468E-830C-C673BDEAEF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f12b15f24b567fa17a1c2aa3c818327e23a8ec92","datavalue":{"value":{"time":"+2026-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7345620$9F6EED45-47B4-4586-98CE-7BC6D14821C1","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"5a067f3cc35200b51bab0398d603e2eb9779a610","datavalue":{"value":"math.OC","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$0BD1D0A1-BA67-4930-8FC1-F1E2591FB36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"ebcab1bde8ac3b28efaefc12ea8cc1068c9a8b14","datavalue":{"value":"math.NA","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$ABDB79A1-5710-438C-AA80-8860B67E3EA3","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3a50ecc17705046558fad1812cfefa081bef69d8","datavalue":{"value":"Ernesto Casablanca","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$A9A7FD11-18E1-4011-9727-9CA79AD14584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"d16183ae2996cd0ed1387b1813736a541d9a770b","datavalue":{"value":"Martin Sidaway","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$2E16C3CF-C288-4B4C-8C91-4CDD46B1F417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"1436b971a66adbd019ac7787a5cc30cd0ef8e604","datavalue":{"value":"Paolo Zuliani","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$099817AD-D230-47D9-8E94-D69D117BC7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"b44bfeff3e71e007cd7c9b97ca32bfdd1932d779","datavalue":{"value":"Sadegh Soudjani","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$2783BEB5-65FB-4260-8853-270374205D26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a2df4c9c185a830f3bb11dd84a837b0bb6e787b","datavalue":{"value":{"entity-type":"item","numeric-id":1031863,"id":"Q1031863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7345620$6CBF54CB-40A1-4063-B921-411CCB49EB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7a9759e1b34b547acdc6abd2881220f0b927","datavalue":{"value":{"entity-type":"item","numeric-id":2061249,"id":"Q2061249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7345620$A5510549-49F2-4B91-B956-E5F054FF2D11","rank":"normal"}],"P1963":[{"mainsnak":{"snaktype":"value","property":"P1963","hash":"f1d69b0a815f08fc10f98789d65730d2b5ea670b","datavalue":{"value":"We propose a tolerance-aware, precision-boosting simplex algorithm for verified linear programming with formal correctness guarantees and a novel delta-complete termination criterion, allowing users to control the trade-off between numerical stability, computational efficiency, and soundness via adjustable tolerances.","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1642":[{"snaktype":"value","property":"P1642","hash":"985dbb0e3957a205973fd95bd3fd79ca0980eb5b","datavalue":{"value":{"entity-type":"item","numeric-id":7269921,"id":"Q7269921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1642"],"id":"Q7345620$A46B6C4F-FE6F-4D65-B6C0-9219FD26A695","rank":"normal"}],"P1964":[{"mainsnak":{"snaktype":"value","property":"P1964","hash":"83e88dbc4b6fd03fad9f952f8ffce96b0dc1fd72","datavalue":{"value":"Verified Linear Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$29CAB146-6DA6-425E-B0A4-A7D9FBD28EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"74a4a65293502cecc2b92cd0f065721010f83d83","datavalue":{"value":"Tolerance-Aware Precision Boosting","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$A2CB0F19-32EF-45CF-B713-E0B6BC4815A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1964","hash":"257fa65d39b2f79b57dec46bb08acbfc89ff6af2","datavalue":{"value":"Linear Optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q7345620$BDD28BA7-1ED0-4A83-AE3A-BFB09670AC67","rank":"normal"}],"P1642":[{"mainsnak":{"snaktype":"value","property":"P1642","hash":"a54a2b64f7b8568892d0e11c5b15bda62f19839d","datavalue":{"value":{"entity-type":"item","numeric-id":7270033,"id":"Q7270033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$6FB0F9DF-84BD-486C-B548-7300D17EAB94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83ae8c6db31b717ecc50bdae02dbd4d0ce82bfa3","datavalue":{"value":"arXiv:2609.11721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7345620$E67E5ED3-C9FB-4939-88C2-DBA6FD8603FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"281c86a7bdfa3f50378b622cb3ba5f03b54c2790","datavalue":{"value":"903163902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7345620$E43DDD79-3AFC-4ED7-A339-411183ACDF7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b250ffb0bb8c2ac1185607c1563a6df9eaa8b07","datavalue":{"value":{"entity-type":"item","numeric-id":1096336,"id":"Q1096336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$82B5F64D-DEC8-4C8D-A0C5-049CEE48FBAE","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2266669627c73dc034230417053fcfe4d8ed022","datavalue":{"value":{"entity-type":"item","numeric-id":1361727,"id":"Q1361727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$FD7843CA-ECDC-4C48-8A38-BFA9348C1CDE","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fed4a1ba3d904bf15b1eb97f29c2f9ead9a852","datavalue":{"value":{"entity-type":"item","numeric-id":2467437,"id":"Q2467437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$73108447-16ED-478E-9307-6FA72FAE669A","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72a4f983cd8f2c70717172f59a26e8000beb0c6","datavalue":{"value":{"entity-type":"item","numeric-id":2540164,"id":"Q2540164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$29E63DA7-9B41-4B6E-8B2B-687AD1BDBC76","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4194824522dbaf37961b47d5d8142daaf8dd52a","datavalue":{"value":{"entity-type":"item","numeric-id":2986807,"id":"Q2986807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$4419F190-CC19-4AF3-BB6F-7CA8BF141034","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721a27e226f5ad7f509dc323cc787652221c4658","datavalue":{"value":{"entity-type":"item","numeric-id":4777052,"id":"Q4777052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$8F52A538-8B78-4444-ACBE-EED753E6EB82","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7c82b93c0d52437ed10167f8423d74ed1260c1","datavalue":{"value":{"entity-type":"item","numeric-id":4829921,"id":"Q4829921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$B204D17C-6C03-4B64-8BCF-3CEFED9D29C1","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6119a2108dedfaeb81a002d3a38489512d834c7","datavalue":{"value":{"entity-type":"item","numeric-id":6897697,"id":"Q6897697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$AB3BE1DC-0A62-411C-B368-FEAD1996C995","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed2acc7bbbe3f99e5c449d179f425b4959ea543","datavalue":{"value":{"entity-type":"item","numeric-id":6830371,"id":"Q6830371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$45FC3FBA-6F85-4555-AF77-FE4A8EBACC1C","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46686ab8bd5df18e243bde9b54d388110ad47252","datavalue":{"value":{"entity-type":"item","numeric-id":4421881,"id":"Q4421881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$6F24E879-6CEA-4166-B6AC-354CDF09DA8A","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d2ded30740389eb5f622ccf541a623ba33ecd0","datavalue":{"value":{"entity-type":"item","numeric-id":2830949,"id":"Q2830949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$F297126D-829D-4760-AF0B-AB0F99CA578D","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f3c8831e9f3a1c69c406cc9c868b683faf9af8","datavalue":{"value":{"entity-type":"item","numeric-id":1646685,"id":"Q1646685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$DD8EA790-177E-47B8-81B7-430FD1C28913","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0d5d9aaf237f828cde01781ca9712a2bfcf5ba","datavalue":{"value":{"entity-type":"item","numeric-id":1021548,"id":"Q1021548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$54C8AD58-4AEA-4B5C-B3E9-F6535ABD7D32","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1de7f18b4054a307c43c04042167df1044b9e9","datavalue":{"value":{"entity-type":"item","numeric-id":1860337,"id":"Q1860337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$64B0095F-3581-401D-814B-263D8C7193BD","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7896c7092eda745314a4f45cf009872b25db106","datavalue":{"value":{"entity-type":"item","numeric-id":83275,"id":"Q83275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$26798588-081E-4007-81CB-4C2DF69793BE","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd9e3e5e34b674a9a7642609edc7f991553711c","datavalue":{"value":{"entity-type":"item","numeric-id":4196237,"id":"Q4196237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$8F318BAB-E553-4737-B0AD-15BE75ABF857","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5cff5d5646bc6ec7ccaf93f2f7ab02ecb9725","datavalue":{"value":{"entity-type":"item","numeric-id":5827288,"id":"Q5827288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$F7D09E26-D24D-43FF-B9AF-2B30A8880F8C","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4695166b1293068c05dfa98069b650e03db43bae","datavalue":{"value":{"entity-type":"item","numeric-id":852298,"id":"Q852298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$026B845B-6CD5-4785-A3FD-8FEC068CE616","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2602bd206f06bcde15a08a6870b43113d9c30f4","datavalue":{"value":{"entity-type":"item","numeric-id":6903814,"id":"Q6903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7345620$06C26D3C-1BDB-4ECA-B073-9C78B5DC3C7D","rank":"normal","references":[{"hash":"00a86a798f921dd4253b583f01939ca603a79fcd","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"c23407ba7a179b53a211cae6aa5a1777a222085b","datavalue":{"value":{"entity-type":"item","numeric-id":56440,"id":"Q56440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified Linear Programming through Tolerance-Aware Precision Boosting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_Linear_Programming_through_Tolerance-Aware_Precision_Boosting"}}}}}