{"entities":{"Q2939530":{"pageid":2950250,"ns":120,"title":"Item:Q2939530","lastrevid":44753706,"modified":"2025-11-25T19:24:32Z","type":"item","id":"Q2939530","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6389559"}},"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":"Q2939530$1379668C-FCDD-4731-B1BD-C01100346EF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97115839af56468456d72fc3124bfc302e521afc","datavalue":{"value":"1320.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939530$95EC416B-5EAC-4126-8505-302353A7176C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d8a720619d1a5dc68e821485592e701068e90b","datavalue":{"value":{"entity-type":"item","numeric-id":2939529,"id":"Q2939529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2939530$0109B6A5-E09B-42D2-AA9C-37C281A63A61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb6c16b18fb3fcb7c20a96f2fcd94ae71f0f929","datavalue":{"value":{"time":"+2015-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2939530$98830E92-71A8-4CF9-B179-ED546527209D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939530$9FBE42D4-199F-474C-825F-89607443EB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939530$FD5E75DE-81C6-47ED-8822-9B9968C79E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4df763a8c3c9eaa8d8207811aefd42fff4c3b0db","datavalue":{"value":"6389559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2939530$9316C0A8-5B1A-4809-890F-E7AA875059F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939530$9972C5CE-8659-4BED-A3D0-D906D0CB5B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b776b88c5e028a6ae98f4a6f5ff1a9ecbcab20fc","datavalue":{"value":"random 3CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939530$A2E98B5D-D149-4B37-A8B8-146019678A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba851b0fde0f3b0caeb1a6f95cbe513f811712f7","datavalue":{"value":"\\(\\mathrm{TC}^0\\)-Frege refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2939530$D20944B6-7464-41CC-BBB6-6988984FBB5C","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":"Q2939530$9D8FA3B4-98D2-46D9-BC39-2C1581AD9FEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a2c3f49d6637d4c48be749515bd081241959b4","datavalue":{"value":{"entity-type":"item","numeric-id":2939528,"id":"Q2939528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$99231485-C3B3-43DA-9E67-298EE775219E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec1a7e97beb806cdd1172c7628441c3682d3bef","datavalue":{"value":{"entity-type":"item","numeric-id":5966346,"id":"Q5966346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60c77cab7206ebd2235a8b7be5373755e227744","datavalue":{"value":{"amount":"+0.87298256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$10D37FB4-8782-40B7-86B7-447FF30CA04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641af1f0eaa11c6b86384e6d437d29b46be509b6","datavalue":{"value":{"entity-type":"item","numeric-id":907999,"id":"Q907999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60c77cab7206ebd2235a8b7be5373755e227744","datavalue":{"value":{"amount":"+0.87298256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$F7C44E9C-9A0C-466E-9D98-6A576C864D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235518248500cc9573708acd5ff88becd176ea4b","datavalue":{"value":{"entity-type":"item","numeric-id":5966347,"id":"Q5966347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce63288997d3ca63ba1805172eb2c3120a19e88e","datavalue":{"value":{"amount":"+0.8729825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$F2D877F1-0F00-4B1A-93B6-1E20EDD4BAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321b004d5b874909b62d9e5a4c92fd9409fa39e7","datavalue":{"value":{"entity-type":"item","numeric-id":908003,"id":"Q908003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f59c95cc7d281aa3c6c6c7b0397e3966825a0c7","datavalue":{"value":{"amount":"+0.82408094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$3120AEF2-5E96-42DD-9722-B8D49820A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a856ab52e82f4e6f3bb7a4de8e054625bed009","datavalue":{"value":{"entity-type":"item","numeric-id":1194640,"id":"Q1194640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741564a390ede26fabbf0a030a1767b1756987aa","datavalue":{"value":{"amount":"+0.818732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$9EC013FA-195E-47EE-83A2-6E7D9D6AB125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d131160ee4da726bf7c63655918d5f3a3d22111","datavalue":{"value":{"entity-type":"item","numeric-id":4614595,"id":"Q4614595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b585406de860b2118ba2e1dfb1047eea3b41762","datavalue":{"value":{"amount":"+0.8139587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$D9110CB6-2DBE-4698-9C76-8CACE1B73396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28eb176e12b34b7a880cc558310fd0d668e3383a","datavalue":{"value":{"entity-type":"item","numeric-id":5931827,"id":"Q5931827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6e9e100d008f95cfcf4c1419b11b2f17de99c1","datavalue":{"value":{"amount":"+0.81171924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$FFA09529-D8A2-4C74-AFF4-76C61170C142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36eae870d926dda4397ec5873097d6fca746bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2266450,"id":"Q2266450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615c9667fe6e82671b7a2b4fc63de86a08ba94dd","datavalue":{"value":{"amount":"+0.8025629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$781B01A1-732F-4722-9886-237D31DA7541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30ea1ff08d331f2419881d0b8f741915515d13","datavalue":{"value":{"entity-type":"item","numeric-id":1104582,"id":"Q1104582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbe69d29c2740ec69c80146ea50dbed8167bebc","datavalue":{"value":{"amount":"+0.8019249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2939530$40732968-A450-40B2-AC0D-C7D46E908C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2939530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2939530"}}}}}