{"entities":{"Q1589482":{"pageid":1600222,"ns":120,"title":"Item:Q1589482","lastrevid":43229473,"modified":"2025-07-22T14:39:39Z","type":"item","id":"Q1589482","labels":{"en":{"language":"en","value":"Equivalency reasoning to solve a class of hard SAT problems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542287"}},"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":"Q1589482$07A86A7B-2C30-495D-A029-C1B928ED96A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e8bc1a385ac8816ea08352e858b3ed6fc5f890d","datavalue":{"value":{"text":"Equivalency reasoning to solve a class of hard SAT problems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589482$557B0E93-7E6E-40B0-8C8C-0CF6DD6CA6BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a11215adbf79e4997ee52f86c326baaf0eb24cae","datavalue":{"value":"1063.68591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589482$737A07C8-1D5E-47BD-ACDF-5FF294B4CEF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f838ea662a5704a3f5f657b542b391836519f3d7","datavalue":{"value":"10.1016/S0020-0190(00)00126-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589482$A3546DBC-D482-4985-9F23-262BCF225B55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589482$250B3585-CEBF-49D0-B5F2-CD2D0EBA1C80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-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":"Q1589482$EA69C937-26B1-487B-A0DA-FF2FEE6C440C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589482$6D7FDA48-E9B7-4348-BE79-0EB93C96BE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589482$7200E212-55F7-4F3D-8891-B931B3EB9CFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f869432c9b977739605d2d643e969f6544a21cd","datavalue":{"value":"1542287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589482$B25FD870-C08B-40B7-A750-55F6EF61FFED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589482$E748FBC1-56AE-4804-9074-C36C8E1FF463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e27ac58bb0f458a02189829740e61bb9319559c","datavalue":{"value":"Automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589482$A3E3C57C-D7E8-4DB0-BDCE-A652F6204214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2085f6ca6b5f22ff227aa538ed50fc77fe1a47b","datavalue":{"value":"Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589482$0230A69A-17BE-45BF-9014-F57D3B0ABCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589482$0FB6A753-99A4-4016-A2EC-F118C8B2CC0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589482$7CEACB7B-3CDE-46B5-B9A5-433836B94142","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589482$186B8264-938E-4173-BEE1-D6D4B766FD46","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":"Q1589482$36042D6D-3AEA-41E8-B18A-F920A1663198","rank":"normal"}],"P223":[{"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":"Q1589482$F02A0D9A-BF86-49CF-948B-1EA49C92BC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adb737d4342c65e2b4f0a27fd95909e84e19ee","datavalue":{"value":{"entity-type":"item","numeric-id":5897190,"id":"Q5897190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589482$D743270B-59CA-45F9-B886-608F8A9B8067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aef64f32a1f6169822d7a18205bc079ffd78669","datavalue":{"value":{"entity-type":"item","numeric-id":1306378,"id":"Q1306378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589482$FFF4D3B3-2971-489C-B06D-CF9CB68A9F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589482$DBB18031-7A99-415D-B579-B6A8E01444DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ad397f646af2d3e4960947453b8ad440834537c","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(00)00126-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1589482$992344B1-EE64-43AF-8178-971058A0A4DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab9c5a9ade4394906e7f1303a7f6063e1cce1dec","datavalue":{"value":"W1979093351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589482$2DE67D27-40AF-4299-A99F-53FFB919E1AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1589482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1589482"}}}}}