{"entities":{"Q1208436":{"pageid":1219185,"ns":120,"title":"Item:Q1208436","lastrevid":67060386,"modified":"2026-04-12T14:42:04Z","type":"item","id":"Q1208436","labels":{"en":{"language":"en","value":"A hierarchy of tractable satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166441"}},"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":"Q1208436$91853D1B-A171-411B-9189-534BDA931718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87034e13780c834521e8061119d47586c4a15dd5","datavalue":{"value":{"text":"A hierarchy of tractable satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208436$60A685B3-CBAD-4829-B598-B6148407160B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4797ba4dea9b1448d0effbc8ceb045ae393b8c39","datavalue":{"value":"0774.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208436$2A51F1C5-9A8D-4581-ACA2-078AF77707A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df02ce490bb6865020baa1e64e768b002308c94a","datavalue":{"value":"10.1016/0020-0190(92)90081-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208436$3AF73F15-CE57-4A68-8FFC-11C6C17B7E50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d18beea16d011733d9d6d1393743fe3cc5e38fc","datavalue":{"value":{"entity-type":"item","numeric-id":1208435,"id":"Q1208435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208436$85B9B21B-65E8-4585-B652-C53FD6F9C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e71d4ef96426827429512786613ada787294d2d","datavalue":{"value":{"entity-type":"item","numeric-id":1099646,"id":"Q1099646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208436$D51F1B37-90C0-4D7A-8710-A8C568C69BD1","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":"Q1208436$75B3704B-CC14-4ADE-B3A2-489A2F6CF2B5","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":"Q1208436$DA88DE81-16EC-4DB5-8003-591C070FA358","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208436$B4388955-8B32-4A3B-B453-7959588E32E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208436$A32CB4E5-1FF7-4804-AB5F-F61582288C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208436$24C1D03A-B22D-45ED-8D7F-761A920F742A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da774d8021fe7b243fe026b66afb1d68c22e520c","datavalue":{"value":"166441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208436$9BC80F70-DDA5-4DAE-AAEE-760DF3B8C1F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208436$300A5834-D3F7-43E3-BFB4-2A85EDE6E690","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":"Q1208436$251A1B00-0EA3-45D3-97F8-3F1E11E75D9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb3edd9bf0e14185b9557ada3b4ea57f739d8963","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90081-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208436$FAB1A366-88C3-4F41-88D8-FB6F38473170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed0d4e326e8a348dc4083ac47dcb51d25094bde6","datavalue":{"value":"W2080416548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208436$5CC53DAC-3042-45EE-9005-FEA85225DBFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c464582ae733c7e854270d41591b96fb4b962f","datavalue":{"value":{"entity-type":"item","numeric-id":1097717,"id":"Q1097717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208436$ED9C83BA-FE50-40DC-B869-BD42C334B24E","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":"Q1208436$AA0A5C30-86EE-4ABD-ABA7-723A289AD97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208436$50578EE9-B11D-46C2-90B8-29084BFFB450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208436$AAE7B12D-A391-48D2-BDAC-913407B7B5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb7524e03e885eff0a1c3c3b63046bd70d1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208436$733BE5F3-BA04-4A99-9FB4-E877564FC059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b353bc1298597265c71a16d3c350d4e62f0e57f","datavalue":{"value":{"entity-type":"item","numeric-id":3677734,"id":"Q3677734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208436$377B33D7-1737-44D1-A9EA-042A804E1EEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd9e5cacfc9a515f723536fa9ba0f70d9f901d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380432,"id":"Q1380432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a08357f61a548c3ba0a5f3156a20b4895b3f69","datavalue":{"value":{"amount":"+0.8615550398826599","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":"Q1208436$EDF696B2-0BFC-4F7D-BBC4-B1B7BB883BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354c72e56bd28bc96d3ca999ccd7601c9bdba468","datavalue":{"value":{"amount":"+0.8537333607673645","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":"Q1208436$43E4A5F2-9B6B-4133-890A-E5E3D42609C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a2800246fa37d112271fb5609378b318d48063","datavalue":{"value":{"amount":"+0.8046315908432007","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":"Q1208436$C520299A-6D94-4E40-A0C2-5240223AB4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95e22327925cc9f6612512d3bc9000bebc1e49","datavalue":{"value":{"entity-type":"item","numeric-id":1964360,"id":"Q1964360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caad49aceeb6ef0533c46fef8bd81ba4825b0dbc","datavalue":{"value":{"amount":"+0.8022082448005676","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":"Q1208436$86834260-D61F-41DB-9D31-DE5DC1EBB59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4df11fc868397d19521e862b6fa5bae8dba047","datavalue":{"value":{"entity-type":"item","numeric-id":1097717,"id":"Q1097717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd01b5dd12151846009b9e505f4b56b5bbc29296","datavalue":{"value":{"amount":"+0.7966952919960022","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":"Q1208436$6F718EC2-3FF0-421B-B7CA-B14935935CA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A hierarchy of tractable satisfiability problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_hierarchy_of_tractable_satisfiability_problems"}}}}}