{"entities":{"Q2938767":{"pageid":2949487,"ns":120,"title":"Item:Q2938767","lastrevid":58065339,"modified":"2026-04-03T16:16:25Z","type":"item","id":"Q2938767","labels":{"en":{"language":"en","value":"Beyond Q-resolution and prenex form: a proof system for quantified constraint satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6386953"}},"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":"Q2938767$1B3093A0-AAC9-4080-BDD7-D125F754101F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"512a761f6c6ee2234afb1d84953e3a5e7d4aa525","datavalue":{"value":{"text":"Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938767$6291088B-AD47-4DE2-9ED8-5A7E74A5C10E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af2c523e3ca575a87ff8b18ce9db7d684f54ae19","datavalue":{"value":"1325.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938767$6244795F-A2FD-47A2-82E0-1D9BF415245B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8ade1c40baab36fe939609d859acd43deadd30b","datavalue":{"value":"10.2168/LMCS-10(4:14)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938767$1D1F16DE-8945-4951-8515-FD3BB8015CD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938767$18C3B3CB-00A2-46A6-8A4C-37AB18D621A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938767$88886BF7-764A-4292-A18D-E26418B70BA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"335462bcdc617573e4ae73f7b94853be1e60308d","datavalue":{"value":{"time":"+2015-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938767$6795BCDC-B8A6-4D94-94B0-6B8029E0C08E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dced25745eed76f50ed976fac8eb28146bcba47e","datavalue":{"value":"https://arxiv.org/abs/1403.0222","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938767$58F65443-A22B-479C-9E3E-CD61362D5868","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938767$08271451-D4B2-4363-9387-BBA65C3F846D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938767$1BD3AF13-6571-42E1-B36C-B29605A16E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938767$9C5DFD9E-E0A1-4492-9E7B-06951E7BBC30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e11272216dd9856cfee5320762cc6de3555fc1d7","datavalue":{"value":"6386953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938767$929266A8-9EA4-40EE-8065-50589B2388DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d2bc307fd2c88f5393329efed40fb2e06ad4cff","datavalue":{"value":"Q-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938767$B07607C5-A84E-4442-BB20-0746D6B3E734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938767$3FDCAB87-B1EF-47B1-83E6-1E617F600837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b621ca676ac35c93bb24d287d2bcc1a78d01e3e","datavalue":{"value":"quantified constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938767$80B08231-A3C3-40D6-9693-2187CCFC4A5F","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":"Q2938767$62E6029F-AEFD-4F58-B23D-06F2701BEDAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcb580813b687498a02e70dd9fff0511dba10493","datavalue":{"value":"W1817491722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938767$DEF5B1A8-491A-4A02-8551-C4E4E9A1F052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4263a13b06ef769c88db32d217b2beb10c22ce48","datavalue":{"value":{"entity-type":"item","numeric-id":2897943,"id":"Q2897943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecf6c99607c07390be50ff1c951ee025d686da9","datavalue":{"value":{"amount":"+0.7901224493980408","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":"Q2938767$C9C15E84-8144-4421-8093-FE4345579E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b200d3ff11ef58ecf946bbffa23fa7bf5c7e997","datavalue":{"value":{"entity-type":"item","numeric-id":1013082,"id":"Q1013082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958d259111399889d1eea013cdc693968e9e55c2","datavalue":{"value":{"amount":"+0.7736856937408447","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":"Q2938767$9C53646B-EE06-4C65-8264-9F354796028C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4583c7dc34c912944ccacbd38ec48d05fd386e5","datavalue":{"value":{"entity-type":"item","numeric-id":1020500,"id":"Q1020500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16aa2b51d327a0afb532a55f9422e08777751e6","datavalue":{"value":{"amount":"+0.7575771808624268","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":"Q2938767$1D2D5627-F881-4A0D-B97C-7DC4A150B512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266fba7e3c162efc291a8c6472bbd3c7108e2ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5292625,"id":"Q5292625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b850829ace876ca684c39a13dda270244ecf48ac","datavalue":{"value":{"amount":"+0.7573047876358032","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":"Q2938767$08B42B81-1A89-48B2-8F95-6DC7D3FCE499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a465bdbd3dc8d9cb0ebb918e6c87e4ab802636","datavalue":{"value":{"entity-type":"item","numeric-id":3532582,"id":"Q3532582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79305152af2daaf961503cc68f75c6aa9f9d78fc","datavalue":{"value":{"amount":"+0.7553600668907166","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":"Q2938767$7BE4148A-A289-457A-9194-E25949CFC331","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938767"}}}}}