{"entities":{"Q367248":{"pageid":369015,"ns":120,"title":"Item:Q367248","lastrevid":61291851,"modified":"2026-04-10T22:24:48Z","type":"item","id":"Q367248","labels":{"en":{"language":"en","value":"Analysis and solving SAT and MAX-SAT problems using an \\(L\\)-partition approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211890"}},"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":"Q367248$2DF0A3F0-9758-46C1-8591-8BC28961942E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd4d23d1e7b42c89277e3d94c6b28863345f9ed4","datavalue":{"value":{"text":"Analysis and solving SAT and MAX-SAT problems using an \\(L\\)-partition approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q367248$EBE64453-8C9F-459B-9115-0861A462AB0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64c56e825101af5f30f24b019e55ea2efe55ab3d","datavalue":{"value":"1311.90078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q367248$E6533587-5CEF-4C66-B633-E379A3A87BDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c01385046a4d5b41d02d4f22a73112ecaf1db45","datavalue":{"value":{"entity-type":"item","numeric-id":367239,"id":"Q367239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$823F712F-6782-4B79-B2DB-BFDE316C16A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd4d867b9972dd54b0cef22e98edc9533051b9a","datavalue":{"value":{"entity-type":"item","numeric-id":367246,"id":"Q367246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$D9DB9102-7DA1-4838-925A-B48DF01177AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ed79581bc325028188d4218d809314378778bea","datavalue":{"value":{"entity-type":"item","numeric-id":367247,"id":"Q367247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$D4A38CFE-CD94-4775-B710-498AF4ED250D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfdc4c7c9f33a560a08cfb3ec53a245b670b1984","datavalue":{"value":{"entity-type":"item","numeric-id":367224,"id":"Q367224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$2A11E221-21CD-41E3-ACD1-897299B9BC69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q367248$C28A1D54-89A8-48FE-A499-4508E41EF40A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q367248$A056C158-2BAE-4DD7-ABCC-667CC66885C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"642659938f39695970d7e144ef8ff52dee486310","datavalue":{"value":"6211890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q367248$19CD0FFF-1C24-4373-8EA7-EDFDA5412383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q367248$CEB656F8-06A5-44AF-9077-D517DEDE7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q367248$3807AA19-3AC0-4149-B4DD-D0CB46F68017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483c23f0bf44fb7b0216eb7e6c4982cbed649f8d","datavalue":{"value":"\\(L\\)-partition approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q367248$5EF7394D-0F46-481E-88EE-700100917035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a69e3ac9ac6ac16ece62b582b16bdf19bca9ceb7","datavalue":{"value":"\\(L\\)-class enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q367248$5A56E1AE-AD44-4621-BA28-B925270F0450","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":"Q367248$43F356AE-DB86-442C-B331-0AFF7C339FC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68c2ac5ae16cd5cb5ceecfbadfc037e2647483f3","datavalue":{"value":"https://doi.org/10.1007/s10852-012-9202-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q367248$98FE8EBA-DB1F-422A-88B5-96DF085A05AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dd1a88711feab6b8009141b019a721866efa278","datavalue":{"value":"W2050768939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q367248$320EF5F8-7888-49BA-B53C-E1D811D173B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41aa6bc913a922ae55785d898926a3ba9ba08e26","datavalue":{"value":{"entity-type":"item","numeric-id":2487731,"id":"Q2487731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$30041907-8686-4330-9127-17065EBE0571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafca812d9e4c7ca1ddc3a0fcf890183aad4d322","datavalue":{"value":{"entity-type":"item","numeric-id":1288467,"id":"Q1288467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$2A965107-C374-433A-93DB-C720AC9F0990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f702e63241ae3cec44129c54af92e0c696c2d13e","datavalue":{"value":{"entity-type":"item","numeric-id":5687265,"id":"Q5687265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$2DFF1275-4653-4E35-AF0F-07A560E60D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$4920536B-9891-4B23-88FD-B24A2072C2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06a1cf495008101c543be10396f27d560f8c6a8","datavalue":{"value":{"entity-type":"item","numeric-id":2713942,"id":"Q2713942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$6472390D-FB63-457D-9067-AB139D6C6F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$F6E043D9-1704-438E-B456-0BE2BC187916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a677b60e524b8c5603b8630f4ea66a149e507f0","datavalue":{"value":{"entity-type":"item","numeric-id":1003073,"id":"Q1003073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$17A21A46-C1DD-4EDD-A3CF-6FC0204136A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$40E549FC-4219-4DE3-A4B7-06F5344E8E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4aeac74f72a9c40a680ab6677872f969ac9b69","datavalue":{"value":{"entity-type":"item","numeric-id":4783205,"id":"Q4783205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$F393D46B-6D15-427C-8350-38A6D4008850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe26e3d664e39ad7fa9a0f3fb41f2b37f6c8eeeb","datavalue":{"value":{"entity-type":"item","numeric-id":1028900,"id":"Q1028900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q367248$B962E0D4-A87D-4A49-96DF-2A120B53549A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9c028a7b019541adaede6e7ccf50a5cfe36c674","datavalue":{"value":"10.1007/S10852-012-9202-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q367248$C2D1C3C0-7DE0-4C3B-8AE3-B6F2CACACD3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86192f2e84f24f19dbcc328052a626c19d12af8","datavalue":{"value":{"entity-type":"item","numeric-id":2487731,"id":"Q2487731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc720e90d4260d77d6f13c3208c335f0f7c9e52d","datavalue":{"value":{"amount":"+0.8614345192909241","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":"Q367248$448A94FD-2A96-4EA8-925B-F85E9772653A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd7fa545b72419781ceb4cb8ad39d7522fde786","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb9429dab7ceab970e7716369d3390966a17b9c","datavalue":{"value":{"amount":"+0.7437987327575684","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":"Q367248$5E5749BA-A6BA-4F1C-A2BB-C5C67F991C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fab5ee2f1056f67c7cca1c78cd3b32f4dddc39","datavalue":{"value":{"entity-type":"item","numeric-id":3453232,"id":"Q3453232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff251f8532a206f4c0a8009f60762d64595e0ef0","datavalue":{"value":{"amount":"+0.741433322429657","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":"Q367248$DC7D9000-FEE1-4184-A1B3-A9B90FD62A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5181653640d40c17597bbc5114109377a3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1278588,"id":"Q1278588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779db9541913cbaaa4b67985fa03d389f471ddba","datavalue":{"value":{"amount":"+0.7402647733688354","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":"Q367248$C1877B15-FE6F-4B1B-B3C4-35C67A609CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31223187973944023253145f1d03a167fbe5bdcd","datavalue":{"value":{"entity-type":"item","numeric-id":5150565,"id":"Q5150565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa58016ec242125228c75283ccc0fe3254e2131","datavalue":{"value":{"amount":"+0.7387277483940125","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":"Q367248$82CC11FB-990F-4256-9F47-08E63487A2FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis and solving SAT and MAX-SAT problems using an \\(L\\)-partition approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysis_and_solving_SAT_and_MAX-SAT_problems_using_an_%5C(L%5C)-partition_approach"}}}}}