{"entities":{"Q558312":{"pageid":560079,"ns":120,"title":"Item:Q558312","lastrevid":42577317,"modified":"2025-07-03T15:41:12Z","type":"item","id":"Q558312","labels":{"en":{"language":"en","value":"Near optimal seperation of tree-like and general resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186409"}},"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":"Q558312$DFF8D662-2F83-48C5-B5CE-B80E5BCB96F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b52a965f28ef9ef53027fc2a86008e964dd945f","datavalue":{"value":{"text":"Near optimal seperation of tree-like and general resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558312$14D00CD3-8627-4BB4-91E6-6299B3DFB60E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f635a43d9cbca1050b7d6f4cf270494c10259408","datavalue":{"value":"1063.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558312$66ADC3EC-C1ED-4EBB-93D6-B0C65DC7171A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558312$BADF0468-A42D-4E54-A116-6B15045ADA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558312$42FB3D58-2D92-47C3-A22B-98FE34E32E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a028a6348dcfc7b43c17e257a75b67ed9a2b7db","datavalue":{"value":{"entity-type":"item","numeric-id":178716,"id":"Q178716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558312$591C7299-2891-4AEB-934E-4A932C4689F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a87e84d22579e69c48ca0a6d828473db4dde3dd6","datavalue":{"value":{"entity-type":"item","numeric-id":168579,"id":"Q168579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558312$45CAA6FD-F5AD-4615-8E8B-04B9B150392E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4ec6781aaf52ba28014d9ade37521fee8bad32d","datavalue":{"value":{"time":"+2005-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558312$161F02D2-03D2-4867-807C-B4954E16192D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558312$9812A9F1-15D4-4BD2-B953-89F089974E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558312$7A356C4D-CFFD-42EB-B594-1A5842ECD683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558312$CD441259-7C09-4756-A188-5D04D828C992","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb466f879b80f5725f8a9ad65af5d960d558c4d6","datavalue":{"value":"2186409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558312$AC4C1C8A-9B17-4877-843C-6DEF136B7CFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80ec654e93882ab5018ceac63e5a3ce28f3b5af6","datavalue":{"value":"near optimal seperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q558312$1C2971A6-26D2-4578-84DF-854B9D6CF6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q558312$D47E3FB3-C71B-4F59-B360-BE1AE052CCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca268a80e1696b499d09c8decbf2295781dd93d","datavalue":{"value":"tree-like resolution refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q558312$120FB907-AAD4-429F-82E7-820AE7DD44B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e60ff2686a4d1b88c71c0bb9e970fc72418d48","datavalue":{"value":"general resolution refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q558312$FE3EC9B0-01D6-4D22-ADE3-8D7A7C64EE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9af3fc32efc9a81c2b3483d8a691ae953b214c6","datavalue":{"value":"polynomial run-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q558312$ABAC3C3F-7CA0-4723-8292-67F097C88B66","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":"Q558312$7378BB3B-4EE1-403C-A713-7A933A0E3F85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abd98ee20d93c1eabdfad7da9c173a1edcdbf8fe","datavalue":{"value":"https://doi.org/10.1007/s00493-004-0036-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q558312$968CF440-4849-4687-92A3-A04C29F69B15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7d28cc2446665bb45a66db06477b82449701ac7","datavalue":{"value":"W2092984557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558312$3D8199D8-86B0-4CCC-AF6E-957ED93DB8FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e52cc17872e7cee82badbb6777ffd4b60ba2d89d","datavalue":{"value":"10.1007/S00493-004-0036-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558312$BBE38AB7-104E-4523-BE45-7AA4D8F26C66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57acdf4cd051d67cd71d4f1489245a744c5258ae","datavalue":{"value":{"entity-type":"item","numeric-id":2444907,"id":"Q2444907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61794c68882313f920621bf8ad897f102dd4b16d","datavalue":{"value":{"amount":"+0.88070965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$F9A8E4F8-0F16-45B9-AC7B-5E6AF1BB7046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c3aa8f8633fe126782b5035f8a2bd39d2568f","datavalue":{"value":{"entity-type":"item","numeric-id":2999857,"id":"Q2999857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82476159c2131fb06083518c9bb531b9c6c9144b","datavalue":{"value":{"amount":"+0.87874675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$7BD49C1A-07DE-4A96-82C5-B6577FE866BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6434c052e87f19f6b8d373f048eebc0d42bf633a","datavalue":{"value":{"entity-type":"item","numeric-id":1336637,"id":"Q1336637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab814ddebeac78a7f8c7853aab22e4625a6657c","datavalue":{"value":{"amount":"+0.8631168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$5B529D3E-09B4-4103-85EE-A8DD696F5146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d50dd544b92dcae35e7f41571c4aa71333dacf4","datavalue":{"value":{"entity-type":"item","numeric-id":325404,"id":"Q325404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1947fed755b349cd86781851d72062fce6a503a1","datavalue":{"value":{"amount":"+0.8624702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$D5E77C70-8169-43AF-9148-3B99235F99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6559d5ee1ba8e39e66a21398b6a8e72552188532","datavalue":{"value":{"entity-type":"item","numeric-id":1601038,"id":"Q1601038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9f2abd9c0e8c1852e5875f6cdbe18db8288c1c","datavalue":{"value":{"amount":"+0.8579211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$22A04D04-7B34-42EF-A8FB-3723703EC6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7dcdd51d0c39cab62e09cb624215f02b94d16d7","datavalue":{"value":{"entity-type":"item","numeric-id":5405856,"id":"Q5405856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b5aad6119a3684d9bd86968627607418759319","datavalue":{"value":{"amount":"+0.8547561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$005DDD6F-8DBD-4F5F-835C-7B917373F162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389aac4dd9ede135e5e00993c663771933c5834b","datavalue":{"value":{"entity-type":"item","numeric-id":420575,"id":"Q420575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b5aad6119a3684d9bd86968627607418759319","datavalue":{"value":{"amount":"+0.8547561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$7FBDD622-5D8C-4E07-8309-0AB58D02AE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c47793956a3d5843225a9c83688b5ae300f202","datavalue":{"value":{"entity-type":"item","numeric-id":5946561,"id":"Q5946561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5733e8c1eeedcc1b53ed61e897c25c9d4404c1","datavalue":{"value":{"amount":"+0.85453606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$816DE8C2-6FBD-4F25-9A75-2722D7C5E984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454208d32746435c15df7337f33c89ef40e3f122","datavalue":{"value":{"entity-type":"item","numeric-id":3989764,"id":"Q3989764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c563e7778bf9e6fdf3112cf00586ceb72a9f947","datavalue":{"value":{"amount":"+0.8539017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$C5FE39FF-AD6D-47C7-B024-52F9445C6F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df33900ae2c7eb75e078077745d8dd8594362f1","datavalue":{"value":{"entity-type":"item","numeric-id":3113780,"id":"Q3113780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb4ed4f1f75bd6f6f940138facfa947d62d26f4","datavalue":{"value":{"amount":"+0.8522178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q558312$24E04317-5637-46B9-B632-ACD3BCF6EBD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:558312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:558312"}}}}}