{"entities":{"Q3604004":{"pageid":5633910,"ns":120,"title":"Item:Q3604004","lastrevid":50577728,"modified":"2026-01-14T11:11:56Z","type":"item","id":"Q3604004","labels":{"en":{"language":"en","value":"tts: a SAT-solver for small, difficult instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510695"}},"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":"Q3604004$C43FF97D-FD14-411A-AF5C-E7C29A51C0BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a74ed9648ae30f7d407dc205eeb669265722b2","datavalue":{"value":"1159.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604004$E51B028E-E63B-48FB-BE72-819C5BF62D90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"245d0bc7375616bd7a1594ecc7f8fc6454215682","datavalue":{"value":{"entity-type":"item","numeric-id":1587691,"id":"Q1587691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3604004$A2BDCE07-8E5A-43DA-8AF3-8365872D282B","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":"Q3604004$09DFD296-1B24-4388-A5FB-8685185603CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604004$26690731-EC3F-45BE-969F-CA483F7B56B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef7c7844c4ba0b9d0ff711281349557bd183d1d0","datavalue":{"value":"5510695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3604004$94FAEA8C-33D6-4573-9897-87E873B00ACB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b6a96e947a9c0971645d659bfa1459fd5d70cd0","datavalue":{"value":"variable ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604004$4BDE5E88-3C60-438B-833A-379D291B9DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"605eaf52a7d40b4ca440dd997a658542e33d5665","datavalue":{"value":"simulated annealing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604004$69E2B174-505A-46DA-AF1F-CBB99E77E59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8973548b3c4a0bf4445d2686f550135f660ba028","datavalue":{"value":"clause memoisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3604004$B4998CC5-CB90-4C33-A9BA-E41F062875D5","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":"Q3604004$7FF36B2D-1138-489B-8C2B-B8E5B70C7EBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35984a5402e5ff5dca6ea85c3fa9b042c093ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92078fe60f031eef60e032e494790c9f2d092f5f","datavalue":{"value":{"amount":"+0.7553295493125916","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":"Q3604004$26959F56-7380-4FD3-8BF9-A3E40F092CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7a9d9694851385d0fdaf23db6f2e3e3bca031f","datavalue":{"value":{"amount":"+0.7455490231513977","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":"Q3604004$02FF99A1-74AA-4902-9A40-332122C344B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4853522bfb66c77bf28ef2c55a99cffbd219ff80","datavalue":{"value":{"amount":"+0.7450231909751892","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":"Q3604004$60220717-76CB-4282-8642-74930EB6F902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7f470638441c8536e9acea9af09605fb53b201","datavalue":{"value":{"entity-type":"item","numeric-id":5406224,"id":"Q5406224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db441c597783be1fe2f54d040d0369a32bab042","datavalue":{"value":{"amount":"+0.7444446086883545","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":"Q3604004$E2EC6938-F65E-4BE8-BCF2-82AA98D508A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aefb4f723cb299d3b7c4b6226767c9124c9c338","datavalue":{"value":{"amount":"+0.7413395643234253","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":"Q3604004$FE2C7B7A-A4CD-4DA8-A33D-12B4476E0ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3604004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3604004"}}}}}