{"entities":{"Q4635875":{"pageid":6665456,"ns":120,"title":"Item:Q4635875","lastrevid":58312509,"modified":"2026-04-04T16:31:37Z","type":"item","id":"Q4635875","labels":{"en":{"language":"en","value":"Model and objective separation with conditional lower bounds: disjunction is harder than conjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863489"}},"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":"Q4635875$2CB498FB-AD37-497E-BEB2-27D5AA6FF526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b2f941a65f06e3edf50f27af4179994ae89d472","datavalue":{"value":{"text":"Model and Objective Separation with Conditional Lower Bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635875$8F66D9E8-B3DF-4B9C-9FEF-8ACC60C6D4E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7bc5a3cdbee0d123c4264a9df97d59b3e939985","datavalue":{"value":"1401.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$3962DBF1-870C-4BE9-B474-10D438792C72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6af319b1b1519755a53650c13fa3241525c6aa7e","datavalue":{"value":"10.1145/2933575.2935304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$26C25F31-28FD-4BAE-9F54-BD328FBC375F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635875$C296CC6F-F7F6-42E5-A407-449BC7352F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76ad3dd17d6e1189a55a10727de9b89cb0fca508","datavalue":{"value":{"entity-type":"item","numeric-id":334815,"id":"Q334815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635875$40D9C398-A677-4146-9CA2-1FB7D220314D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55d18dc480c4444d7b0e7b3753d4b379b7bcaa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2253202,"id":"Q2253202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635875$BE447841-FD9E-4380-B2E2-9325B72C0F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5206d388e7179cac1a1f282e72074e651e25ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1370851,"id":"Q1370851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635875$C4E81B70-FFDA-4882-9873-2BC057A58720","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635875$06DA4C21-A97A-4704-8790-C8689AE45C59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635875$9A204F7F-FAC9-4EB8-8C37-E3AB6A0BB26D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed787894b40e8e88cefe33fd4e2297b05e32039a","datavalue":{"value":"https://arxiv.org/abs/1602.02670","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635875$34A6AC85-61E1-4545-8BE8-AE21FB407598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$4B9F8637-9B45-44B4-9D5D-D2ED66CAD3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$322A6CE0-3628-499B-9065-4593B595E7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$0BEF447F-33D4-4930-A620-6CAE1112F441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$6E44ECF8-5DDE-4425-B416-0D4AE22F805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$754646A5-4991-4427-B38A-BD577B206588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$72D0F6E2-802C-42FA-B684-32E28BAFE79F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b2922211e513b0fd04b2a633e4aeddbdbfcc6d","datavalue":{"value":"6863489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$B3846EAC-8832-4FFA-B674-948DBE4FE318","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a00923d0874cc52aeafb1476290f3a4a293a2db","datavalue":{"value":"conditional lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635875$B1FD3ECC-044A-4DAA-87D1-6EA096ABD114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635875$92F76495-D1C9-48F1-9230-0A666E9E0559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635875$5846A0C3-C998-402C-A9AE-0824CC65BFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635875$48FEDD00-837D-4F77-959E-8EB45265C866","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":"Q4635875$8E965610-DA82-4070-A1A9-4636CEDFC852","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f51fa98e10b7ea58ba8dd7133bc03e4f840612e","datavalue":{"value":"W2256738662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635875$C4CB43E3-1AE9-4AFE-97AD-69844967C7E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f28cbd8998d8534d34a50da9745d8324b5f335","datavalue":{"value":{"entity-type":"item","numeric-id":2238604,"id":"Q2238604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aee4e0f63a70e38a951fa6b604dac69977543f3","datavalue":{"value":{"amount":"+0.7480165958404541","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":"Q4635875$0A971890-54AF-4B7B-976D-1C327DE0CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c536e036d61a089acf90a8004ab2d210f2dd98","datavalue":{"value":{"entity-type":"item","numeric-id":4608584,"id":"Q4608584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29abeb9d654caecef6d83ddfca00eb3cbf8cbdf4","datavalue":{"value":{"amount":"+0.7439149022102356","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":"Q4635875$C9593F14-F8D7-4DF1-A013-24702AE99EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcf14b2fe8d7eeaec2be31bff92044513eb60a6","datavalue":{"value":{"entity-type":"item","numeric-id":3623004,"id":"Q3623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3ea7eeac1b54b507562dbf1a0e0062d067d9df","datavalue":{"value":{"amount":"+0.6970487236976624","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":"Q4635875$C49B6047-5342-47F7-8547-42E38E83C34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49eaf73ddd65bcc0c361cb9aef2d62d5fceade83","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2464d6be15a355a82ad60f8efaeaad8c4e1cf08a","datavalue":{"value":{"amount":"+0.6968024373054504","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":"Q4635875$D775C972-AD95-4794-946C-2E37EA95842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae2bea0b3d183ebd3f3e196d364626579a2e522","datavalue":{"value":{"entity-type":"item","numeric-id":5367065,"id":"Q5367065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9cc5a18560d65966051c75842443f7d18c06ed","datavalue":{"value":{"amount":"+0.6787682175636292","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":"Q4635875$D036895D-47B0-48E2-B9BF-F399B2060576","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635875"}}}}}