{"entities":{"Q386151":{"pageid":387918,"ns":120,"title":"Item:Q386151","lastrevid":61449348,"modified":"2026-04-10T23:26:41Z","type":"item","id":"Q386151","labels":{"en":{"language":"en","value":"Relativization makes contradictions harder for resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238565"}},"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":"Q386151$E81C15A8-F7F8-4D49-9675-9FB160A00730","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4c51602e24c1fa897fb0ff011c4d5e166091f9a","datavalue":{"value":{"text":"Relativization makes contradictions harder for resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386151$68C9C8F4-2B4A-48A2-B731-92AC4F0BE2A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9c2c43d32e4d4641922067a84a6cb660c623a1d","datavalue":{"value":"1277.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386151$EA233E4B-4AC5-437F-A1BF-1042A8620BED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$189E34CD-5CDD-4392-9E31-B86013DC29BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb09d87b39fd189b9631d1d1dd35ec7a70bf362f","datavalue":{"value":{"entity-type":"item","numeric-id":1300668,"id":"Q1300668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$06B60757-6D38-4D85-AAA3-FAC9CE0B8BDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$45E14034-E6D2-477F-9786-D412B3840E81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a62450392a17d45f89e0295c1852bbe3e4a63d7b","datavalue":{"value":{"time":"+2013-12-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":"Q386151$E7EEC5B2-645A-4314-AD14-E6A59BC3D4F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"243f580e8666a76b671ab6a2b2650032c1fff778","datavalue":{"value":"https://arxiv.org/abs/1304.4287","type":"string"},"datatype":"url"},"type":"statement","id":"Q386151$ACBF4BF9-7AF5-4372-AFFF-90706EE1AECB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386151$323B730E-B816-458B-901C-6DB87032D6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386151$10147895-6E1F-4918-8422-56D50DE8B751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386151$D31F2FB7-2743-4F78-AF6D-00B33301FBAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa51410f873f861a795c1a2b93f56bda4b149ad5","datavalue":{"value":"6238565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386151$D94992EF-D25E-4ACC-BA02-70A3682648E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q386151$ED39B2B0-F192-483D-8F04-0EF7A4526B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q386151$390E911B-717F-4D44-9785-A99D8787EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"694c9925c66d48cbb2403615a80f81f2cc2c0b8f","datavalue":{"value":"resolution-with-bounded-conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q386151$EF9FBB2F-5CBE-4AB3-BB0C-949F4439C567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f981a20ad21c1191d690bf6d5335753ee87507fb","datavalue":{"value":"parameterized proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q386151$F0ABCD38-CC5A-4EBB-95D6-7EE0F742EF24","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":"Q386151$6BAC7A93-F6C1-4735-8B58-6CB78A8F548B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d6e6f5ddb8074ff0d569a24a72218b8d1702511","datavalue":{"value":"W2089789793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386151$43E54811-E6BF-4AC2-9580-E52CD6298E57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"732f1daf72baa4ba13e112dbe469cad5280d3787","datavalue":{"value":{"entity-type":"item","numeric-id":4411848,"id":"Q4411848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$4E77B633-9739-4E36-9F7E-22F477972E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007954914d8eff0fc4ee51b199ff1a1b0e84b8b7","datavalue":{"value":{"entity-type":"item","numeric-id":5501765,"id":"Q5501765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$578DD6F7-95D1-4246-8409-7A31C41ADBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557337e01668ae38b0586e24e7e5c46c3c060c8","datavalue":{"value":{"entity-type":"item","numeric-id":1675824,"id":"Q1675824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$7A900B28-4096-4377-8D4C-8D03D8ED76B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99cc1cd7746f22de0f4c8666e4568bbcaaf07d1d","datavalue":{"value":{"entity-type":"item","numeric-id":5892559,"id":"Q5892559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$B8F6B0AA-8408-4769-A339-530371014443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143130260887422a871415146d6e17c87df04df7","datavalue":{"value":{"entity-type":"item","numeric-id":2444907,"id":"Q2444907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$3F871137-1BE3-4453-ABD2-F2F96D9EAC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da12c1432e895ffaa7205aba571b7f5bb2787ec9","datavalue":{"value":{"entity-type":"item","numeric-id":2947567,"id":"Q2947567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$4E2DFA90-EEB6-437D-ACBC-E765028ADEC4","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":"Q386151$7E057C88-7AFF-4F54-9E65-A7BDF9C0B7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed84c34f4da48aeb4cceb9e5a33a6759d511c02","datavalue":{"value":{"entity-type":"item","numeric-id":3434690,"id":"Q3434690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$106D32D7-D232-4D4C-A6FF-3A85AF61CC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72acea1de4df5bc55902cb0c0c058acf6efe878","datavalue":{"value":{"entity-type":"item","numeric-id":4928479,"id":"Q4928479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$07A77A06-7E56-479A-A176-251711251A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b599c1282d68ddf16f7f3ca83afc285b3d685e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5292633,"id":"Q5292633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$6E9A249F-1A28-4107-90DE-03BA48599196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d208daebf63291fddd0ab31073032ff3024ffda5","datavalue":{"value":{"entity-type":"item","numeric-id":451111,"id":"Q451111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$36363673-B358-49A2-9044-65C5483871A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$C57C18FB-B6A1-45A1-8759-5D46952B2CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$C3FE6B80-D29A-4E83-8242-A58A03C14236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$ED190E14-C339-426B-B1EE-9549E7BC847A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$5D3EB11F-54F0-4018-80D4-0CE83DFD1103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f420ebf9e7100bad0d1a67b793ed7f4c6fe5492a","datavalue":{"value":{"entity-type":"item","numeric-id":701740,"id":"Q701740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$F02FC276-00F8-4D87-8FD9-D59C89280DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$18E959AA-61EA-43FB-8431-229E14F56E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$60C8E61A-8543-4C46-A1B0-409D7D5E3F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6a6af974a4419b7b3acbd103c48728b5d4ef1e","datavalue":{"value":{"entity-type":"item","numeric-id":1601038,"id":"Q1601038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$C548AE93-C096-4534-AD24-D33F9F6FA81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf343a1e2f123348f890bc7a70792a232a32f55","datavalue":{"value":{"entity-type":"item","numeric-id":4521285,"id":"Q4521285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$590704B5-8F86-4C95-873A-C18F97F8AE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386151$F61D81C1-1248-4372-84EB-9596C797E2B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac855f333bf4abc400d4426fe1522bf84187c646","datavalue":{"value":"10.1016/J.APAL.2013.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386151$48D83CF6-52FA-4B3F-945C-28F1E717940E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8eb8a067ea1bad67ff2549b250b78c7978881","datavalue":{"value":{"entity-type":"item","numeric-id":3434690,"id":"Q3434690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9744d7570e2676015c66e3804bf7504c74a42cbe","datavalue":{"value":{"amount":"+0.8751755356788635","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":"Q386151$3A04DBCE-A60A-451C-86D5-62CBA6B3CC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f376cf2a0c9b4c3ca3a9f772a594f40c95e89ca","datavalue":{"value":{"entity-type":"item","numeric-id":4928479,"id":"Q4928479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580cbadaf85dac195ea0e87ad73331a842f070c0","datavalue":{"value":{"amount":"+0.8179340362548828","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":"Q386151$4284B97D-B85E-4338-8120-2E1D7673C545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8f08964365bf14e7e5de57d302a111fa64bcf4","datavalue":{"value":{"entity-type":"item","numeric-id":408157,"id":"Q408157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba03d3319d3bf724caaf1b225f2542bf0fe961ab","datavalue":{"value":{"amount":"+0.7741992473602295","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":"Q386151$A57A710F-49CA-430A-A2B2-6F049633486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9541788a4abb7db239f8ec05398f50c05aabecf6","datavalue":{"value":{"entity-type":"item","numeric-id":3576195,"id":"Q3576195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99842c262c1c92bcc8686cce80fadca4a2827a7f","datavalue":{"value":{"amount":"+0.7692289352416992","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":"Q386151$5008105A-0862-461E-A8CD-78CBC64CCE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7b7b96ff51c024e4b88a8d6c1f1cb8468de9b6","datavalue":{"value":{"amount":"+0.7548913359642029","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":"Q386151$D243FE71-9CA8-462A-B6A3-58EE9E1E6414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relativization makes contradictions harder for resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relativization_makes_contradictions_harder_for_resolution"}}}}}