{"entities":{"Q5883707":{"pageid":7913258,"ns":120,"title":"Item:Q5883707","lastrevid":37501318,"modified":"2024-07-31T17:16:35Z","type":"item","id":"Q5883707","labels":{"en":{"language":"en","value":"A Safe Computational Framework for Integer Programming Applied to Chv\u00e1tal\u2019s Conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666972"}},"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":"Q5883707$49A147C9-F923-4A32-93C3-9AD8E71D8C32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0485e3c7cfe1907ad4805069182812fddf35c23","datavalue":{"value":{"text":"A Safe Computational Framework for Integer Programming Applied to Chv\u00e1tal\u2019s Conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883707$C27BF629-E55F-45BF-9042-6FFBE16F7F31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c83b6db27b0de1b6d6d13ecbe41a5ab9b2481c5f","datavalue":{"value":"10.1145/3485630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883707$326DAF00-2AFD-4487-AD80-BF5C6A24D023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07d6cd08eac8f167f417f8273d6e404420ded59","datavalue":{"value":{"entity-type":"item","numeric-id":2061872,"id":"Q2061872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$1B100259-9230-41C9-BD8A-DE34D51733BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d09836a38257b0d6b29a0830cb1729bcc6faddd","datavalue":{"value":{"entity-type":"item","numeric-id":522265,"id":"Q522265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$56DC682E-19CB-4ECC-84E5-574BD9D64541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0f5e1f60f3d2e39e3c553d640316c5dc29215f6","datavalue":{"value":{"entity-type":"item","numeric-id":311521,"id":"Q311521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$6CF22256-1ACA-4C9C-9C23-8AD750DF5806","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cbfb8631d06c22a12a4e6e761fbdc5e214034300","datavalue":{"value":{"entity-type":"item","numeric-id":62119,"id":"Q62119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$A7AC6FD3-C316-4BE3-B72B-7891170D038E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb8590338bfb507716d0e42bdca412b99e076ff","datavalue":{"value":{"time":"+2023-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883707$AA1EFFA6-0ADC-42AD-9489-366354FF262B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0de7b7130b4bf70244dba317eb55bd63ecfe6de7","datavalue":{"value":"https://arxiv.org/abs/1809.01572","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883707$1AE06EDF-3F7A-4FCB-A5F0-71D7F79226E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51d647e27b28911428d1e10e901ad03eba3d6a07","datavalue":{"value":"65-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883707$C7754D32-69DC-44C7-9CBC-4EC09C8AC120","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0515e2db64d2a7ecbc4e4496a5a22ba07c2d2e6f","datavalue":{"value":"7666972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883707$6BC25FBE-6551-499A-AA03-FA068CDA085D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1b232b569a87fc2acceea8856f01216eeea6c6","datavalue":{"value":"exact rational integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883707$42BAF160-8DE1-4207-AAA2-7CE5B0D82ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883707$943E1461-C150-4328-9DE0-746029D4EB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39911c6eb3357797f71228694114dda795773934","datavalue":{"value":"extremal combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883707$2D87D1EB-75A8-4B66-AA7D-FAB1E783F8B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$08AAE4E7-B9E2-4750-9B0D-43C9A72BBFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01b0e50000fc071d9360745d45c5b4cb36855f9a","datavalue":{"value":{"entity-type":"item","numeric-id":13478,"id":"Q13478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$7EE4A038-E54E-4713-A7DE-74E091E1860B","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":"Q5883707$732DF6B4-6B0F-4ADE-9A05-3B27E6674325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$2C0E7361-7614-4318-BC89-960C73AC76EF","rank":"normal"},{"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":"Q5883707$20298EF5-E34B-4929-B475-D170DD049A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2550d92acc946f8a7f8778e6c20b6cf62d76cdb0","datavalue":{"value":{"entity-type":"item","numeric-id":29885,"id":"Q29885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$6A3332C7-52B7-4EC9-8E81-4DC45E245358","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":"Q5883707$E7A6BD16-F915-413D-AA0D-B56D24133226","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd887f6e4bb3c778f6fc1894fd12925e51a800b5","datavalue":{"value":"W3211222374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883707$D2233AE8-2AE6-4532-A243-FE229DC3958E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f44478784822afbd9d7bb91d7b57a1f2504e074e","datavalue":{"value":"Q113309852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883707$924DDB75-C75E-4F14-BEF8-2040C7164741","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d01b683f896e11284c54a632af14840b650cc21","datavalue":{"value":{"entity-type":"item","numeric-id":5265181,"id":"Q5265181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$81251A3B-947A-402E-BA09-643357807945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849faa96c38e53d1889d7cf127d50ffaad2715f7","datavalue":{"value":{"entity-type":"item","numeric-id":4552141,"id":"Q4552141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$42D9572A-7E7E-4818-BBF3-ECC72A3E0C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a686c7aca5b1815fee0c10aec59ec1082c611e","datavalue":{"value":{"entity-type":"item","numeric-id":3425132,"id":"Q3425132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$3980D350-9DFB-4E21-B52A-9BE37D661202","rank":"normal"},{"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":"Q5883707$820D2435-CE37-4264-9EE5-E88EF7C57817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89aee27c56dc4fbfdb3ec6fd915a91fdad8ae011","datavalue":{"value":{"entity-type":"item","numeric-id":2398105,"id":"Q2398105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$4EBF75B8-7DFA-49A9-94B0-06BB6D7DFFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066227740a05ac9876c29d9de52af7dfb287e1c","datavalue":{"value":{"entity-type":"item","numeric-id":3577299,"id":"Q3577299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$DEBFD48D-2C69-4EA0-81AC-81DE36FA38BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6025d1ee4db5f2c3f30d4cdb7ef0c14551c89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5452703,"id":"Q5452703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$E86C02F2-9D58-400B-9229-A5EFBC9CF692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15298035046f4a1fe0de580a353e56fb2dc42d4","datavalue":{"value":{"entity-type":"item","numeric-id":4087226,"id":"Q4087226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$87A0BD29-9614-41DD-9EBB-2929F9E4DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15720cca00c1db35219df8b949985abffcf15f29","datavalue":{"value":{"entity-type":"item","numeric-id":607378,"id":"Q607378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$92E5B40E-089E-4AB5-B0B1-DFAA64A922AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967618228d26837a3e635dcbdd0707436852217","datavalue":{"value":{"entity-type":"item","numeric-id":2401153,"id":"Q2401153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$5F0CDE68-87E1-4ADB-89E8-0CBB272CB1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0abfd94f01c15bdffb8f45d2b58ece0b3d59a6f","datavalue":{"value":{"entity-type":"item","numeric-id":2417491,"id":"Q2417491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$76D45E07-4B27-42D0-9A82-94DAD01B1801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffde39b89938e1e9bc875a8e73dcdfe65822dde5","datavalue":{"value":{"entity-type":"item","numeric-id":4060998,"id":"Q4060998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$CDD442D9-6B89-4513-97EE-384FC7B8DC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa4dfebf95c9b318135b0e990c7191060998089","datavalue":{"value":{"entity-type":"item","numeric-id":744213,"id":"Q744213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$7D913D99-8E1C-4233-B36C-CA7F874F4015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a5015d0b10b3f0fccd384c1d33f3c201ccc571","datavalue":{"value":{"entity-type":"item","numeric-id":1164626,"id":"Q1164626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$9DB85026-2880-4EEA-A841-D822814C48BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dea453807120fc04d3d16f4cc8d9d932094a864","datavalue":{"value":{"entity-type":"item","numeric-id":3495357,"id":"Q3495357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$F986FC8F-DF13-4188-81A1-8ACB8D035258","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":"Q5883707$7486D903-DB0C-4ED2-9676-B18A8BB9C779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$AE31828D-C8CD-4C7E-ADAC-326F5FBADA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f395cf1a00c476fb3fce6ec3cb2e680ee3914c","datavalue":{"value":{"entity-type":"item","numeric-id":2327149,"id":"Q2327149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$6CEC0692-1E95-41AE-9E39-49E70CB9BBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4fab0d64c194c1ed28725d4599df25d2cca33e","datavalue":{"value":{"entity-type":"item","numeric-id":2663722,"id":"Q2663722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$E3386DD6-FF9D-4565-B3AA-76E9DF7ECD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74714f8ebf7a63300185d2b27c65b0bf0b17f1cf","datavalue":{"value":{"entity-type":"item","numeric-id":789409,"id":"Q789409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$4336BAE7-9363-44CB-B28A-C795F3F5C778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46426fccafcca395df885471b07855be040fdd1","datavalue":{"value":{"entity-type":"item","numeric-id":2319699,"id":"Q2319699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$68EB6EF3-7319-4C41-BA2A-B69C13B81D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f2058926ee0d71827cf4512424f1a2c8e4aec1","datavalue":{"value":{"entity-type":"item","numeric-id":4182515,"id":"Q4182515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$F73DA10D-DF5A-4884-A0A1-00C577372236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87dab8c2b42e16f030c7f56ca143def2701bddc","datavalue":{"value":{"entity-type":"item","numeric-id":1194757,"id":"Q1194757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$7ED828A5-2C5C-4CB7-BE7A-38CEFCCDFC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a008bc871b8a4a0b9cbe226e23923290ec30c445","datavalue":{"value":{"entity-type":"item","numeric-id":1170265,"id":"Q1170265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$AA22C52A-7BA3-496B-837D-C3CAF4151917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0a2833e6c75c43f85ea87737350d5280e7237d","datavalue":{"value":{"entity-type":"item","numeric-id":4060997,"id":"Q4060997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$EBE3BDCA-A164-4A34-AC3B-0538B380FD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883707$83804896-73BC-4EB8-9E3E-CE6D3ED4679A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883707"}}}}}