{"entities":{"Q3624095":{"pageid":5654001,"ns":120,"title":"Item:Q3624095","lastrevid":58221396,"modified":"2026-04-04T07:14:01Z","type":"item","id":"Q3624095","labels":{"en":{"language":"en","value":"New inference rules for Max-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547902"}},"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":"Q3624095$C15E5B03-0858-4D33-880F-92B828957FC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"716265e03dbdad25498ac30529a550242e426eeb","datavalue":{"value":"1182.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624095$E43435B6-5862-4818-987E-E48B87F330FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624095$84036D06-BC00-4AF6-AAC2-F78330803115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624095$3CD68E4F-E082-4340-833C-C4855F375D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1386759083fa06706fff167aac6c7a385c25af60","datavalue":{"value":{"entity-type":"item","numeric-id":505971,"id":"Q505971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624095$7C6EA97D-5159-4C28-82D6-5CF9A1AFD45E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624095$36B350B0-1D79-4729-8A81-CF9D3D197D38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42f70f418989f5ce4f870488276a61ae0158c437","datavalue":{"value":"https://arxiv.org/abs/1111.0040","type":"string"},"datatype":"url"},"type":"statement","id":"Q3624095$B4B537B4-69EC-4179-A911-839AF54AB0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624095$497F8BCB-7A5F-4F07-B04D-6B6AC3DDB468","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"348749545e0b95a8ece0ac880d3b7f4dbc0536cf","datavalue":{"value":"5547902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624095$C33CA896-2590-42BA-ABBB-1C99ADA5D9E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624095$BB8C630B-C5E9-4C9E-89F7-8A504855933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea71fdcb28e7423582ae549591da29802cc5f9b","datavalue":{"value":"SAT inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624095$E3F074E0-1BB2-447C-864A-A691BA2CE6B1","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":"Q3624095$27869C88-DDC5-4DB4-B435-9819FD6B59FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e7d164f88a9cc2f9c66e32fba1612a2897a181","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d512ced290cbe0aac930598f5ce052e17151b7","datavalue":{"value":{"amount":"+0.8283381462097168","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":"Q3624095$2B7F3646-397C-4860-BEF5-A4CAF8C3965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b9b008697bfcf9ccc4f6c8247f5ea52c7ea915","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffba44ebded04ca5c7bbca3e4e0cb55b9d1d6ce7","datavalue":{"value":{"amount":"+0.823272705078125","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":"Q3624095$38FA7F81-7A6F-4C1D-8227-ED31E381FF7D","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":"aa07b04a3cd83eab7ba5af0814ebd12b4d4abba8","datavalue":{"value":{"amount":"+0.814316987991333","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":"Q3624095$830DBA06-202F-47E8-9426-37674630C5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385fe6d7cf1e95d81c9779e41148f51b625018a","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e37dfd2c875f41c4fd2b1bf446d9e459be8a48","datavalue":{"value":{"amount":"+0.8122512102127075","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":"Q3624095$12C681BD-D57B-4D4F-A56B-CBB51805D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e98ed37361c6e50899f7764860f279c641aa03d","datavalue":{"value":{"entity-type":"item","numeric-id":5756577,"id":"Q5756577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a9edc42430b149211a11105136d66ba3ca1096","datavalue":{"value":{"amount":"+0.8053678870201111","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":"Q3624095$66A2BD92-928D-4A5E-82BC-83C719CE5CBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3624095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3624095"}}}}}