{"entities":{"Q892133":{"pageid":893981,"ns":120,"title":"Item:Q892133","lastrevid":57192390,"modified":"2026-03-27T10:40:47Z","type":"item","id":"Q892133","labels":{"en":{"language":"en","value":"On the complexity of finding falsifying assignments for Herbrand disjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6510999"}},"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":"Q892133$03D89535-A54A-47F5-8C98-A08AB5D3E9DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc9f856d94a8a08e0514a7409767f5e028e83a3e","datavalue":{"value":{"text":"On the complexity of finding falsifying assignments for Herbrand disjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892133$347F50E5-0E17-41AB-A43A-EC1ED34C65DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6bacb8241908abe01c3f426e2d0cc7ac6e015fb","datavalue":{"value":"1378.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892133$9A8B4B7C-2B28-4CD1-A880-5DC29E2C9F21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$F46083CC-31D8-4B3C-9364-E091B5B4D36B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$EE18A350-18E9-4D64-A167-DCFBCDB4A328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892133$37CFD6AC-54AA-4455-883F-D7744C3FFEFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0219242576820462c4c87185fe5e39d2efddd3d","datavalue":{"value":"https://arxiv.org/abs/1411.3304","type":"string"},"datatype":"url"},"type":"statement","id":"Q892133$800B6F5E-6BF0-4569-99C4-AACA879EA5AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892133$1F9B6086-54FB-4D53-A76F-97DD1B020D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892133$37DAAE62-CE7C-4680-AE3B-F6C0997ED6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892133$7AC703D4-54FB-46A6-88AC-7C2B53F4B589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e73400707c5ddb96778ca4c857c4bbf19218f86","datavalue":{"value":"6510999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892133$85D3F113-16A7-48DC-B598-6EB58107E756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q892133$743117D7-4F7D-4BCF-9F9F-28F1442A1AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109b0eb89920d44f13c275262296e8734b8d78f5","datavalue":{"value":"falsifying assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q892133$D75F3013-FF7E-4CAB-815E-E0C41AC73AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07c756494b9619e7df28b06d279b8bb4053f5dd","datavalue":{"value":"polynomial search problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q892133$14FF3B41-DAC0-47C4-9E90-C47F97667905","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":"Q892133$2E85A3F6-DBC1-4A5A-94D4-09B3EE3A834E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abd9074323c37c338dd736d639cf0317e58002d9","datavalue":{"value":"W1530232604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892133$79FFEE89-B3D1-466A-B708-BC70492AF51E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$9BCE9729-5F20-4B25-B9FA-A6A14C82FCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$5753ADD6-B79E-4F22-B44E-EB22A4254E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$E0F0A3F2-74CF-47FC-AEA8-E0E87EA5D9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$FD03F3C1-03D9-4DE3-80FB-7B2336706401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$CFD77107-6378-482E-8BC8-C0D9A4D736DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$60316637-73BA-486B-B806-06F6DEC7FC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f988a28c6c270b39799b8ecc681337eb8b872d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4913583,"id":"Q4913583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$CC0536BD-0B47-4C11-B0F1-6846C59BAC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbff7fccb24b79b684abc97ac3c1bcc3f5f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892133$2F0D8005-147E-4919-90AF-C3612AD87086","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23d84407ecc93c0365d8517e7606e8aef8edf8e0","datavalue":{"value":"10.1007/S00153-015-0439-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892133$357EE224-A7B1-4F99-A59F-74B24CDAFAF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29754992425908514166e356ff0ea596948fed","datavalue":{"value":{"entity-type":"item","numeric-id":3159414,"id":"Q3159414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b921c8278ff2ce69caa79d53c9ffb14088a55dd","datavalue":{"value":{"amount":"+0.7404011487960815","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":"Q892133$44B1A37D-6A04-4280-B8C5-F3115C43349B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ea6c0c20337bd90fe377978dcf87d1071f87cb","datavalue":{"value":{"entity-type":"item","numeric-id":3149221,"id":"Q3149221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a24824227105f2712408042b49abeb580ed7b8","datavalue":{"value":{"amount":"+0.7293370962142944","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":"Q892133$B80DF2A0-F86E-4598-91EF-A0B344C5048E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f57ae9a0eb625b12ef643043b0fdd958bbea59","datavalue":{"value":{"entity-type":"item","numeric-id":1023053,"id":"Q1023053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76c5cfc64a8ee737468299ef46785dd0bf3cf9c","datavalue":{"value":{"amount":"+0.7293369174003601","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":"Q892133$60328A6F-09A2-4A0E-BF3F-6551E8345BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af5ca757c25c8db274e3ccec3fdcbe2899f8c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1745728,"id":"Q1745728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb30ab0b724277e15cecfc5bf5768e914736713","datavalue":{"value":{"amount":"+0.7278554439544678","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":"Q892133$D3B27D65-BEBC-4663-A8E8-BD350752AEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6713e7caf7e03b42d054a58d7ddf8fe4c07fae","datavalue":{"value":{"entity-type":"item","numeric-id":5278209,"id":"Q5278209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903686796d2c2e2224837e3f7ee6beaddac323f7","datavalue":{"value":{"amount":"+0.7273858785629272","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":"Q892133$7A3FBA89-5BB3-4ED9-8010-B06A6B85B3DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892133"}}}}}