{"entities":{"Q3429016":{"pageid":3439719,"ns":120,"title":"Item:Q3429016","lastrevid":50065102,"modified":"2026-01-12T20:53:07Z","type":"item","id":"Q3429016","labels":{"en":{"language":"en","value":"A faster clause-shortening algorithm for SAT with no restriction on clause length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139036"}},"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":"Q3429016$F8C0F27E-53F9-4019-9938-E8F24D906E28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2710537054670119f0c1c908065496f5ce2205e9","datavalue":{"value":"1116.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429016$33EF6DC6-2339-49D6-97F2-092E785DBFA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429016$2996B06D-1A10-4D4B-99D4-F3F681A5FFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7649139491eb61f49fb33ab9e9af5fa921190939","datavalue":{"value":{"entity-type":"item","numeric-id":1791021,"id":"Q1791021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429016$A2C0CD8B-ADD1-4F4B-8C73-7B5DDD12E449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999c06250c45be6695060c162af57ec5d0c04ef8","datavalue":{"value":{"time":"+2007-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3429016$2DCCFBAB-1609-42D5-8C0D-1DE12573B085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429016$CA5A2B18-8542-4E0C-AC91-EF7616663FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429016$6864E5B2-0DAC-44EE-B75C-CB796B19FEEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af3420b5dafb39280154e1818e70078476d115c4","datavalue":{"value":"5139036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429016$382679CC-7392-40D4-8123-DA44AD655AE5","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":"Q3429016$B6345FC9-0BB3-4D7B-9990-B67DB596038B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba5295930191029d223c1ed02e8d25afa5e364f","datavalue":{"value":{"entity-type":"item","numeric-id":5713730,"id":"Q5713730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ade5e13d83c37e30e88cf9d5e01a7611fae57d","datavalue":{"value":{"amount":"+0.8922978639602661","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":"Q3429016$A9416C3A-68C5-498B-87BA-82AF40F592F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c80e0804d12bb63a2077948bca07f986da79dac","datavalue":{"value":{"entity-type":"item","numeric-id":3434543,"id":"Q3434543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f920d54b9ed4a0c9fd13bae9993e9e7168c91c80","datavalue":{"value":{"amount":"+0.8876716494560242","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":"Q3429016$3DF692DA-2DFB-4A60-8DF2-8BA5A9F7CE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e5a5770bdd285cf8e690dd1b104b3917e17995","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e8e094889e9386c5bb3b5228c6a32ad61183d7","datavalue":{"value":{"amount":"+0.8359315991401672","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":"Q3429016$4ABE6F37-B8D6-47D0-B537-FD52FC632D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3622608b55a92f960e835e00363d1035d678deb","datavalue":{"value":{"entity-type":"item","numeric-id":5714775,"id":"Q5714775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7ccb40e9cdbad2983168eb01821b974b1fc9ad","datavalue":{"value":{"amount":"+0.834561288356781","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":"Q3429016$433E005F-7373-4A20-A313-AF6A6A0A2D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c844e351da2b9f5c57b5b0cc942721bf25babe","datavalue":{"value":{"entity-type":"item","numeric-id":4250220,"id":"Q4250220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d01729ed45d96d4790d27b5c2a2b747f73fb096","datavalue":{"value":{"amount":"+0.8186613321304321","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":"Q3429016$9851FDA0-DE79-49F0-A306-2DC2054A5B53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3429016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3429016"}}}}}