{"entities":{"Q6137876":{"pageid":13272183,"ns":120,"title":"Item:Q6137876","lastrevid":58706289,"modified":"2026-04-06T10:04:08Z","type":"item","id":"Q6137876","labels":{"en":{"language":"en","value":"Depth lower bounds in Stabbing Planes for combinatorial principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7789012"}},"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":"Q6137876$6DE7CB02-5B7A-4AD8-B0A8-A0F7F3DDA8DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5943ca296ffe7378e5022c58f14221dc57542757","datavalue":{"value":{"text":"Depth lower bounds in Stabbing Planes for combinatorial principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6137876$A5025359-BD63-4BAF-BE03-43F18C619A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$D41F8C1E-D655-4DA3-98B1-E2B75DDF8B6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc8cd618aba52e258fe3cb0e097a7203f8486d94","datavalue":{"value":{"time":"+2024-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6137876$65348701-CEE5-4172-A3CA-B7917F1EA9EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8efffbc807d04cd3e18198c0054d1938468f59c8","datavalue":{"value":"https://arxiv.org/abs/2102.07622","type":"string"},"datatype":"url"},"type":"statement","id":"Q6137876$0E8965C1-481A-4A16-9409-0686F052FFD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137876$F0B8C3F4-8BA0-4C14-B255-C20FE4FA4638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137876$D7E3E07D-AE03-4FE4-A1E6-FD6E13B1B0F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c838ff992f49a60088322b378ea9470b2edd842e","datavalue":{"value":"7789012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137876$B3FD2E1D-5032-4C61-B773-5C49B5B950CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137876$9D077762-D9C7-47F1-A8F0-7ECEDE80F749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137876$D5A8FBA6-8482-4C9F-A839-31914D29D7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137876$97DF81E6-2938-41B6-AEA2-0F585CBF194B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137876$700D5AF9-7B71-45C0-B4E8-3CC7FB09F8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788fa543e98cfc4d501258b10bf6f4640d517b35","datavalue":{"value":"Stabbing Planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6137876$4753D3F5-F6D5-4D5F-A404-117410BB71FE","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":"Q6137876$A665713C-2BC7-423A-844E-5848CB9CA527","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e014341b1867b83d5aef4c39b1fcf01f41398","datavalue":{"value":{"entity-type":"item","numeric-id":1209723,"id":"Q1209723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$1338C0E9-FC1E-4074-8AFC-C17879209DF7","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":"Q6137876$F1559E73-28D6-4982-AF05-2FD4C36FA47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8d977f093ac551e79749f4f841b2fdb18e79ea","datavalue":{"value":{"entity-type":"item","numeric-id":3002766,"id":"Q3002766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$D7C1BE20-A38F-4A1E-9090-1F944589A11D","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":"Q6137876$17571B83-5DD5-4EA9-91F4-39005DF4418B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$D4DE400E-F448-43EB-9B5A-B9305D7E6DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$EB16C0E3-E162-43A4-86A3-3366D4F9B864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe282b489426dab4b9f605316f84fa27f6d0a473","datavalue":{"value":{"entity-type":"item","numeric-id":5092485,"id":"Q5092485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$00AD194E-DB08-42E5-AC7B-97E4009BF878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98312592a4e8ac87369e3ce3ece0416e99033f11","datavalue":{"value":{"entity-type":"item","numeric-id":6115357,"id":"Q6115357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$B32B0722-6699-46F8-9130-DA1B7AC40D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7ca140c9aedb9185528deae4e264ebccee490","datavalue":{"value":{"entity-type":"item","numeric-id":4601841,"id":"Q4601841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$869FAA77-42AB-4FD8-BE5A-B72BB050E834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3b08f4f74a888b5394c63dd1804b6dff541da8","datavalue":{"value":{"entity-type":"item","numeric-id":3612456,"id":"Q3612456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$125A76B6-4941-4E3E-AB66-73BB3B69460A","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":"Q6137876$5D044C74-1E63-487A-9E81-93AFFA179075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39af6d749a3f99e16c269c33ce775167c7b936c4","datavalue":{"value":{"entity-type":"item","numeric-id":4224078,"id":"Q4224078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$EBE7EFEC-5620-4D58-80DF-A40979C64384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adb737d4342c65e2b4f0a27fd95909e84e19ee","datavalue":{"value":{"entity-type":"item","numeric-id":5897190,"id":"Q5897190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$D46E7C83-7AC5-4D25-A1C9-704AA25539D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db1df4786c9589cf664338fd02756ba16a60bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1770439,"id":"Q1770439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$B3B163DF-1886-4B29-B336-A1EBDABA791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04d0ef3c805938ef294c3480967604ee407f9bb","datavalue":{"value":{"entity-type":"item","numeric-id":956379,"id":"Q956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$E764F20E-6B87-48E3-B45F-914069EFEDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb1c98cea670697bd122c943250b422355282ea","datavalue":{"value":{"entity-type":"item","numeric-id":2029775,"id":"Q2029775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$76B5EC35-3E98-4B46-BB3B-61D5CDEA837D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$652D9C71-DF08-4F82-9286-9A75E31CF688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$8E9BCFD6-7871-4C75-A164-8F0DBF0DB547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0e22a4f6dd115a6d4784e2d102e0c47d509393","datavalue":{"value":{"entity-type":"item","numeric-id":2755077,"id":"Q2755077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$3FEA2157-FCB2-4496-B570-F1C9F1F59CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e479abdae51b16090c942e5c3f944a59bd55bc51","datavalue":{"value":{"entity-type":"item","numeric-id":6490973,"id":"Q6490973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$8024C423-1559-4E1E-B841-2940FA2EC595","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b21e649df7824a78494d05ac9b85f43eb2632838","datavalue":{"value":"10.46298/LMCS-20(1:1)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137876$20A29814-E55B-45F7-8FB5-A692F5C7E473","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137876$0294D57C-C2F9-4145-A464-06780B8F2EAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6137876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6137876"}}}}}