{"entities":{"Q1273082":{"pageid":1283832,"ns":120,"title":"Item:Q1273082","lastrevid":68348055,"modified":"2026-04-12T23:06:21Z","type":"item","id":"Q1273082","labels":{"en":{"language":"en","value":"Experimental study on strategy of combining SAT algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228844"}},"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":"Q1273082$2C0815E3-284A-4FA7-8489-92096FF17773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdd97418d7e5eb076dce4d430df3b1a146882adc","datavalue":{"value":{"text":"Experimental study on strategy of combining SAT algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273082$46438BE5-54B8-46F0-846D-8D683788FD55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9177b3822db5a5dddfcae0cb9e25e964b92f18b3","datavalue":{"value":"0910.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273082$D1D3CDC0-8641-4B92-8398-D32B085A2ECD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1a7d525d3289a9172058b71b84983df13b6cb4b","datavalue":{"value":"10.1007/BF02946504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273082$7C58F46B-3065-4194-9305-BE6E1FB67740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d01d3b7567f3d4ff07726bdbd02a0d46424c475","datavalue":{"value":{"entity-type":"item","numeric-id":1273081,"id":"Q1273081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273082$51658F8E-FC35-4625-9BC7-D1B185F9485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c835723930c8715bbc1e5e0010014c39ac4238","datavalue":{"value":{"entity-type":"item","numeric-id":714081,"id":"Q714081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273082$E28C47BD-BCDF-4BA7-A55A-DA4C86364329","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273082$0112DDE3-74CB-43C7-A1E5-89B55647BB42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca5f3a2c1d04c3bfd148f9eb1b9937c36c9646b","datavalue":{"value":{"time":"+1999-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273082$3225A50E-DCFD-4A52-B2FD-1ECF372018FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273082$FA2662B9-1F21-4D0B-8C34-0D761584D361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273082$E439F319-0484-4463-AA5D-6EBAF6EBE0C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7949101998a1c32345a6eedc7b16ce082eee2d1d","datavalue":{"value":"1228844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273082$6F36F6A6-B07A-4363-BD76-FC9B2FD55530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93075c113c514ec5cfef089f598511d50a0c8524","datavalue":{"value":"SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273082$BDA7F344-89C2-4068-98CC-D2EC928C7BF1","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":"Q1273082$279289AC-31E6-432F-B40D-8453EC7C73E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebb8efdaf042166b86074274f53b03830ea6799","datavalue":{"value":{"entity-type":"item","numeric-id":1204869,"id":"Q1204869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273082$18F06E7A-E9B9-41AD-8049-D6687F5E3CC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1654d2e8bdaa1747010af772cec16896c470130b","datavalue":{"value":"https://doi.org/10.1007/bf02946504","type":"string"},"datatype":"url"},"type":"statement","id":"Q1273082$98637CC2-1848-400A-97F8-F7EF93B01B0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a96a5aa513d0c1930d57b50f24af35513245313","datavalue":{"value":"W2008842226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273082$9982DE7A-9D72-41C8-9DD0-4C43AC090AFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959cb3897716cc65c7beb773fdcdc6f13d6cb3e4","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca599adb26409bffe1440d478bf6a2defcf858c","datavalue":{"value":{"amount":"+0.772716760635376","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":"Q1273082$8BFCEF26-91F9-4436-B01D-491138FA154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc14f5e661cab86ba9b55014ab99364d774a6223","datavalue":{"value":{"entity-type":"item","numeric-id":4400641,"id":"Q4400641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b4e63c5c9531a27bc8ce457e7bc9cc2c6a740f","datavalue":{"value":{"amount":"+0.7723764181137085","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":"Q1273082$B301AFCC-0271-4245-A982-2B6AF042C891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdb66b8b7279614db584a247f7287b2a6f9eab2","datavalue":{"value":{"entity-type":"item","numeric-id":1961449,"id":"Q1961449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d0123c968d7f2f39cde030466863bdee8c07bb","datavalue":{"value":{"amount":"+0.7591307759284973","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":"Q1273082$3CBF77D5-4D75-40EF-90AA-7027503950D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d169ac9d8289e6f85561142930cd5d691f0cbdb8","datavalue":{"value":{"amount":"+0.7457472085952759","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":"Q1273082$AA310D25-AD6E-4246-B167-2D20B7BD47FC","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":"c21b4cbc448bbfd2ae9a96cb5f454493b9d41e38","datavalue":{"value":{"amount":"+0.7428008317947388","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":"Q1273082$7F1F27FA-E88D-4886-8067-421AD643378A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Experimental study on strategy of combining SAT algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Experimental_study_on_strategy_of_combining_SAT_algorithms"}}}}}