{"entities":{"Q2835688":{"pageid":2846418,"ns":120,"title":"Item:Q2835688","lastrevid":58021692,"modified":"2026-04-03T11:56:41Z","type":"item","id":"Q2835688","labels":{"en":{"language":"en","value":"Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6657821"}},"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":"Q2835688$BE7F58F3-0F76-42C1-9506-5270D3406D82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e881026595f7bee5943c16487f98eaa8dd085c78","datavalue":{"value":{"text":"Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835688$FA69C2D0-47E6-4350-B3F1-AE6BF4827300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05eb412376ac0438a91363d76c533eb105f09c38","datavalue":{"value":"1445.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835688$B92DBBDA-957E-4B00-9DAC-1018967BA0E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c9c2a8a7f441f8f00ade4e09e8d4ad062b94ee6","datavalue":{"value":"10.1007/978-3-319-45587-7_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835688$90E3D1A9-7010-46CF-A60C-0078BDDC1557","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af654edaa8028dd562af89bc1a7edd29a65b4eab","datavalue":{"value":{"entity-type":"item","numeric-id":262440,"id":"Q262440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$6E62BB91-D034-44FC-B865-4DD2474AB37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f72af91a7dbb11990d9fcd0f2ba0c2b90a5c150b","datavalue":{"value":{"entity-type":"item","numeric-id":6040539,"id":"Q6040539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$D7149B17-5137-4314-8D2F-8391FC12571E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$94386C62-34AF-4817-9BA0-313ECEF3372E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835688$A3F1D70C-B7C3-4586-B4B7-FFA3C254A742","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a63e774ad235cd852c759d26e9cbb38d0447ec7","datavalue":{"value":"https://arxiv.org/abs/1604.03649","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835688$70703634-4376-4304-8B2C-A4DB3EEA6421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835688$17C6B50D-C031-4A6A-8344-2357917E5471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835688$A837F96E-1295-47BE-81EF-867EF636CA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835688$09EBDAB5-F4CB-4A92-B76A-181FD1E00D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6031076005504b864d3ea02138aaa61479dbc67e","datavalue":{"value":"6657821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835688$8458FABB-AC8B-4B6F-BF46-80212AC7200B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$DDC17F13-4A2B-4B9E-9D03-618D55DA4958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$8FA2AF11-51F5-4BB0-8226-6A8182EF424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$C9641296-EAD2-4D4C-953D-4903A5EE4509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2978612a2bd76c317e889dd88d2bd0ba160c2025","datavalue":{"value":{"entity-type":"item","numeric-id":43488,"id":"Q43488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$6E44B92C-0F17-4C7E-B70F-01DAF997A628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fa4e73e71bcb0da17629b38e557d4bf16dd99c4","datavalue":{"value":{"entity-type":"item","numeric-id":26500,"id":"Q26500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$B7F33AA4-BCA0-4028-B832-C8E04845EE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$8856EBF5-CB60-4025-8EC3-DC6686DDD018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e324dc65b9bd79abda7100d7af64412db6a54a36","datavalue":{"value":{"entity-type":"item","numeric-id":17024,"id":"Q17024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$9BF5E923-507E-4DD8-98C3-113BAF0B6558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$592B1731-2DB2-43C7-8138-4047DD79F7D8","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":"Q2835688$785F696D-8517-400F-B3AA-7F6F10503E49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b549decf53bf15fe4b763718fb1b0940497b8a2","datavalue":{"value":"W2340911864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835688$C68BAD0B-0C2D-47A0-B98A-6657ACFD644C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86187cd049bd6565ddbc4e21f37dc55f378bee76","datavalue":{"value":{"entity-type":"item","numeric-id":1250223,"id":"Q1250223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$BBABE939-BBD1-402C-8307-27D2ECB863D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df388f118f4987589ee32ea9150ea9b1fb1d3769","datavalue":{"value":{"entity-type":"item","numeric-id":5245017,"id":"Q5245017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$3A83F5DC-DD1C-4F63-B87A-A9EEE027FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$E62F84DC-EF1E-4CE0-9817-D39548B5D669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$490995CD-F188-4B9B-A4DA-B274A9A66A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58769fcc3f00e73ccf3be32b62e16b3ef599bc0e","datavalue":{"value":{"entity-type":"item","numeric-id":5252221,"id":"Q5252221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$EF0AED9B-4D95-4CE7-8F1B-74AE285B60C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74463b4dc5d87cfd615be64c2dacadc0c7a9b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":847827,"id":"Q847827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$54AD61F2-A14D-4ED3-A5BB-75F96E8F2260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e2d988edd01402413f7c46229d3b9899a56d3f","datavalue":{"value":{"entity-type":"item","numeric-id":5659338,"id":"Q5659338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$F80E5ACA-E742-470B-852E-489920AE4D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6c733ef3af28380d8b99474a0ecc5cd27e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":5668246,"id":"Q5668246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$A27B4FEE-0A60-4BEB-93B4-6DB59AC4A9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c9063cd2bb80e2b6e7e7893106898c2d56cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":1424274,"id":"Q1424274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$FC76C95B-256A-4DBB-B52A-B02E4D8C27BF","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":"Q2835688$7957B8F9-3C85-472D-953A-AAC3FD3E4709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$D7C09860-0010-47E9-A3C1-DBB3BAEC70BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40608b95a82559a3ef3b006b0561327884f8963","datavalue":{"value":{"entity-type":"item","numeric-id":1785398,"id":"Q1785398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$140B848F-86F2-42D8-A45A-82440BF8D6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a75ab7712997faa2ea1e1e8ee3f09af6250d4f7","datavalue":{"value":{"entity-type":"item","numeric-id":1688454,"id":"Q1688454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$19BCFC84-1BE9-4AA7-80FB-A45E976D4C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80351ad7fe198a979c5f6d7364f96e24068ec124","datavalue":{"value":{"entity-type":"item","numeric-id":3539893,"id":"Q3539893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$6E6C0A94-6065-4097-9344-4B9BC3B042D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbbc8c770a27ca430bfa58fc01a6b8c38dfbb2f","datavalue":{"value":{"entity-type":"item","numeric-id":1016121,"id":"Q1016121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$0F600B0E-6A77-4556-9D75-619C82D9AB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa501f8d67d6302c19c53708c34f273d7a39ff38","datavalue":{"value":{"entity-type":"item","numeric-id":819987,"id":"Q819987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835688$98DE9E42-0C10-43CA-A51A-71793651EAED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2835688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2835688"}}}}}