{"entities":{"Q3378449":{"pageid":3389153,"ns":120,"title":"Item:Q3378449","lastrevid":87132296,"modified":"2026-06-04T10:46:04Z","type":"item","id":"Q3378449","labels":{"en":{"language":"en","value":"SAT 2005. Satisfiability Research in the Year 2005."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5016822"}},"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":"Q3378449$7E7CFDB2-1068-4935-956F-19048E3C67EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48a6ecad042fff27d2fa1e0f7361dacff86b3628","datavalue":{"value":"1126.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378449$F082E783-B0AC-495B-838D-79A31C28F52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afcad27eb489c4c20aeb8824a7639d1a51a6709e","datavalue":{"value":{"time":"+2006-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3378449$65242588-D665-4E9B-AD7C-E780066933E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378449$B9A6C625-8AF5-4C86-8632-FF879666F967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378449$C9EE8C45-44FA-48E7-B778-FB2CDF5C3EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378449$4015EA56-F8F9-497E-A9D9-C53D060BEE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378449$6AA35B31-BC3F-43A5-8B4F-140A8546FFE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac594f0d83c594f4c31c9a3d1d5add2ca934970e","datavalue":{"value":"5016822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3378449$83EA5F95-B69D-4F56-9E74-1D142170A84D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf0a414867b438e3ffc0425007e6f1c8b4e9da0","datavalue":{"value":"stochastic search methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378449$8E996CF7-E288-4834-B6EF-20CB4E358A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08527ef6211ebabce22fc293e11f085978561001","datavalue":{"value":"random problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3378449$6FA7CD53-68BD-44FE-BBFC-516FBD4D95BC","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":"Q3378449$F03A909C-36CA-4BD8-8A50-C8CC4582A619","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53df82030396a58aeacb17ff2ca466c9980c325b","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef18857926492c7c1b8c3dbfe49d12a791c9817","datavalue":{"value":{"amount":"+0.8240798115730286","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":"Q3378449$7B9A8B1D-0BAA-4145-8BE1-9657DBDFF3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cba8a57bc9620007504c125efeb4b8911d4b2cf","datavalue":{"value":{"entity-type":"item","numeric-id":3399426,"id":"Q3399426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccf95563bcc61163ace6591bbdb6c4371683169","datavalue":{"value":{"amount":"+0.8049232959747314","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":"Q3378449$C78F40F6-F119-4D26-9477-CC337D9B4433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1d7fec79653bdb375c2d9347c80c50a47014df","datavalue":{"value":{"entity-type":"item","numeric-id":3305326,"id":"Q3305326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114bb3f0c205bee484272db44675721015e0383e","datavalue":{"value":{"amount":"+0.7984382510185242","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":"Q3378449$DD36ABCB-7258-4753-A7A7-66E4A7C9F8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c079283dd0a285172364ee5f51a76f6a2beb3dc7","datavalue":{"value":{"entity-type":"item","numeric-id":4649533,"id":"Q4649533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7761acb5463b8868ec1e59b5b3b3dc644aa708e1","datavalue":{"value":{"amount":"+0.7931983470916748","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":"Q3378449$F99F6DE7-48B9-40FF-99CD-819E8CE35489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522a21868e9087e5914d72e0c74a7d588aedd47e","datavalue":{"value":{"amount":"+0.785097062587738","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":"Q3378449$08D4DE99-6201-47A7-9D49-194B6DC5D585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT 2005. Satisfiability Research in the Year 2005.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_2005._Satisfiability_Research_in_the_Year_2005."}}}}}