{"entities":{"Q2968159":{"pageid":2978884,"ns":120,"title":"Item:Q2968159","lastrevid":52761728,"modified":"2026-01-23T10:59:28Z","type":"item","id":"Q2968159","labels":{"en":{"language":"en","value":"An automatic inequality prover and instance optimal identity testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6693786"}},"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":"Q2968159$328D3AEE-C9D7-44A5-ADCA-62558B96D4E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab730d15fd288ed24bde9913bdb9cfc5869041ec","datavalue":{"value":{"text":"An Automatic Inequality Prover and Instance Optimal Identity Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2968159$92E5102B-959C-48F3-9515-799125CCAF7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebb2ab964270ca2be70a441a75da6efbe065fd2f","datavalue":{"value":"1362.62107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$B45DEC71-390F-45CA-B45B-69029661E8A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9995da7c1c9174b5fa5e88d5a720744793249a54","datavalue":{"value":"10.1137/151002526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$C12CE804-03FE-4483-8511-DBE274835469","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e323224d722b56564e3dc51b684dccb417e272ea","datavalue":{"value":{"entity-type":"item","numeric-id":1687127,"id":"Q1687127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$35916B80-CED3-44BB-A146-170529A3A946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bad837f2dc9b26a4fd21aade701a9454848e713","datavalue":{"value":{"entity-type":"item","numeric-id":1029055,"id":"Q1029055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$D3264EF2-1FB2-46A6-A4D0-F3BFB9A89148","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$539A203D-BD57-4181-B731-BD244085B7AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ad242a2b916d2e00858ddadcf1e30fbb9ec891","datavalue":{"value":{"time":"+2017-03-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":"Q2968159$5B8AC046-DC00-413F-95EC-7AEEDCEE7C8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f4b66340eaefaa5b879d5438c65b92fbb16c03f","datavalue":{"value":"62G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$DEEE0570-619F-4CF5-A872-AB419FF45C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a44d5e731b0cda80053db6ad84346bf1a3e85d88","datavalue":{"value":"26D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$EF757364-84FF-4C5B-8F20-5778C53A82F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$AAEB3232-71C5-4A1D-BDCE-927BF42664E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$6A56DF8E-2EF2-452B-929E-8B8EC56A28D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b4ef451a240aa0163ec525d292d1d5645707a23","datavalue":{"value":"6693786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$38F8B9B3-B74A-4ED0-9227-7407697751F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968159$D4A52429-5C46-4E45-9D6C-C36C6E2C0433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e830120a31f69b87706ea286c6c1e0684cd26e5","datavalue":{"value":"inequality prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968159$C059598F-CEAF-417E-A793-784A6C082951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e13952d3c09380df5051d6b86d3cd594e0d883e","datavalue":{"value":"instance optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968159$F159F617-5A7E-447C-B319-BF5DE1F15D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc80d4ed5eddaddeef216084e9dab409eb3dd573","datavalue":{"value":"identity testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968159$0B65ECA9-9336-47AA-A79A-1E6A6814AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab28a392380800f9d1e5ccb707ae2bc9fe27cde1","datavalue":{"value":"H\u00f6lder's inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968159$79D191CA-E536-4D5E-B460-DEF7AC957B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9afcf6e11f50fc1d8bede3aaf5647f1f0932ddb5","datavalue":{"value":"chi-squared test","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968159$9DD892DB-6A94-4322-98CE-44B8DEFE209A","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":"Q2968159$626D2388-CA1C-4761-8780-FC9397656870","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85daaf6045426290fa7a842c2030ad2660dd41c6","datavalue":{"value":"https://doi.org/10.1137/151002526","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968159$7FBB391A-FAF8-4EF3-A1E3-E57076D57539","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e12a0a16b48647fd90172a77e492ed4d1c46e3ee","datavalue":{"value":"W2592411267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968159$F94461EF-C8C1-4918-AC7A-60781D506D84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e4b42ed4b7b01b20eb2dc94d87203c9aff9a033","datavalue":{"value":{"entity-type":"item","numeric-id":5175979,"id":"Q5175979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$377E4E7A-5A36-43EE-A51B-BFE07EF50431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910f2964bf050bfe64f4c0ed3dc7a433a7660750","datavalue":{"value":{"entity-type":"item","numeric-id":5700573,"id":"Q5700573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$BF4A4056-29F7-4549-A36B-611127782F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db98e201e51669c67558dcb72e77183f7a3048e1","datavalue":{"value":{"entity-type":"item","numeric-id":5395704,"id":"Q5395704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$257ADD5D-1828-4372-972B-14C96E4DFFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ac1a873d271f789f9f69e114b6b60d2a4f420a","datavalue":{"value":{"entity-type":"item","numeric-id":5384050,"id":"Q5384050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$1F38038F-76A9-4AD3-82E5-87CE991A18AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0c53dd67bfc3165ac30dc34e7c090dcec5465b","datavalue":{"value":{"entity-type":"item","numeric-id":5363068,"id":"Q5363068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$07741630-E4D6-41E7-959D-5B7CF3DA3ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e86462d05219997aa0b0872b0584716b3df3dea","datavalue":{"value":{"entity-type":"item","numeric-id":3088177,"id":"Q3088177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$B2968FF3-8AD0-41D3-9C00-A8DED099587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2035a554d8229ba6aedc89caf0dc98a171b5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3581507,"id":"Q3581507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$EBF4A314-7A52-451A-9806-4BAE8CE14557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ba3bd74ef41e0757015be3b53bca7ad9cb71ba","datavalue":{"value":{"entity-type":"item","numeric-id":5463630,"id":"Q5463630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$4AE1DCE0-2AF9-4D5A-9255-9565D3CE4268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a30c77116acd209b449b0066cc75d36bfe8862","datavalue":{"value":{"entity-type":"item","numeric-id":4816848,"id":"Q4816848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$360F44AD-3AD8-45FB-936A-B17B2F2CD5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"306649f743d5f250655fb3bfaa0c79ac9a71085c","datavalue":{"value":{"entity-type":"item","numeric-id":3547465,"id":"Q3547465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$5C81933F-95BC-4E77-8382-12732DE2C20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709385e8181003c84201351ab0efd487a5d302b7","datavalue":{"value":{"entity-type":"item","numeric-id":3604894,"id":"Q3604894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$7A4BD511-FA97-430B-8319-49C12FE76D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3440d97897569930d2b6fce2895b06414cb6d604","datavalue":{"value":{"entity-type":"item","numeric-id":3575150,"id":"Q3575150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$108983BB-C965-470C-A33F-B367488F2C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9c371124c9a9382b73733891ed6566d79437ab","datavalue":{"value":{"entity-type":"item","numeric-id":5419139,"id":"Q5419139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$39ECCDF2-1B1E-4408-B153-423A2A245FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1406a2945455596348ca6d3a12a3b35f106900","datavalue":{"value":{"entity-type":"item","numeric-id":5494980,"id":"Q5494980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$EA160D0B-D364-4BA2-B43D-2D77BCB75B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed92ca2e42d0dd8a59eb5c76bca54b5f2693368e","datavalue":{"value":{"entity-type":"item","numeric-id":5361825,"id":"Q5361825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$AF00C1A8-CF29-4686-B1BA-8CE4FB3A603A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e738acfbde825a835c29be21b5560ae058fb833","datavalue":{"value":{"entity-type":"item","numeric-id":3225178,"id":"Q3225178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968159$F3F9F17E-BCFA-413F-87DA-6F798153F4A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e72ea35f040e042921beae8a58f6b5af23ba026","datavalue":{"value":{"entity-type":"item","numeric-id":5002714,"id":"Q5002714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5993c355f73f76658cf28f29b88405c0b5bc3d8","datavalue":{"value":{"amount":"+0.8240664601325989","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":"Q2968159$6E7EC65D-EE07-4E68-8B19-47FE7CB04D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c8d7b7ce358ddd3d7333685b6efa889a2d1763","datavalue":{"value":{"entity-type":"item","numeric-id":3225178,"id":"Q3225178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e3ec7dd3315d4508c25f96d46c00553340d589","datavalue":{"value":{"amount":"+0.7911340594291687","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":"Q2968159$9FBF284D-C14C-4B56-99B9-7D094FF58DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe789fd3eda77dc0b899e4d34e08dad1a2838664","datavalue":{"value":{"entity-type":"item","numeric-id":4608070,"id":"Q4608070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa798d95044a5b002e3c3a33cd6bd1f8be385563","datavalue":{"value":{"amount":"+0.7875149250030518","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":"Q2968159$8F54531D-5742-4E06-A13E-7CA526A32CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7b70fa38c0eadf83bace77bc061ce1957c67716","datavalue":{"value":{"entity-type":"item","numeric-id":5395704,"id":"Q5395704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f90627fdfd124dfe22022f6a1e35a8adcb6dc2","datavalue":{"value":{"amount":"+0.7752746343612671","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":"Q2968159$D809CFBB-9D57-4657-BA4F-63E5B8BE41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24bc60ad5a06cc08515a825de9cdc18dba5e1e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5363068,"id":"Q5363068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f88a52fd10b4858e363bcba23ecec15ac376ee5","datavalue":{"value":{"amount":"+0.7734832167625427","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":"Q2968159$D41BFC58-E0CE-45A6-AF8A-933E8CCF07F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968159"}}}}}