{"entities":{"Q4036283":{"pageid":6066002,"ns":120,"title":"Item:Q4036283","lastrevid":81376853,"modified":"2026-05-06T18:22:47Z","type":"item","id":"Q4036283","labels":{"en":{"language":"en","value":"A simple test improves checking satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168617"}},"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":"Q4036283$9D3A0900-7259-4C67-B327-0B6C7653B578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"821d01c2013487971ad30883049c35d87b4bc45c","datavalue":{"value":{"text":"A simple test improves checking satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036283$969D15B7-557C-4CE3-82A9-97BEE419F0B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35919784d8138cef033135b5e8656d3c946477a4","datavalue":{"value":"0787.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$E3EFD1DC-21BE-4767-822B-260EF7681939","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0addb2bc78116c7d4dfdadfaa1f04dec030fa8bc","datavalue":{"value":"10.1016/0743-1066(93)90015-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$0BD3EDFF-0E70-4059-8FD5-1C3F872F7123","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b386cb15465c96138c789d08a0a2f482c7b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":688557,"id":"Q688557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036283$ED0633A9-67EE-46E6-B5DB-81E9480E1045","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036283$982F289C-0C42-4B58-8561-4C6C03078D54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036283$2B0A343B-CD78-4C30-BF4A-081FDAC15D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$775294F3-02B7-4889-812C-EF15BF019FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$363BD45F-5A8F-4159-B4AA-EAB8AE121FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$449D4B3B-EC7C-4E72-A00C-31E7E3E03CF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9b40d0278a805620e2f20edef3dc6ba9ee99497","datavalue":{"value":"168617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$1B0187B0-581C-4C50-8BD4-FFB6B24B1889","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036283$398AD657-F235-4D78-929E-558B60BF81F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036283$319512E2-8506-49CC-B795-3A14B88943DB","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":"Q4036283$CD46B973-2A18-4F12-8D77-855CCF0291C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2d9170b06f2aef5f0906f3c2eccdf7a3fe47efd","datavalue":{"value":"https://doi.org/10.1016/0743-1066(93)90015-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4036283$4B42758E-8937-4D67-B1D0-3754D884933B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7308287d58ff2a042971c62125489337e7769f5e","datavalue":{"value":"W1968917402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$31AB4D02-AD32-4497-85F8-8DA7DBFBD8C3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c45d1406e1cc8efe0d356e5575bffd5e343e1319","datavalue":{"value":"Q127363420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036283$6B90A0CC-890A-4712-85A5-5442CEDE3BCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18eadd68ef3a275c2b540e7d1f3026fdd79c63b3","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a40e394e3b57497188dd57b5d71c8c70f7b7f1f","datavalue":{"value":{"amount":"+0.7898789644241333","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":"Q4036283$61985D63-D4DB-4BA6-9329-1CAAEF49590F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60fa935812c4d73cd232c9aa6df2e13174b9b28","datavalue":{"value":{"amount":"+0.7896363735198975","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":"Q4036283$BB1D4074-3FFC-4464-AB4B-9B3CE4CEDB2A","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":"8a964fb3533969cfc06de23bc15f2519070a9ff6","datavalue":{"value":{"amount":"+0.7837346792221069","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":"Q4036283$DD584B5A-DF0C-4075-B237-0236D1FFE93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a48cfab7b1a0c71690819cbbcfcfeec154a1ba","datavalue":{"value":{"amount":"+0.7707575559616089","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":"Q4036283$60AE69FD-2AC8-4E8D-B447-84E23E4A1879","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":"97a48cfab7b1a0c71690819cbbcfcfeec154a1ba","datavalue":{"value":{"amount":"+0.7707575559616089","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":"Q4036283$37CA9EA2-4478-4B09-83F0-BDB8C4317519","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple test improves checking satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_test_improves_checking_satisfiability"}}}}}