{"entities":{"Q2938540":{"pageid":2949260,"ns":120,"title":"Item:Q2938540","lastrevid":52172195,"modified":"2026-01-21T02:22:35Z","type":"item","id":"Q2938540","labels":{"en":{"language":"en","value":"Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386613"}},"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":"Q2938540$8658CA9C-135D-45B8-959F-DAE143F8384D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ddb3862d0ac28d56d86a9d398f984ceab281708","datavalue":{"value":{"text":"Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938540$FFFF2EC6-57D0-4401-B51D-8CA6A9BAC49B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b184bf508e9f20d9dff89e277084351152f0407e","datavalue":{"value":"1432.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$E3BD02A6-0B97-4A67-B5B8-74B7A6A7F899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d61164f5e862e7484d70cc2207482b5725cfd27a","datavalue":{"value":"10.1007/978-3-319-11558-0_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$D9BB00C4-EBE9-48B2-96B3-4FF79E875837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dfae80337e3aaacb179f169f4256998e30d7fe2","datavalue":{"value":{"entity-type":"item","numeric-id":860387,"id":"Q860387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$AC5C42A0-409F-4DF0-9ED1-00CABFAD2173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c341599c3e863949eea97745bc45533d1828de0e","datavalue":{"value":{"entity-type":"item","numeric-id":814565,"id":"Q814565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$F7988F72-1574-4326-B6F4-444D19E953B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8190e9a1a4845efdf88bc371c3a8b6b210bdac00","datavalue":{"value":{"entity-type":"item","numeric-id":2938539,"id":"Q2938539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$1B843ED1-15CB-494B-8706-34D91E7F9EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11eeba1a556b3bf65f38fd098fcc8d38e57d4488","datavalue":{"value":{"entity-type":"item","numeric-id":842793,"id":"Q842793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$1807C9E7-5765-48A5-A5B8-BDEFCC300094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44e1ebd063bae01b0015c3747ab277093223f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":842790,"id":"Q842790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$5B796B3B-3217-468C-A715-3949D967DF9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$37B5420B-7C35-4325-978F-1CCD01D824D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263261338df616964a138c38a6f0c5b7f36f1f12","datavalue":{"value":{"time":"+2015-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938540$6EDE101D-4292-43E8-BE07-69D79E626C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$551627B4-C627-4C96-8374-2A5A4BCCEA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$B91D58B5-BE3C-4CA7-80A0-2D4B8184253E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$E302BECD-763C-4CCC-A16E-F1A90139D16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$9872C79F-7B40-475F-BFB1-FC71F80C6BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7708133d8e3f16b3077788c9f33677635eebc0c","datavalue":{"value":"6386613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$F474EDB5-F6DB-49C8-8845-7FBF259CA67A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$171F6ED7-6003-4C5C-AA83-30BFEEF1EEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f6c06eb054e186e9890edfc47972a59fd4b3b974","datavalue":{"value":{"entity-type":"item","numeric-id":19429,"id":"Q19429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$99EBC361-A621-4BB0-91F8-D46EAB50E404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7237258b836283bef33e897e128d37db9d627348","datavalue":{"value":{"entity-type":"item","numeric-id":13727,"id":"Q13727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$5D5406E1-A81D-4BC9-B9FF-A0ED3C300C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbb0bb2a8210f1f7926078c3d1e2fe559108eeb1","datavalue":{"value":{"entity-type":"item","numeric-id":25557,"id":"Q25557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$B6026667-3FD4-4BF2-94A2-756436DE299A","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":"Q2938540$C5DD0304-58E0-4225-AE0E-915088EEF78B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c376b358eba63d4262c440e29d22ff42f2718da","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11558-0_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938540$971E52E7-AB2C-402C-B5F0-7633E151767C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9c13beb9ea296b7ce197ae445ea99c9013bc204","datavalue":{"value":"W27905376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938540$B0E7315E-4346-4430-B800-46374197D57F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8e018ecabad3a30af0b316e894466def1f359f","datavalue":{"value":{"entity-type":"item","numeric-id":5493902,"id":"Q5493902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$C1A5D597-DD1B-4097-A3F6-4240FBF246A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d848b0164f348d2c91ca9fce279a81455334a1","datavalue":{"value":{"entity-type":"item","numeric-id":4015422,"id":"Q4015422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$02E2A533-04CB-4491-A1AD-BAC6F146C9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfdc3eaa2f6b84752ed0d70637ff5b1bc7bd9f4","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$CAC9E4DD-544E-40EA-BC64-B863D1062B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d0e3013ab16c89d201f2faed7831e304ca5ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5738967,"id":"Q5738967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$A7983D68-4E8D-4320-AA7D-CB706C6D660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232e19869ad1b77fc4b60187193e57bf7361853f","datavalue":{"value":{"entity-type":"item","numeric-id":3890444,"id":"Q3890444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$DF54B8CC-65AD-4C47-B7EC-BED07D3DB167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$A16D3B7D-3EC2-4853-8765-26A0FCCA6BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b39c0abf987f72ff3f94c59c4e99b62f2974e7","datavalue":{"value":{"entity-type":"item","numeric-id":490451,"id":"Q490451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$2A7D62C3-3148-49C1-B31F-AF2A9C064086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$E5138C47-9965-46F6-9269-21D3440E662F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77468c91b75fce4f83d41d0568d41a41b1c47e2d","datavalue":{"value":{"entity-type":"item","numeric-id":666352,"id":"Q666352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$4C0846D5-A3F0-47CD-A6B4-C46B453020CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$FD925E26-7CB2-453F-A836-DEFF4CF23172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a5eb340b9a0ad49d64cfad16253cbcf6809378","datavalue":{"value":{"entity-type":"item","numeric-id":1396651,"id":"Q1396651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$CCF750B0-1D06-493A-AE5A-5FFE68F10455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"167e78d3275c0c23cac7124f710e5050ecb041a9","datavalue":{"value":{"entity-type":"item","numeric-id":2441350,"id":"Q2441350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$03B4944F-2D87-41EC-A7DD-95F1BA0E7F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2932125c23b3ecd6776d10c660871417a0c9a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":5715662,"id":"Q5715662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$BE1B1C4C-1C4A-4215-B76A-67A182F7B15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa0894ba22d4eeaf0361a7dc3a8f8b7b37ef0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3067705,"id":"Q3067705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$3428DB77-0479-4013-BD79-AF217C087233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a66a16d4f6036909c76a0ad366001db31dea77","datavalue":{"value":{"entity-type":"item","numeric-id":4930765,"id":"Q4930765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$EDDEF5FF-87F0-4ACA-B8F3-41881B49D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ce073a559eb014c24d439e8bed6879ab9c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$A9EA38F9-BDF2-4F29-B0F7-CE06C1A22E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$B365721C-B921-4DCD-A1DD-DC7555A3662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e103ca71271ca222df8e5f110222a2d7e1b173f","datavalue":{"value":{"entity-type":"item","numeric-id":5312909,"id":"Q5312909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$220D0B2E-8F60-456C-8976-316A4D38C303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"773da3438bd5bb68942897fb23d22682bf91a870","datavalue":{"value":{"entity-type":"item","numeric-id":1194761,"id":"Q1194761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$CB09F97C-68AA-4F9E-A0B3-3AEC33134F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb92d396ac73c70abab648b0cf9f07700571ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1408386,"id":"Q1408386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$332947A2-2FC4-4F4B-A62A-D82C10655DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4045704bdf81dd16d250919485ee3b1ad882e36","datavalue":{"value":{"entity-type":"item","numeric-id":3523075,"id":"Q3523075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$952588F3-26D3-4C45-B3F9-DAAECCAD4045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938540$32B4DDF5-CFCF-4046-AE56-C86FB2A9415C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf6008e9e1ac69d9c0a77af3d89d6df786a99f6","datavalue":{"value":{"entity-type":"item","numeric-id":3569745,"id":"Q3569745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3dccdc42bc6261fc9428fa51c000a4742b6422","datavalue":{"value":{"amount":"+0.8038222193717957","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":"Q2938540$2C1A0D4B-A46E-46F3-BB7C-88930DDB3D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394f0f4f60d16500cdeec773a97dae721fa7d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3067705,"id":"Q3067705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30251200314598e7e546e5c27c1bc1dc0679d392","datavalue":{"value":{"amount":"+0.7395293712615967","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":"Q2938540$3EB84A91-7FE8-4707-B09F-10EF212B5589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbdf6bda79e8541ba0219b65f3e10755793f1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1599761,"id":"Q1599761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1165af154e99c725fb0b1905a7f8d3321c230d08","datavalue":{"value":{"amount":"+0.7231279611587524","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":"Q2938540$9B5F20B2-DFEE-452B-8327-AF74609AF4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d80691450a10d98e3a4381ce7401da1b1a3eff","datavalue":{"value":{"entity-type":"item","numeric-id":744218,"id":"Q744218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853112866592cd1682f81f15443757acfb8693c5","datavalue":{"value":{"amount":"+0.7180445194244385","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":"Q2938540$8F488501-F143-47CE-8F52-1CC87393A746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25cc637201fbf227887275808f7d9a19b0b7961a","datavalue":{"value":{"entity-type":"item","numeric-id":1722882,"id":"Q1722882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab87d323928a71593262f1cda2de0a45f32a9fab","datavalue":{"value":{"amount":"+0.7165520787239075","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":"Q2938540$8B5809F7-EACD-4502-AF46-6EFAE1E58A65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938540"}}}}}