{"entities":{"Q2818004":{"pageid":2828742,"ns":120,"title":"Item:Q2818004","lastrevid":79746284,"modified":"2026-05-06T14:37:09Z","type":"item","id":"Q2818004","labels":{"en":{"language":"en","value":"Extreme cases in SAT problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623507"}},"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":"Q2818004$CDE5B54A-AAB0-47F9-AB7B-4880E0765B7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c6cf99c675812bf6aaf58830724794fde5003b2","datavalue":{"value":{"text":"Extreme Cases in SAT Problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818004$82D7000F-6B60-4CC5-9302-9F19E73FBF68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5428d3616d27f4ea71d640f01be4c42c63e1a341","datavalue":{"value":"1475.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818004$44BF31B0-FDF4-42FA-8F5C-909848DE6BE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ca795a92ac8ce0f28d6b86973f7c61270502cd7","datavalue":{"value":"10.1007/978-3-319-40970-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818004$DC330804-497D-4C41-BC32-49D1D67E5ED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$430800C4-CA92-4DF9-B80E-1B18F5552741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5030f3a1f4f4cc7743a44d19430b0381408bf85","datavalue":{"value":{"entity-type":"item","numeric-id":630953,"id":"Q630953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$0AF7DFBB-F424-4D4A-AAFC-E40AE395CAF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$8718F3C3-481C-4B39-9936-9846C04A40E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818004$04DB8080-0CCF-4070-955F-9EE8E0D04F8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818004$C45AD961-584C-4431-9561-2C44B5D7DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818004$75B9D32F-DE26-48BA-A48F-04FA43DFCFB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1eb06fa8e74984eadb27b8e2a4c738824e2b885","datavalue":{"value":"6623507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818004$59E428E0-5E96-440F-937F-1E1717AD7F0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f7466c6eb953a93a7c0745dd82ece7d4ea52dbe","datavalue":{"value":{"entity-type":"item","numeric-id":37205,"id":"Q37205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$7D96FF39-A00D-48B3-9ABD-A8F72318378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$DA0C121A-2ECC-4F7C-9682-D1B06E72ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$49B13598-6ED6-479B-926A-441E5A6D4AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28477ed3d2ea9020ecb5e0f79b0842f7860fa8b1","datavalue":{"value":{"entity-type":"item","numeric-id":43511,"id":"Q43511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$DC63F6F4-3C41-4AF6-ABE0-D9A00031F684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$9015074A-FA3A-4ADF-BA85-CCD9ABCA8658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$718CE30F-EFF8-4427-A46F-C9865263406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$F70A6964-955D-4992-80B4-EFC08E6049FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$9C72AE96-EEEE-4091-9336-5B69F753F78F","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":"Q2818004$C17A7BC4-D14F-4E22-BE49-A4D63E41C6BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8462022d54333fc21212fae3c868edcb5eb7a821","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818004$AAB54583-EA5B-4938-9ACB-EDF57317260B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c60fa930f8611058dab2e9cd1863eddf583045dc","datavalue":{"value":"W2496887343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818004$E594FDE7-D869-4CD3-8249-DA8E1FA5141F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a8421977b18aba509820fbc232c7fc26ed102a","datavalue":{"value":{"entity-type":"item","numeric-id":2931261,"id":"Q2931261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$CE3DD8D6-E69D-4EF0-AE0C-44AD727DB4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66319efa68022a17b3f0d51cba4a6a8b45923c84","datavalue":{"value":{"entity-type":"item","numeric-id":5325882,"id":"Q5325882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$CBE65D6F-D98E-4C47-8CA2-A72A2CA67399","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":"Q2818004$2E94FE8A-79B5-4EAC-814C-8814E746627E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb81eb688c71ff90935f87157e454733c1c76b68","datavalue":{"value":{"entity-type":"item","numeric-id":3429156,"id":"Q3429156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$A82758DF-5112-4CD9-8AF3-7BCED341EC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$3A8B32E2-5672-4586-8B16-E750723F180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$9EE1AC54-6092-4ED7-B5BD-32E548A6549F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818004$7FCCB731-618B-41BC-ABC0-B0E9E90DE6D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e15248e8c160c741e80f6219ad00a22813d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a80a956a66b29d72f5baf583021e29d2b72b0b","datavalue":{"value":{"amount":"+0.762001097202301","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":"Q2818004$F9C73532-0AEB-48C8-987E-A14A02B8F473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8ab3ef8c0dccaae62d064fdab9de59a221b350","datavalue":{"value":{"entity-type":"item","numeric-id":5498062,"id":"Q5498062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01454b17826db90cd7ff646870ff2e29a0df3a1","datavalue":{"value":{"amount":"+0.7413027882575989","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":"Q2818004$B71C00DC-5192-479D-BD54-534007D9AC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b111e36d06940e16641767a817c99ad0a7784675","datavalue":{"value":{"entity-type":"item","numeric-id":5410641,"id":"Q5410641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bfb22dc901d5964dcdfcae35d2e25bb867fdf0","datavalue":{"value":{"amount":"+0.7400822639465332","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":"Q2818004$927A9153-B863-4058-9DFB-D5C16BECDF6D","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":"3b3347d9e324498b904eb04f52a86253f5cdce35","datavalue":{"value":{"amount":"+0.7393688559532166","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":"Q2818004$ABC72C43-19D2-419D-B2DB-4C7188095C3B","rank":"normal"},{"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":"4cef35a4696b1eeaf2508947c1e43d1c450a1115","datavalue":{"value":{"amount":"+0.7387421131134033","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":"Q2818004$B5439B2F-CD28-4201-93F9-C03BE422F9CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extreme cases in SAT problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extreme_cases_in_SAT_problems"}}}}}