{"entities":{"Q5092485":{"pageid":7122061,"ns":120,"title":"Item:Q5092485","lastrevid":39529758,"modified":"2024-12-30T14:54:12Z","type":"item","id":"Q5092485","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561762"}},"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":"Q5092485$A5BAF669-A16A-436E-B735-93837C2B4680","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27dccafde3d67e5ae70d8c30ebe8176348542da4","datavalue":{"value":{"entity-type":"item","numeric-id":486989,"id":"Q486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$EB8389DC-C27E-4CFB-A80F-0EB878E9476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92d9dbca77acfcf510b43d5c16eac686f45cca07","datavalue":{"value":{"entity-type":"item","numeric-id":2061905,"id":"Q2061905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$2343BD3C-ACD3-4510-9894-40D97E457057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092485$7A330853-D771-407E-B720-70C818406868","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dde885b5a3c607a1b52a92782f390db95d8696dc","datavalue":{"value":"https://arxiv.org/abs/2006.04124","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092485$BD0ED985-D028-4F1F-A6C4-4089F87BC675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092485$EEE425F6-6DE1-4482-94B0-35D175EF45E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe0df5439fba316868fad9e6e980b49f8f9668ea","datavalue":{"value":"7561762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092485$32EC54F3-80EB-44CE-94D2-D15F923E4F95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99aa211f12912486f9db2e04918ae1705cb3eba","datavalue":{"value":"branching proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092485$5E144DF5-D3FC-40B9-8214-F3D4CC1FA14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092485$F6381BCF-77CA-4BD2-BC4F-4F1E900F091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23baa929e285ae73d0a1aca3a8a182f9a75992cd","datavalue":{"value":"Diophantine approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092485$F7DDC03E-598E-49FE-9CAF-B70121DB237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092485$A2881EB3-2680-4421-A742-0AD286AAC228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99323a7d355b0e950fa33621672d54783d5650d","datavalue":{"value":"stabbing planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092485$5DAE9769-09AB-4AF3-B388-4B2550CFC3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092485$BE2E5FF4-AE7A-4667-8FB1-3EC8A4F13DE0","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":"Q5092485$2D022B2B-5AC8-42AD-B37B-7E7CA0EF0665","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abcaf946c1d3dbdbde14c77870fb06c95d25992","datavalue":{"value":{"entity-type":"item","numeric-id":5704196,"id":"Q5704196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$FE8717EC-FC7C-46BE-8E09-3D226DB0F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca8b37f4a7224b65a0e65c7267570abf0c0d551","datavalue":{"value":{"entity-type":"item","numeric-id":1816418,"id":"Q1816418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$E33C5186-0A5E-420C-8920-5ED38486128D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf683bccb67ec1b23a8369baba6e8a33e9794a10","datavalue":{"value":{"entity-type":"item","numeric-id":4650571,"id":"Q4650571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$8647676B-FB5B-4896-B00C-B4C044201BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf145945e6351d288a7092df75a6ed9d5c29a594","datavalue":{"value":{"entity-type":"item","numeric-id":4993273,"id":"Q4993273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$4EB77588-7186-442B-9E65-6F69308D65A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9316bc21130945e76158a0803667b9b47faaef","datavalue":{"value":{"entity-type":"item","numeric-id":2557712,"id":"Q2557712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$B19B9E5A-832A-4719-81B5-BB354A4AF38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$C6129164-D8BC-4E69-B235-DA4CA947BD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a69930d624f611178e7f41a6ddfe836b3c9d970","datavalue":{"value":{"entity-type":"item","numeric-id":5937498,"id":"Q5937498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$F41D0876-DEF3-4931-BE69-B3AF7EC53662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106c70b38defb4dc3834e29c8c9602f26b410008","datavalue":{"value":{"entity-type":"item","numeric-id":2894466,"id":"Q2894466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$1D38E634-EC50-4150-800A-ED233D407E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717e041e7f558f978daa08b5c129deece83c259b","datavalue":{"value":{"entity-type":"item","numeric-id":2248755,"id":"Q2248755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$C512FC37-780C-49F7-A087-4C185F8ACF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e535d645b7500c6ca830a494ceae563e39fafbb","datavalue":{"value":{"entity-type":"item","numeric-id":1424277,"id":"Q1424277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$CD07DF0F-D434-4730-8AB3-D64AAB8A0EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea47450d2398ece17af63f41bd9938fdccded599","datavalue":{"value":{"entity-type":"item","numeric-id":1101013,"id":"Q1101013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$311589AD-32BB-40C2-B822-19E52E76B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4960d97c11c0cd0f282650fb582b7cd310577033","datavalue":{"value":{"entity-type":"item","numeric-id":3256638,"id":"Q3256638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$BF3F1F8C-DCFE-4FAB-B4B4-0C710ECC7147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135140973b8db4cac34e5e20daa9faa52ca626f0","datavalue":{"value":{"entity-type":"item","numeric-id":543420,"id":"Q543420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$9FE1D7E7-441E-4666-93BE-D346842D6C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88182aa7b77c4eb7005a57d5eab42f257cbc74f","datavalue":{"value":{"entity-type":"item","numeric-id":4254700,"id":"Q4254700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$CACDFCB1-86E2-46B5-8DAC-33E0857AB95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e491f62297275a2cc3a8acee189891b9b9a54d7","datavalue":{"value":{"entity-type":"item","numeric-id":834182,"id":"Q834182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$C4202978-ED4A-4698-806A-C26FED9D13D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b369429581047e1dabd46e6eafe270ef5ac985","datavalue":{"value":{"entity-type":"item","numeric-id":3037135,"id":"Q3037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$4B45CA5B-1C6E-4171-9A50-DCE41226674A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b455fa9ccd76a0336d546a18a0371d511693b1","datavalue":{"value":{"entity-type":"item","numeric-id":5947148,"id":"Q5947148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$94096DEB-2707-47D3-9836-533D2C2E25E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bef833daaa1315969627b22e27ba9e7dcb6ab19","datavalue":{"value":{"entity-type":"item","numeric-id":5417704,"id":"Q5417704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$8883760C-8E08-412F-86B7-6C8F7A5090B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$6522926E-37F3-498D-A52A-CF04DCC86160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86be56d699a5c4792e9eb2727091dd7dc8512aef","datavalue":{"value":{"entity-type":"item","numeric-id":1977743,"id":"Q1977743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$D6F3C888-5895-4658-90FD-F646F70998A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19740145683732a31481ef66ff2bd785272e1021","datavalue":{"value":{"entity-type":"item","numeric-id":1132911,"id":"Q1132911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$5EAECDCC-B4FE-4D65-AB54-2687FC75C316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092485$63EBF9BE-9E32-4451-9C9E-42E81858DA33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8ee7483f39dfb100c5c5b0012a9fca2d85d37d7","datavalue":{"value":"10.4230/LIPICS.CCC.2020.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092485$C2D20A36-A9F1-4CD5-83C3-C1B6A0CE8364","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092485"}}}}}