{"entities":{"Q5310682":{"pageid":7340256,"ns":120,"title":"Item:Q5310682","lastrevid":41788089,"modified":"2025-05-08T08:28:08Z","type":"item","id":"Q5310682","labels":{"en":{"language":"en","value":"Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200152"}},"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":"Q5310682$5F3386CA-1BA8-44E5-B7AC-B1F64BEE88DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a17b6d2ab45eb3561137dccea3032b95313a806f","datavalue":{"value":{"text":"Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310682$110E0F37-9793-4B4B-9836-10568BE83383","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8dd229ed5a57235f9c79bcc1d75f52e2318f39d","datavalue":{"value":"1128.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310682$5C7FDC94-4FE5-42DC-BFE6-57BA585C70C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76220377b8f4ce7e5a0197e2974a4bdf578922e4","datavalue":{"value":"10.2168/LMCS-3(1:6)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310682$486E0234-06C3-4544-85F1-E7B9396B9E84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da8fce251f678eb843710c76aaf8c91a126fcee","datavalue":{"value":{"entity-type":"item","numeric-id":514136,"id":"Q514136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$FD0AC133-8AD1-4B27-92FD-60818C186E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a6e2901f37f07f61955e71608f708a4ec7051","datavalue":{"value":{"entity-type":"item","numeric-id":456408,"id":"Q456408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$F07A7268-DF52-4E25-9698-61FA6AD05C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$E5090D3D-3B09-46E0-8E6D-5945C3BA39B0","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":"Q5310682$54E68BCA-7AF6-4D30-857B-C7C470A38E54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310682$BB8E0E61-C6F0-4EA9-9CDA-149702CB0074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310682$998EC6E6-0BFA-4826-A3CA-B8175EA3B0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310682$44F46736-FE5B-4190-AC21-FE381409A583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310682$F657BCF4-6A20-456C-B2FC-9166F518076F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcdc9d0670ad5b2e139d630d1295c716bc7697e0","datavalue":{"value":"5200152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310682$460C566B-3AA1-48F8-A1BD-B924628393A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77606eeb419575f3b253e766ae571b916d0ffcc1","datavalue":{"value":{"entity-type":"item","numeric-id":13682,"id":"Q13682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$225C3B20-6E0F-47C5-A3EB-754122288E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"503825d68ed5a35842f88c1c76dc6088e21c1efa","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$13DC5691-10DF-4168-9D20-694F2C07D35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$4E9AEB38-410A-413A-BBBC-1AF24638267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$2F65FAF2-0533-490E-801B-D635D5BBEA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7fd3ae12a21b895625d5fa8551e6c3a4b0e306e0","datavalue":{"value":{"entity-type":"item","numeric-id":16027,"id":"Q16027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310682$6009C30A-AF55-420A-AF7A-4AB4EDE8D126","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":"Q5310682$6E2DAF23-18FA-4925-8418-38BB3236D058","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc74bf13c04ce1c7c858be0a0c4236cfa0591317","datavalue":{"value":"https://doi.org/10.2168/lmcs-3(1:6)2007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310682$A6D52306-A926-483F-9CBA-59D2578867FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ddc224538190a8c2e63334d50317044a3dd43e1","datavalue":{"value":"W2950188036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310682$F97765B0-F257-4ED7-85EB-5C16BFC18C32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2b60836fdca05782b0366b2d102e3bc0d14d5b","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6065ff0b9220ba356b460d0448c01e00222ce5d4","datavalue":{"value":{"amount":"+0.8819208","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":"Q5310682$B356CD93-1B21-4422-9242-681C2140C1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe61a7e3adbdcaaf405e1fe7b1951ecdd88dea1","datavalue":{"value":{"entity-type":"item","numeric-id":2457605,"id":"Q2457605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a46b0e5b3e1dc4c045866061be33f800e325b00","datavalue":{"value":{"amount":"+0.87399745","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":"Q5310682$D9AE6604-6E19-4EEB-83E9-CB88B183D6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c12b449c724f0c4e91bfbfdedba5626be71faa1","datavalue":{"value":{"entity-type":"item","numeric-id":2887072,"id":"Q2887072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fa1abce17f612827b73e3207b9932dd4d73c19","datavalue":{"value":{"amount":"+0.864008","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":"Q5310682$DB56168E-F22B-4BE1-91C9-7D3241DC66C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c2e3a3dc11619e373474c6b8d20ac525250941","datavalue":{"value":{"entity-type":"item","numeric-id":1855230,"id":"Q1855230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd4cd98d9dd3ca30be00fcba04c11f1fa2fa720","datavalue":{"value":{"amount":"+0.8563272","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":"Q5310682$F6D69F0F-112F-4F61-BE77-0F013908DFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5884f98900a139d68aedb9b92df1051edd605ac","datavalue":{"value":{"entity-type":"item","numeric-id":5394133,"id":"Q5394133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8ff781a22e58150e3c42b20e788ef17eaeff20","datavalue":{"value":{"amount":"+0.8542759","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":"Q5310682$FA1A85A0-8D24-44DE-B98D-2F21DE2F2E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751178be8b362e9ec887811ecb3ba57fc0f6b3b9","datavalue":{"value":{"entity-type":"item","numeric-id":5190260,"id":"Q5190260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569a76d32cfdf7eaeec30986556b1bbdc4bcef32","datavalue":{"value":{"amount":"+0.85002553","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":"Q5310682$9DFD5631-D3BB-44B6-9F89-394C02D6C9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1d7fec79653bdb375c2d9347c80c50a47014df","datavalue":{"value":{"entity-type":"item","numeric-id":3305326,"id":"Q3305326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c554f011b85f7d128a810ea263f32b0ba9fd3c1b","datavalue":{"value":{"amount":"+0.8473058","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":"Q5310682$A3E8FFF6-B907-4795-8FBA-0C76494E2254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81f5c5c64d0d5ae42f1a76cb1d03ef8725ff4ad","datavalue":{"value":{"entity-type":"item","numeric-id":5958636,"id":"Q5958636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7727cd55b5656dc62be3bfdb1e01a3af1d4090fd","datavalue":{"value":{"amount":"+0.84728914","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":"Q5310682$8E3FDDD8-2A0B-4D78-B094-1A81693D9E77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310682"}}}}}