{"entities":{"Q5109236":{"pageid":7138810,"ns":120,"title":"Item:Q5109236","lastrevid":57218997,"modified":"2026-03-27T12:28:24Z","type":"item","id":"Q5109236","labels":{"en":{"language":"en","value":"A remark on pseudo proof systems and hard instances of the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7198328"}},"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":"Q5109236$82F585EF-9188-4C67-9A47-AFB1813586B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cddf3da835024c89720de2919ef7569855a2bd3a","datavalue":{"value":{"text":"A remark on pseudo proof systems and hard instances of the satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5109236$C6951B3D-20EC-41AC-A4F3-EBB0012B7591","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b21d00f84d9c5c43e2b91bdd5fb733d01daaf7a6","datavalue":{"value":{"entity-type":"item","numeric-id":227526,"id":"Q227526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$06F79557-E2FB-459A-B88B-AF6178DCD7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0582c8fbfa44d141be19fdff50b7f99a7578d7","datavalue":{"value":{"entity-type":"item","numeric-id":490659,"id":"Q490659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$9AD08DF3-F853-4547-8F9D-DDDF28E9098A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$70965017-0565-441F-88E8-88D694A8F932","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c9f499d49cd858839ed69f06faaba3904265fc","datavalue":{"value":{"time":"+2020-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5109236$CF8CA990-9391-4840-873C-2F3D240C3381","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109236$A75F064D-ECA9-4E12-9711-89F4EDD80B3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c69998c148ea1e78d34fe64dbe7f732358258345","datavalue":{"value":"7198328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109236$A1097A0F-C051-4752-A505-CE82E022DCFC","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":"Q5109236$037F5C5F-5EB7-4377-A44D-FBC5A295320C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66367fe958f00181f58a09b701d98bfa209da7bb","datavalue":{"value":"https://doi.org/10.1002/malq.201700009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5109236$A2447FBE-F097-4BFA-8020-DCF112A39631","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b92b28ae6334023a84f642d2fb541e7ddd4b037","datavalue":{"value":"W2900953594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109236$FEC03099-94D0-4BA6-8000-35207F238F99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$AB94F545-6829-48F9-8BA6-38BFB5E2FA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cc4c5b12bdeb4bc8fd4208a2741062bdf868af","datavalue":{"value":{"entity-type":"item","numeric-id":3413362,"id":"Q3413362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$868F593F-8EAD-4376-B464-E384EEB22107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c3baed160e8c123f48903d630c3edf922f9af","datavalue":{"value":{"entity-type":"item","numeric-id":2989039,"id":"Q2989039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$840F2D2A-6173-473F-B749-68A3E481E95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487f38e262822d522b57f0fe216056d28b3f85f0","datavalue":{"value":{"entity-type":"item","numeric-id":2925321,"id":"Q2925321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$AFD3D355-177B-474A-BC5F-2CEA5D7B03A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77c454cc969ea5e90121157c33fe1bd2bf680a5","datavalue":{"value":{"entity-type":"item","numeric-id":5892128,"id":"Q5892128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$CC258F19-613B-491F-B1AC-0F72F27A8511","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":"Q5109236$6EEDE659-714D-4983-B305-A8B67D0C1DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$93D6875A-98B9-4482-80B5-7A55512D68B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$02E70346-88CC-4099-9A90-562727B07B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278536c7c3383eb36e43f1e555463700d56e6cf6","datavalue":{"value":{"entity-type":"item","numeric-id":506954,"id":"Q506954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$04275E18-C2F3-45F2-8EBD-A54F3FFECAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7552d53fa71ff91555a1c402a2a60f85ea13602a","datavalue":{"value":{"entity-type":"item","numeric-id":2475580,"id":"Q2475580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$5E526C7E-BB35-4401-A2DD-D1D50EE85649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$EE2F309D-C9CD-4EB7-94D7-941D8CE1607C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754652cf2c90b088b8c9da15d520e7b56460f438","datavalue":{"value":{"entity-type":"item","numeric-id":693058,"id":"Q693058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$0C9A440F-0C79-4EFF-84E9-25DBF5307DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f17cfbca4d16ddc87e597ee781e49a0d4f36ba8","datavalue":{"value":{"entity-type":"item","numeric-id":1219274,"id":"Q1219274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$FBCF7948-876C-4CF8-80BF-83B514C3BA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f83a675042851e7def46e661d9c9c229da873b3","datavalue":{"value":{"entity-type":"item","numeric-id":5956013,"id":"Q5956013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$6E37362F-DDA1-43C6-8904-8CC67F5BEAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b516d8c03226a9aeb9d8670eb2d4ff9585861d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4100304,"id":"Q4100304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$F9D47696-9663-4CA5-B0EB-EF4C3DCC687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee03fb3b9fa03e0dae0445343af7572a8924e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":1288257,"id":"Q1288257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$B273B88B-DFEF-4EB9-8089-4F0F63514105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1d4a4467e7a66ae16006a64871f949eba352e","datavalue":{"value":{"entity-type":"item","numeric-id":3149879,"id":"Q3149879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$7E441E63-F15F-444E-83BF-7D0C8D762CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39418025026f0a76cdabd6c1ba0812c26d9bddd","datavalue":{"value":{"entity-type":"item","numeric-id":4381413,"id":"Q4381413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$460B3735-BB53-4FE9-B42C-7AAA2C82BE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$27C87F92-A653-440E-B088-B966D9B64AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251187bc98bfd9b233c6fccfeff83ea3f779e3d6","datavalue":{"value":{"entity-type":"item","numeric-id":436581,"id":"Q436581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$528FF774-231B-430E-945F-A33249364FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c90772fc37029fe7c158375a7e5f64f777700f","datavalue":{"value":{"entity-type":"item","numeric-id":3659788,"id":"Q3659788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$7A51AAC1-F3D9-4385-8417-F968636269E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df7e33e1d2f33d6300925582588504377a9a859","datavalue":{"value":{"entity-type":"item","numeric-id":2817668,"id":"Q2817668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$8305A6EC-7A2D-467D-9283-0ED219E1BD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b629e1413361f118411878c7a5d1f9a4067272c1","datavalue":{"value":{"entity-type":"item","numeric-id":5619829,"id":"Q5619829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$85C137AB-FC3F-4411-BA8D-FBBEC27BAE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d8541c367701354aff6d07e0d3fdf0848e0a5a","datavalue":{"value":{"entity-type":"item","numeric-id":2276952,"id":"Q2276952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$ACE5FFF7-E54D-4335-B04E-9375B9A24332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931de89fd04e19357f6e5b8ccff01e105ec8cbb9","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$397F8FF2-A846-4B89-B0C2-57BD81F25B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da5618afaa2ddac78f76c77d9e334b6b023e9db","datavalue":{"value":{"entity-type":"item","numeric-id":4770955,"id":"Q4770955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$ABC9855C-B59E-4304-A53D-2E154C04F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140435af93a6ed1b8ec0161dff7b0ca0590b1c52","datavalue":{"value":{"entity-type":"item","numeric-id":5222083,"id":"Q5222083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$76A272FB-4E97-462D-83B0-DF2F6F80BB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da5ea8a3859a6f18eb6831139b465c3fb4f7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":5823274,"id":"Q5823274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$610F2818-9317-47EF-95CA-E9F120A82D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481030b7d1e9cac5ae56ed6eb3a25fd1f256c35c","datavalue":{"value":{"entity-type":"item","numeric-id":5528665,"id":"Q5528665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$42EE6D83-C682-44F5-8D1C-194B1ADFDDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8719d26975a38d30fe99fe88d3e6a59450d41fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4928485,"id":"Q4928485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$9C56CB47-D3B4-482C-A6CB-DFE4187720A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51734af362df92b1a446e9a978af3d0dfbfd3267","datavalue":{"value":{"entity-type":"item","numeric-id":1678756,"id":"Q1678756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$BAA8EB8A-9B27-47D7-A9DD-0C1008B9DF77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"514cdcc494100e806e0809ecc52ff036c6f234df","datavalue":{"value":"10.1002/MALQ.201700009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109236$A1A40767-B6CE-4BAC-A2A0-84128EA8C6B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d4fb9568a7bd9b4eebd05bcf19edb58a76ced7","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252505542a665c4adc5673792a9bd114a1e5a2f0","datavalue":{"value":{"amount":"+0.7819757461547852","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":"Q5109236$BCAC535E-9837-4A47-9EF7-8B613EEE04E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b626f8d28de15d3be80c1c96e3b378807eb6bd7","datavalue":{"value":{"entity-type":"item","numeric-id":436581,"id":"Q436581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84c9fe2f0feaa6f9296243d4e31aa6cbfb9eb74","datavalue":{"value":{"amount":"+0.7795544266700745","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":"Q5109236$C02C7C5D-9992-4A60-AB6E-AE1117FC209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a996035d2e825b9d7a5f043cd2f3d3c6517f3a","datavalue":{"value":{"amount":"+0.763986349105835","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":"Q5109236$D06C4D91-D54A-43C5-84EC-E408656ECD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56f6cc49e8babb67d365ccbe97ecae50ca12879","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3085d2ebb79a06020a0e90246fcdc58f58f65403","datavalue":{"value":{"amount":"+0.7550923824310303","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":"Q5109236$F42C9450-EC73-4546-9D8E-DCCA40D43C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eee996fa620e61bdbac66b043c815f7f9f78887","datavalue":{"value":{"entity-type":"item","numeric-id":4530008,"id":"Q4530008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7ed867560a8742f2642be155ce7dd94cbd9927","datavalue":{"value":{"amount":"+0.7530322670936584","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":"Q5109236$AB485978-CE02-4831-A41C-DDB588DF4531","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109236$ABF14626-8645-4F46-8FA9-926AD7A98C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5109236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5109236"}}}}}