{"entities":{"Q3604009":{"pageid":5633915,"ns":120,"title":"Item:Q3604009","lastrevid":50577737,"modified":"2026-01-14T11:11:56Z","type":"item","id":"Q3604009","labels":{"en":{"language":"en","value":"2006 and 2007 Max-SAT evaluations: contributed instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510698"}},"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":"Q3604009$67D2CDE3-886F-40A7-96DF-110B17EC000B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2e460985cbe9102e48c76d85fdcdfa1ef0cc080","datavalue":{"value":"1159.68565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604009$BFD3E442-5B20-4EAA-A4F2-BC119FE910B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d5029a19407694c0d46deb444f7fc5d33718a4","datavalue":{"value":{"entity-type":"item","numeric-id":2348539,"id":"Q2348539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604009$AE0AE54D-A502-401F-ACAD-8A371DC7EBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0fa9e77ae9ac54f182e764320d4341fa38a63ee","datavalue":{"value":{"entity-type":"item","numeric-id":814625,"id":"Q814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604009$9C7D3284-8859-4473-A6CF-B5AD4B4BCB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a8050d570f04095c439fd26cb9fe6bec468813","datavalue":{"value":{"entity-type":"item","numeric-id":309928,"id":"Q309928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604009$F1D09618-6436-4C25-8582-711174B7486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6762d1ba82a2a76a0a7b78040853784ad4cfa57f","datavalue":{"value":{"entity-type":"item","numeric-id":309934,"id":"Q309934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604009$C6B62FBC-4FE1-4F8D-86F8-7CC670D5A0C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3604009$3BFA22B2-8A9D-445B-ACF2-E627771FF0CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604009$61019291-B781-4E24-A418-5FAFAD87072D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56304eab2878c4d3b567cff263a8d01b246f3580","datavalue":{"value":"5510698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604009$594D70A9-52FE-464E-A584-2E2936AF4F6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0b79d00dcd225f54118701216b295c4b3cbb0d","datavalue":{"value":"Max-SAT problem instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604009$8EA03E9E-7883-4F26-B373-2D6A75B6208B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5eb5bdd02bfb8e3a9cc55a1cd3a43072511a1154","datavalue":{"value":{"entity-type":"item","numeric-id":15484,"id":"Q15484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604009$04D3FFD4-574A-4941-9315-F2E98BB2B385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"327d4a53b9450aa43441b555bcbd82aa43b41de7","datavalue":{"value":{"entity-type":"item","numeric-id":13494,"id":"Q13494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604009$57722A9D-D66E-41FA-9CD0-184DC8809683","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":"Q3604009$217AA68F-6637-4018-B991-3A226A83EB67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa3d8b57a1be3224267f9d52c5ed37fa5acffef","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cfc5ad96d4a3f95d23f6627e51ff29e5b0223b","datavalue":{"value":{"amount":"+0.8073216676712036","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":"Q3604009$DD980650-33BE-450F-B1AD-CF588D769F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd28027cb9ac1036d6cdd67d97f70dffe4d68374","datavalue":{"value":{"entity-type":"item","numeric-id":3502687,"id":"Q3502687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb832838eb1d771382e41f84d15feefede32bc0","datavalue":{"value":{"amount":"+0.750404953956604","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":"Q3604009$084E7714-9228-49FA-8A41-1CCBF1EC97FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4934434ee71f7f407cdfc2ef5b082afc125287","datavalue":{"value":{"amount":"+0.7337275743484497","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":"Q3604009$3962E4FD-DFBA-4453-AFD9-E121E56E1717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1f63b928faa2a3069ebe2e3a8ba479fbb41189","datavalue":{"value":{"entity-type":"item","numeric-id":360042,"id":"Q360042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479618124df958a06423639402b53b59008e2043","datavalue":{"value":{"amount":"+0.732381284236908","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":"Q3604009$61A706FC-1C3E-432B-B4FB-CEE887C21760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9495f4d718a6a21cda8386bf16c5c91b848453d","datavalue":{"value":{"entity-type":"item","numeric-id":5897208,"id":"Q5897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab5499157ccb31d07e4e04267a26e74ceae0249","datavalue":{"value":{"amount":"+0.7281230092048645","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":"Q3604009$4CE83E03-E99A-46B4-987C-B4DEC125671F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3604009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3604009"}}}}}