{"entities":{"Q5111442":{"pageid":7141016,"ns":120,"title":"Item:Q5111442","lastrevid":53740715,"modified":"2026-01-25T15:42:29Z","type":"item","id":"Q5111442","labels":{"en":{"language":"en","value":"Proof complexity meets algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204562"}},"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":"Q5111442$209C117B-0B29-4699-B8AB-8039AAD01969","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d53443c2dc69b5e5caefa469364b090408de274","datavalue":{"value":"1442.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111442$5DEEC5D1-23F7-4519-A7AF-5AF35AE8EF8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111442$F21441AD-8D77-49A4-BCB5-26A0478626B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"950f75f7d7f2d8f7df4fd6792567c597f1910a65","datavalue":{"value":{"entity-type":"item","numeric-id":2946355,"id":"Q2946355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111442$54A4C080-64F7-4AD5-82FE-731FF8ACEDEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111442$D83ED996-9BFD-4577-86C9-43EF12DBB345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111442$D86D389A-FD6F-4BDA-B99B-990712A1F633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111442$7F72C2FD-D5D4-467B-8B7E-1656067BC440","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"731f4f4b6d01f11852748c278ff5a40c0b89f562","datavalue":{"value":"7204562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111442$7757B318-DF46-4433-9C78-275086CB5337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111442$E8B95579-6EF0-4EE8-9F5D-744AFAB05372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111442$0891D1A7-6ED0-40EE-B761-F7EF4E6089C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111442$3A00068C-4416-43A5-B552-89EC9F3FD958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"254ee95e3e7fdb21d335e5fc967bcbf8a7780a27","datavalue":{"value":"gap theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111442$C600202A-6B90-4102-9CF6-9B4A4075EC6F","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":"Q5111442$1F5E9DA5-CED6-42B5-A7A5-401CD4ACBABE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeb8b0079058abaa73fec44bd5ce8159bc1241d7","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2017/7495/pdf/LIPIcs-ICALP-2017-110.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111442$9E11AFC1-1B15-4992-8C8B-FD9DC4410484","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01e907f0e51b3ace0e1194562b43abdb1d1ba7f9","datavalue":{"value":"W2963245542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111442$FA59B4CF-E599-4CAB-AFCE-F999FDE14962","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1bf2671908215280fc9602952a1120930a0ad28","datavalue":{"value":{"text":"Proof complexity meets algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111442$E71E403C-8EE3-4BE1-AC71-6A4F198FC31B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d4654481c005aca156681a8a52669fcd19905d1","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111442$50F36BF7-D270-4B18-BD22-BBF950E00B0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba525640b96df844a8e4f6887537ce2972e33ce","datavalue":{"value":{"entity-type":"item","numeric-id":4617977,"id":"Q4617977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a7346a54cc8fec86899cd4a86ad65f2bad3752","datavalue":{"value":{"amount":"+0.96675044298172","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":"Q5111442$A9B6C197-DF80-4579-B6E6-7D9820FDCA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20b0366d57d9dfce8a50876aa297e4e5267d80b","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4315ecc42a4251655957a3f68b824408949b1a","datavalue":{"value":{"amount":"+0.808070182800293","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":"Q5111442$EE3E44CF-11AF-4338-84AB-A9B16B6BD0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d043fc9ab621a54ed7bd490cc2f9a4e7d66384d4","datavalue":{"value":{"entity-type":"item","numeric-id":1947040,"id":"Q1947040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4315ecc42a4251655957a3f68b824408949b1a","datavalue":{"value":{"amount":"+0.808070182800293","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":"Q5111442$03ED147F-867D-4690-8D22-6BB6CFC4DF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f6aa68d56e4626708c03cc970a2af772ce289","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3ffffe08084a22ea7dab5fc5a4df864082fc51","datavalue":{"value":{"amount":"+0.7979004979133606","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":"Q5111442$075D980A-4D5D-49BF-AEA3-E2616DC38637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ea5cf7cb0e23e6cfd1151eb8ebd39ce739b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5145666,"id":"Q5145666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202ae7d976d00ee9f335bf2fea61f2bfb250b1bf","datavalue":{"value":{"amount":"+0.7726044654846191","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":"Q5111442$2B0590A7-1AFD-42BB-AB49-4F13421A100A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111442"}}}}}