{"entities":{"Q1176198":{"pageid":1186947,"ns":120,"title":"Item:Q1176198","lastrevid":66435618,"modified":"2026-04-12T10:03:38Z","type":"item","id":"Q1176198","labels":{"en":{"language":"en","value":"Arithmetizing uniform \\(NC\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13596"}},"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":"Q1176198$7BDCC65B-8F54-4262-9417-041653F2D123","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3579858ce658f7be5de54b1aed0393004f18e444","datavalue":{"value":{"text":"Arithmetizing uniform \\(NC\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176198$27F59403-FAA0-4779-822F-8394F74F263D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b01fcaf1a0450ff766d39c2f1ede16175418d4f7","datavalue":{"value":"0741.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176198$B34E6CC6-9ABD-46DC-97F5-8AFBCBE89E7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5516ae7083e4489af7eeff139a71da6548601a08","datavalue":{"value":"10.1016/0168-0072(91)90057-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176198$D8DE396D-0EA2-4508-8851-6DCF26587BB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2d90234b166cb351eb05af4642fd9cdd2fc281e","datavalue":{"value":{"entity-type":"item","numeric-id":1176197,"id":"Q1176197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$612DD5FB-0BCF-4C46-BB24-8729D663F01B","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":"Q1176198$8FD28B32-9DF0-4255-A529-B9E0B1830357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176198$725E334D-B71A-4D08-90F9-91710FC1BA88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb647e90a96a0e574562da8c04e34679862cec68","datavalue":{"value":"The characterization of classes of polynomially bounded functions by means of bounded arithmetic is the central theme of this paper. The three concepts: 1) Boolean circuit definable, 2) (mathematically) recursion definable and 3) representable in bounded arithmetic are analyzed and compared. The paper contains many interesting results about polynomial complexity and induction in bounded arithmetic. Of particular interest is the comparison of different induction schemata for bounded arithmetic, where special emphasis is laid on a recursion schema modelling the divide and conquer technique. We shall describe some of the concepts and results in more detail:   NC describes the functions computable in polylogarithmic depth and polynomial size by families of Boolean circuits (the family has to be log-space uniform).   BL denotes a class of functions containing some basic functions (among them are lading functions) which are closed under the map operator, under composition and under polynomially bounded branching recursion; polynomially bounded branching recursion is an abstraction of the divide and conquer technique.   The first main result is that BL is equal to (logspace uniform) NC.   The second part starts with a presentation of bounded arithmetic (quantifiers are term-bounded), where different kinds of induction schemata are analyzed:\\parindent=8mm\\smallskip\\begin{itemize}\\item[(1)] the ``usual'' schema: \\(\\Phi(0)\\land(\\forall x)(\\Phi(x)\\to\\Phi(x+1))\\to(\\forall x)\\Phi(x)\\qquad(\\Phi\\hbox{-IND})\\);\\smallskip\\item[(2)] \\(\\Phi(0)\\land(\\forall x)(\\Phi([{1\\over 2}x])\\to\\Phi(x))\\to(\\forall x)\\Phi(x)\\qquad(\\Phi\\hbox{-PIND})\\);\\smallskip\\item[(3)] \\(\\Phi(0)\\land(\\forall x)(\\Phi(x)\\to\\Phi(x+1))\\to(\\forall x)\\Phi(| x|)\\qquad(\\Phi\\hbox{-LIND})\\) \\((| x|\\) is the length of the binary representation of \\(x\\));\\smallskip\\item[(4)] \\(\\Phi(0)\\land\\Phi(1)\\land(\\forall x)(\\Phi(Fh(x))\\land\\Phi(Bh(x))\\to\\Phi(x))\\to(\\forall x)\\Phi(x)\\qquad(\\Phi\\hbox{-DCI}\\) ``divide and conquer induction'', here \\(Fh\\) is a function describing a front half, \\(Bh\\) a function describing a back half via the binary coding);\\smallskip\\item[(5)] \\(\\Phi(0)\\land(\\forall x)(\\Phi([{1\\over 2}x])\\to\\Phi(x))\\to(\\forall x)\\Phi(| x|)\\quad(\\Phi\\hbox{-LPIND})\\) (combining features of 2 and 3);\\smallskip\\item[(6)] \\(\\Phi(0)\\land(\\forall x)(\\Phi(x)\\to\\Phi(x+1))\\to(\\forall x)\\Phi(\\| x\\|)\\qquad(\\Phi\\hbox{- LLIND})\\).\\smallskip\\parindent=0pt In their further application the induction schemata are restricted to instances of the form \\(\\Sigma^ b_ i\\) (bounded \\(\\Sigma_ i\\)-forms). A key role play the systems \\(D^ i_ 2\\), where the induction axioms are of the form DCI with instances of the form \\(\\Sigma^ b_ i\\). It is shown that the \\(\\Sigma^ b_ i\\)- LPIND and \\(\\Sigma\\)-LLIND induction axioms are derivable in \\(D^ i_ 2\\). If the \\(\\Sigma^ b_ i\\)-DCI schema is available, then \\(\\Sigma^ b_ i\\)-LP induction, \\(\\Sigma^ b_ i\\)-LL induction and \\(\\Sigma^ b_ i\\)- DC induction systems are all equivalent. It is shown how arithmetical definability corresponds to the class NC (and thus to BL): Uniform NC can be defined via \\(\\Sigma^ b_ 1\\)-DCI induction. On the other hand, \\(\\Sigma^ b_ 1\\)-DCI induction definable functions in \\(\\Sigma^ b_ 1\\)-form are contained in uniform NC and thus in BL. Technically the last results were obtained by complexity analysis in a bounded sequent calculus (i.e. a sequent calculus containing rules for DCI induction and bounded quantifier introduction).\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$C17EEEC1-786C-4ED5-B9F1-4336BE362718","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176198$8708097F-35E7-44C5-AF51-E0DD3711186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176198$81025768-AFBD-45F1-A70F-398589A9F7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176198$E3F56B66-E063-44FA-AA4B-824C9012277D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e2f5230f2441b6b5d68b9fd02967246e06c92bb","datavalue":{"value":"13596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176198$5CD3F856-4676-41E6-B023-C7E05C657DF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da284cc67f7949f1ee9d557e8e741414e30d91d5","datavalue":{"value":"polynomially bounded functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$D3D55C77-A235-4130-BB8B-2FA95C822134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$1EBDF554-D2F6-482C-8D04-7AD56F69118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b5c4399ed4a2b8e0846d107a45bd3648ff8cd92","datavalue":{"value":"Boolean circuit definable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$9FDFF06B-3CA0-4454-B780-837A376AE389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904b2e1f2f6556abb00f62b2b6207480183aedb1","datavalue":{"value":"recursion definable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$24ED6565-B310-4E68-B3A2-3069B8C8C50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267b394071cf1b5b643cd515aabcdbcae8c08f98","datavalue":{"value":"polynomial complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$A1AA7686-CEF3-4AC8-ACDA-B07F099D03B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f207cf0d8eeaf77a01c413fff9b3d38af03456","datavalue":{"value":"induction schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$A2F2DE7B-6AC1-4ADC-BFFE-11C7F8FCA212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419ef25c0efa8413763a9f77b3af4f5d4083c705","datavalue":{"value":"arithmetical definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$0654FDEC-A5D8-4EB2-BEAB-ACBCAD8746FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"120e3278345c1819cc077440b8fcc835fbe9bc12","datavalue":{"value":"uniform NC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$7F021E3A-DF5F-48FF-A71E-5BEFCC106B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5534c18c7ef5a765c111ed13c9d28f62d224df9f","datavalue":{"value":"BL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$7B56CAA6-AFC5-4429-B92C-DE74C7BF30DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"606426b9edb84e5ec06eb231457fdc28cb4b615a","datavalue":{"value":"complexity analysis in a bounded sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176198$5D6800C1-FB1B-4306-A025-FB6EFAD1C75A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2131474b61f9492afe33179f8e943fe4605532de","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$9D83AB78-0066-4AE5-8DDE-C62E9D710627","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":"Q1176198$91FE5B6B-F1B7-44B2-9D97-1B3452CCF9A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf0ba6b785a0b2a745ee15b2938633ce0540bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5830955,"id":"Q5830955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$13364736-8144-4346-8C6E-92487369937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$C9404EDC-1489-456A-83A3-37455DBD042C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145db2d6e46a06cd634c4810cc8c691a66452769","datavalue":{"value":{"entity-type":"item","numeric-id":3476809,"id":"Q3476809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$3D30E8A6-0DA7-4AC9-BD73-074329D4E0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90df03a170fcc85d9f6d5af38c0866a51f22b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3694688,"id":"Q3694688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$9F85513C-5BFD-4CFC-BCAD-9923EF22F833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e2f5a892edc605287faea2b6a0228096baf2ff","datavalue":{"value":{"entity-type":"item","numeric-id":2638772,"id":"Q2638772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$810E4B51-0FC0-456C-A224-E0E86AD0B96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$2D9CCEC9-6ADE-46E5-8B0D-67D29613FB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$85578DF2-D60A-4A6E-8ABF-F459E7D5B5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4e5ed51ae5ba88276f0227180c96e58eb5d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3722427,"id":"Q3722427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$5B5A32FD-D045-407D-84E5-FD8BD5EA45C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$99A2A13B-B9F7-4574-BD83-48835D4BCD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$5E82B48B-0702-46FD-BDC0-B90E75978623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$DCC7A372-3E66-435A-98AA-E97A45B2341A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d9257bacf9dc83d7699c2f8365feb77fa5cc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1171050,"id":"Q1171050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$1AB77B49-27A1-47CE-8118-A0D8E7F051E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69c6bd35d6a46c79a1a093429fcbf25fe8a0b79","datavalue":{"value":{"entity-type":"item","numeric-id":4268484,"id":"Q4268484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$914CDDCA-94C1-44BA-B46C-C5325FD9203F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a5f8c38dc9aa69650033303ed3bcc47054a76a","datavalue":{"value":{"entity-type":"item","numeric-id":3942945,"id":"Q3942945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$159A8934-87CD-43DB-8899-AFC1613E0F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec272bed677acadc210bf82a73d8b0f4b473c52","datavalue":{"value":{"entity-type":"item","numeric-id":3476275,"id":"Q3476275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$55C313EE-4E8B-4F23-AFCD-50637654E950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$6B75D2CD-912D-405F-8F2F-160254CBB417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2146e12d70096585412fa50f364e0fbe43b7e82d","datavalue":{"value":{"entity-type":"item","numeric-id":3293402,"id":"Q3293402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$3E0F3B0B-F2E4-46E6-9664-5E320FCE82B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9920c3ac00d626f59f95283223bd4fb6ae680345","datavalue":{"value":{"entity-type":"item","numeric-id":1152951,"id":"Q1152951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$D5A40531-BD13-45DA-BB43-A9B769BAC123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f450486e6dd81b9bc183a0057d83ff04fd2d4632","datavalue":{"value":{"entity-type":"item","numeric-id":3316595,"id":"Q3316595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176198$9445EECA-953C-493D-81DF-5F6F96897466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a223d4755baa64fde7614e234c7d1023224bbfc","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90057-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176198$6E538F01-5AED-492F-8135-116099DCE027","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f173db0b68bed858bedf7c2ff24e90ddf5bd61f8","datavalue":{"value":"W2163512254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176198$AF1430BA-4020-4293-A56E-75598CF0C154","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a991abe5e35e98a9c624f02d9108b3a05ad6e452","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab3c4eb66a66165eebe91cfde863d234bc8535a","datavalue":{"value":{"amount":"+0.8664035","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":"Q1176198$C0BA63CE-74BF-4DEC-BDA4-150EC45440D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c894fa3d0e493d857cc6ae32a2861849d13988","datavalue":{"value":{"entity-type":"item","numeric-id":3590957,"id":"Q3590957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866963bcf164c6b4adde73689e035a5957fe4ab2","datavalue":{"value":{"amount":"+0.8626478","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":"Q1176198$0B9A44D7-703B-4E8B-BAFB-BDB6F668B83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0ff002fd1c67e1e1ff21a5eaf87c3af2845b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1772775,"id":"Q1772775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b95ef008bb2d1916817672976a7db2c2e932235","datavalue":{"value":{"amount":"+0.85962987","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":"Q1176198$AF701B8B-1185-4E2B-B64B-529F6F9303E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828cb54fc83889ece6b58ab67a13010c0a290d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1065064,"id":"Q1065064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ce38722d584c72a61feb8606de184bba5661fa","datavalue":{"value":{"amount":"+0.8516159","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":"Q1176198$11F8BA7B-F446-4716-B7E3-BEC354B1E099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab94d201f4253f1a3306bddce49b1290b9e956ba","datavalue":{"value":{"entity-type":"item","numeric-id":968272,"id":"Q968272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e35fcf77708e457a26a23bcf8c17c63a845716","datavalue":{"value":{"amount":"+0.85066223","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":"Q1176198$E6CFFF60-E76C-4F25-9FA0-8D682E9B843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340f739b13515a46d40dcdee38f57afabffee183","datavalue":{"value":{"entity-type":"item","numeric-id":2937603,"id":"Q2937603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361becb1d3414a3bf973a01424be5554954e6488","datavalue":{"value":{"amount":"+0.84137213","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":"Q1176198$501A9766-2FBF-4770-8E1A-54A18DB5C6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a204eb8dd4b2e8dd10817f99a3fd3536d5554e63","datavalue":{"value":{"entity-type":"item","numeric-id":2081220,"id":"Q2081220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e3e1330ccb64a4e54d2fd09b6689fb2631f310","datavalue":{"value":{"amount":"+0.83744997","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":"Q1176198$432F8000-5257-4B9B-8771-354D611092FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f91896965f0d07c0947d70e5a138203a937e55c","datavalue":{"value":{"entity-type":"item","numeric-id":1109068,"id":"Q1109068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf982290045ba4155e1b1cae1ba3abfedf8878f","datavalue":{"value":{"amount":"+0.83554244","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":"Q1176198$5F6D115A-D1C8-46CA-A932-DF744E2555AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5570de14d731a3b398b4a44bb91c9c4de3456a","datavalue":{"value":{"entity-type":"item","numeric-id":4530803,"id":"Q4530803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608bce7ff5c44b011dcbd7bbaa5d5475e799a758","datavalue":{"value":{"amount":"+0.833442","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":"Q1176198$129C7B85-3543-466A-9EF6-939971A0B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaa0828c11b00c0b400f4385181f5f4922b7f79","datavalue":{"value":{"entity-type":"item","numeric-id":3468075,"id":"Q3468075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e5c09ebb8299309c65cd95f691944220698def","datavalue":{"value":{"amount":"+0.8309679","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":"Q1176198$362F4D79-DC7E-4D5C-BAA7-95141B6089A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetizing uniform \\(NC\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetizing_uniform_%5C(NC%5C)"}}}}}