{"entities":{"Q2674174":{"pageid":2684917,"ns":120,"title":"Item:Q2674174","lastrevid":54403268,"modified":"2026-01-26T18:36:47Z","type":"item","id":"Q2674174","labels":{"en":{"language":"en","value":"Generating hard satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589955"}},"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":"Q2674174$2A4F1FEC-491E-4FDD-A2D5-A277FB8388AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b91f13c65071c64bdebbcf8e99ed2dbacf8093eb","datavalue":{"value":{"text":"Generating hard satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2674174$2F7E6483-D29C-43E7-9C36-4F740479DD06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1017368cd7346a737b9841c7b03c8ab634d81685","datavalue":{"value":"10.1016/0004-3702(95)00045-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674174$037E50CA-9061-4E9D-B646-82EF35C5A653","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$2215921F-3624-47B0-826F-2D40D69E5761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf66ad605c2389750c762f3e09350bbe05c21f94","datavalue":{"value":{"entity-type":"item","numeric-id":941818,"id":"Q941818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$E8E85ACF-0C99-4590-AA33-FA330111D045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9973a1e4932f35595f4ff75a28d3c2375ee8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":310091,"id":"Q310091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$45474DE6-F9E3-4249-ADE3-4E74A62C7929","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$634905CE-FB4C-44B8-A353-33E5DC6F7818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2674174$2003B404-66BA-4325-840B-AC61ACF286E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674174$DE085EC8-63BC-4A96-B1F6-48F2D97550A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674174$24D353AE-4E53-4AD3-8D90-D9B49C23D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674174$A678BF2C-EE0A-43DB-8F7B-6BFA380C5E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7e747a8636995b09e7df0df26d658311188545e","datavalue":{"value":"7589955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674174$C95B515E-6056-4071-B5F6-72378FAE616B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674174$2DA1FD42-3BA0-4681-BD66-4F94F400886A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08527ef6211ebabce22fc293e11f085978561001","datavalue":{"value":"random problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674174$5BE06F7F-A547-46D6-B14F-E23B43E571E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674174$3B6A9235-5B34-4B7F-BE47-84535627BE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8efefaf5c84d12d439a0bf12ff13dd42a28fac","datavalue":{"value":"empirical study","type":"string"},"datatype":"string"},"type":"statement","id":"Q2674174$326EF5FD-18AD-4289-9548-1D422BDF9BBC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$23A0BFA3-1803-4851-B8F2-427FA692AB5A","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":"Q2674174$AEF37F12-A508-4572-AAD0-D837E22F6E40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0068f8c9fe3ee8556b774559517600efee99e1e3","datavalue":{"value":"https://doi.org/10.1016/0004-3702(95)00045-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2674174$2AD1B7D8-5707-45BE-9E66-DB2B40C3166D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3228cd7d4ca13642cbc4ea5c3378cb77db595ba9","datavalue":{"value":"W2075335084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674174$6F87B224-090A-4D91-AB94-D4A4ED77C386","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a5d8a63df921013118e36ee66813ecd6cd05902","datavalue":{"value":"Q56039657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2674174$0392D7A3-365C-48DE-87FA-1D3E26CD606D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f65f2df26283b4a9172df35947b787a082599","datavalue":{"value":{"entity-type":"item","numeric-id":3660683,"id":"Q3660683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$EC6787BB-E6F5-40B4-8222-101ECDE3167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bdc200c096a90cb093d01083b69c58672a0aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3682518,"id":"Q3682518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$D70EB9F7-F9EA-4734-9AB9-38999C12926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b2263f8d8211ce059177d1aaaff38dc2b95526","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$B4C70037-7C67-4D90-905D-2AB00D04742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e02e9c674d233134ea38fb41ce14c527d11d38","datavalue":{"value":{"entity-type":"item","numeric-id":4431379,"id":"Q4431379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$82E838A2-1F2B-4990-9780-B5B258FA5B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$684A3CC7-A531-4168-8C25-896F116882FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$FEB266B4-B987-494F-B94A-411BBC06301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$34C0CE29-FAE7-47C0-BC26-9306949A2823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$ACA3D3E7-8315-40E9-B464-7CAC57BCB995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$7CA9E888-E300-45EB-8FD0-49886DDCBA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$1CFDC489-2C3C-49DA-8FD0-240C9A51CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$6640C797-84A9-47A8-863D-9826D9AC6FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$C342E0F6-D19C-4CFE-A28A-B94363D778B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$823E81F9-B1E9-4627-90B3-324B4FEA9045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622747366f4902ceec731cf1eef9724888dfca14","datavalue":{"value":{"entity-type":"item","numeric-id":1342226,"id":"Q1342226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$18ACFF1A-B1FA-4769-BFBD-B05B7D77E8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751438aa2bdc3c803c27cb64adcb3ea349c89687","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$7269C4FA-EAD8-4A30-A99C-9978094C0858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$07CB2DB2-394A-444F-9EE5-9FE60C1D6668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$7FBE332D-BFB9-4A43-BE4F-76A524347379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2261e03fb7a4b873cc7bf0aa682c707ae43c92d9","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$FA8AF44B-1E93-4998-9C86-720732CF97B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$BD295FD1-D39E-4C30-B009-76B0E47EF0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b76feeff5255660cf4420bad025ab8715feba65","datavalue":{"value":{"entity-type":"item","numeric-id":2674180,"id":"Q2674180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$F6D6D997-6741-4163-88EA-13612A5074C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08d698348eb856e79e6d633751285caeaf7da96","datavalue":{"value":{"entity-type":"item","numeric-id":3985347,"id":"Q3985347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$4133353C-1A40-44CD-83F2-707825D0B09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$3AF3A6D1-91C0-4298-955D-7664B4E59CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f282e413192988be7000e863e422ff5991f6cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":2674189,"id":"Q2674189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$9ED37BEA-B439-4104-BE3F-2E5C40BA7FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66dbe5e84ab28a4b86b4b30efa98cdfb9f224b3","datavalue":{"value":{"entity-type":"item","numeric-id":1190510,"id":"Q1190510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2674174$10A2B947-F4BD-4EF1-BA66-D4F0F67AF05B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46ce7b13c49170cecfc1d78de756210291815c8","datavalue":{"value":{"amount":"+0.8904469013214111","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":"Q2674174$DAD503EA-2663-49F7-AFEC-F529FD16A0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a997dda7215aa07c5fd4b4dbd3dc3dce7eb496","datavalue":{"value":{"entity-type":"item","numeric-id":3624048,"id":"Q3624048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862dd1f4e962f756d7e93fe5f5e32525bc8d5635","datavalue":{"value":{"amount":"+0.8564144968986511","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":"Q2674174$7927018D-DF08-4EE6-AE33-3C1609FED3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2471e11961283739c3bf3d54fd1859aec6d1bd","datavalue":{"value":{"entity-type":"item","numeric-id":1342226,"id":"Q1342226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1f86ee5bfa45e57ef07bc491f26cff3a809c18","datavalue":{"value":{"amount":"+0.8541924357414246","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":"Q2674174$06B8078A-39D5-4406-843F-076BFA2BAC05","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":"e3f2f5426d7e440677ef9bcef19e2ba98e962e96","datavalue":{"value":{"amount":"+0.8510047793388367","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":"Q2674174$36584E90-59CB-4FF1-8A82-555857B2D0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f8e1f437e45d3f33cc1812d5556bfbcb11e13c","datavalue":{"value":{"entity-type":"item","numeric-id":1028939,"id":"Q1028939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0777399872b8cc63e6b31c2da54df84171c1ab","datavalue":{"value":{"amount":"+0.8289687037467957","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":"Q2674174$E668AF5F-6A1B-4430-BE90-E4BE9B431E7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2674174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2674174"}}}}}