{"entities":{"Q1430293":{"pageid":1441033,"ns":120,"title":"Item:Q1430293","lastrevid":70385553,"modified":"2026-04-13T14:25:09Z","type":"item","id":"Q1430293","labels":{"en":{"language":"en","value":"Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2069242"}},"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":"Q1430293$A773ED79-002F-4C47-875A-947C6E985B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71c3b000c169b85d4b569a2671c2082205ae6749","datavalue":{"value":{"text":"Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430293$607EB0D0-3FCE-487A-826E-3953AAD4CAD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbc2904cc1c9ae0c9cbbdb788083986c2348631b","datavalue":{"value":"1081.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430293$6356A6C4-C13D-4357-90BD-39750C94B92F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430293$4AF0FEEB-498F-4256-B76E-6E6F561AA80F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430293$C7B80E66-2B7F-41D1-85CE-A874AFB17AB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1430293$149B9E70-B59E-4A8D-AB15-61EEE2064286","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430293$469CB9D0-F832-4FA8-A4DA-5B9F456CC54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430293$E50654B5-A985-4D80-A2E0-032E4B9D0660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430293$42B59E85-480F-4F5B-8554-1A8F0DD17AC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a6fece00431b11ef9f550df099db60aece45425","datavalue":{"value":"2069242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430293$45591B32-056B-4B3A-B598-C5D25EF136A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$5B63C1AA-0295-4A55-AC38-5280277DED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01deb7ba23e108f7430a97c4f90f95bec20981e2","datavalue":{"value":"systems with partial instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$0849E6E1-F689-4C44-8C7C-EC113BBA732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$D8B1832B-F0C1-459B-B971-9C366CD20F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$CE916336-89FE-4CC3-B20F-3893B5F29D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608d94ce26f74f62626bfd1e90e5fc718af6e940","datavalue":{"value":"polynomial time hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$6AEB5B94-77D1-456C-B2B1-159856D53DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb4abf9f5ca4f0eeb6b31ed31c72d5223961f28","datavalue":{"value":"generalised resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$7DD10678-8231-4D50-93C4-C5EFD65BBCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b966c8ffeda858b6c1355c42355c38a26cf87c3","datavalue":{"value":"lower bounds for resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$A93201F5-1BA7-4E0A-8029-A3F64DB05705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3034fab17d7c393de7818e134f61f7c3d321b082","datavalue":{"value":"upper bounds for SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$E565A7D9-7E59-48DA-BCBA-CB62F7F814D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1355191b867d4b8cbbe0bf96bfde4c494fe4c5f","datavalue":{"value":"automatisation of proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$6DB01587-DEEF-4832-9AEE-65FCD88DB9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe405b216b0c1b6170cf3bdf1bdad96cc1a3ee12","datavalue":{"value":"generalised input resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$36EA676D-A62C-4DB9-957F-68D8B873A8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1882a2aa2ad8b5addab6129a8f8c5abd35bb0f94","datavalue":{"value":"generalised width restricted resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$00750654-3640-418F-89ED-F4473BFA33FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"119719a612ea91df71711e377e3c7093076f3d85","datavalue":{"value":"induced width of constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430293$9CB1C048-65C7-4B2E-A4E3-A70CEC45AEC2","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":"Q1430293$FF5E5A99-79FB-4E18-B49F-CED2503628F1","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":"Q1430293$D8700ADB-0048-494A-94A1-36767D554C20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41c4a97d6b218987ff017807cff6bc1281a3adcc","datavalue":{"value":"https://doi.org/10.1023/b:amai.0000012871.08577.0b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1430293$A57891D2-599C-438F-A238-048850E0B5E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d535938fe3fafa999741fde94c341e1da23e974","datavalue":{"value":"W2061783009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430293$9B1859BA-7857-4CB6-A652-DC096E9798CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"033f7ccc2b152a9cc1a5081f6889f023571c2a46","datavalue":{"value":"10.1023/B:AMAI.0000012871.08577.0B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430293$2663B7D1-7853-40B6-AE5D-0CA9B660BB0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c277363cf03217e922a94c25ff02fb87426df214","datavalue":{"value":{"entity-type":"item","numeric-id":5897216,"id":"Q5897216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930d4bcb2685ee149ebf695b60b27fa2d728b489","datavalue":{"value":{"amount":"+0.7691116333007812","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":"Q1430293$23F7D4C2-C967-4864-9410-3C339C69DBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2824205d706703e1c3d3f58efb7e55c5b1ccff09","datavalue":{"value":{"entity-type":"item","numeric-id":1961452,"id":"Q1961452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d36558d8461d5535a6b22e8ae7875cb4981321b","datavalue":{"value":{"amount":"+0.7489205002784729","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":"Q1430293$6437B783-69B3-418A-A14C-D4ED9F91BDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a13204615f85c9fa4953a0f158a78851a47c05","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49908001658dbadf78e44393a852b9e0c7525672","datavalue":{"value":{"amount":"+0.7464783191680908","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":"Q1430293$8D24432B-2E71-499F-A3E8-D1B9B831AD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771dec72d3256570268532dc1322fd937e2c4f6f","datavalue":{"value":{"amount":"+0.7453056573867798","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":"Q1430293$A4B309DC-EC28-471B-AA28-F2318207E07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2c74e144168edf965bb7b0476847fa84b4ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":3507525,"id":"Q3507525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a1ae4dea92badb8967933851db20c16d09ac67","datavalue":{"value":{"amount":"+0.7436090707778931","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":"Q1430293$E4BF302D-A636-4882-A11B-BC1231309CF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper and lower bounds on the complexity of generalised resolution and generalised constraint satisfaction problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_and_lower_bounds_on_the_complexity_of_generalised_resolution_and_generalised_constraint_satisfaction_problems"}}}}}