{"entities":{"Q5144627":{"pageid":7174198,"ns":120,"title":"Item:Q5144627","lastrevid":100344332,"modified":"2026-06-05T21:54:30Z","type":"item","id":"Q5144627","labels":{"en":{"language":"en","value":"Descriptive complexity of linear equation systems and applications to propositional proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297829"}},"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":"Q5144627$7D897A1E-4201-497B-A6E8-C6B0ACB4E53F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bd4cd7e0cb27e85a4a3cc007ca4059e22709472","datavalue":{"value":"1462.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144627$92DED8BD-F4AD-4953-89C3-0CEE84F7EE0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144627$3AFDD014-CCA1-4EFC-B0F3-55F8BE58ACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c8bc6c8a825df1964dede9d8a7f5fde3c9f213c","datavalue":{"value":{"entity-type":"item","numeric-id":2254517,"id":"Q2254517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144627$CB31BBDB-2074-4D6B-AE4D-9AC9570B213E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144627$3661ED46-A8C9-4023-9E76-44D9FBE2C194","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e4a153f964dea52ad6f12a88929406101a928bc","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144627$507C73B3-2FF3-4045-B845-97777183C2CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144627$FA659435-903D-4805-8B38-BD22E36CE306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144627$E23D8C39-C461-476D-B238-54E0C781924A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c00041365905a4d7745c585e6ffcdab82134c1a","datavalue":{"value":"7297829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144627$142A8C60-679F-4C12-89E4-EF0FA8F3A336","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":"Q5144627$315F91F7-7303-4935-93CA-12984FAD7565","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31866b0236537a6a34b59be0c57d9ea3dbb34d57","datavalue":{"value":{"entity-type":"item","numeric-id":3511442,"id":"Q3511442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bfc0358d2a89db6a2543156b4326ffd4da9a36","datavalue":{"value":{"amount":"+0.8130550384521484","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":"Q5144627$EC8C5367-C46A-4E4F-8DB7-CE032405F970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d86d7352036e9fdda65a6311a1dc1f2ed60794f","datavalue":{"value":{"entity-type":"item","numeric-id":2865066,"id":"Q2865066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0aeba6686854401de5edf80e7272d04ecb4c30","datavalue":{"value":{"amount":"+0.8068923354148865","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":"Q5144627$C3F90CE7-802C-4B40-9D5D-17BB39254C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee06549dd3b17d88c27f627e587fbc58af5286a5","datavalue":{"value":{"entity-type":"item","numeric-id":4649548,"id":"Q4649548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188a5d3507543b10789a5af7f8b2b281a333c482","datavalue":{"value":{"amount":"+0.8065806031227112","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":"Q5144627$3704318D-CFE4-4F28-8871-37A65E911B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ba1c674b8c2ae1df7fd3017f835f546ef95963","datavalue":{"value":{"entity-type":"item","numeric-id":4625692,"id":"Q4625692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e66a6f6e501ba3d76f58ac94acef9621ba188d","datavalue":{"value":{"amount":"+0.7512437701225281","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":"Q5144627$46819089-1C3A-44B1-AE61-E06F9BD29096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703adb724ab299360fb30806591e423fa43d4d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5111195,"id":"Q5111195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398ff3c8960c3dffa9cab42dffac4f403ea38f3c","datavalue":{"value":{"amount":"+0.7506614327430725","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":"Q5144627$2CA345DA-C7EC-4E45-A7DD-360CD9AF1C3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Descriptive complexity of linear equation systems and applications to propositional proof complexity","badges":[]}}}}}