{"entities":{"Q1377552":{"pageid":1388292,"ns":120,"title":"Item:Q1377552","lastrevid":68582022,"modified":"2026-04-13T00:42:54Z","type":"item","id":"Q1377552","labels":{"en":{"language":"en","value":"Algebraic methods and bounded formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109537"}},"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":"Q1377552$3F1947AA-A31B-48B2-85AE-DFF26DBF903E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dcad29e8f6139cbde2b84b7dd933adf95b200aa","datavalue":{"value":{"text":"Algebraic methods and bounded formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377552$A459A295-A1CD-41E7-9613-5993B4700E42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da518dbca67d28e38fa434933754e1fea7fa7b86","datavalue":{"value":"0889.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377552$9157CCE1-1971-433E-BE69-25117F5E111B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6246c94f6083cffc3dda1ad223e304fff6f9a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":494637,"id":"Q494637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$2C1FB7C4-F8A9-474E-BB2D-EEB5E4067FEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$F576FDB4-F5BF-4402-BD8A-FB61EE9D0B36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da5ec653cd76b79075d7eca2361024c9b561613","datavalue":{"value":{"time":"+1998-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377552$B8991105-AE8F-4EAD-9100-EB5094F0F8EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377552$FD63F444-D3E4-4926-8953-BCA5662CDB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377552$50C327A0-738A-40B0-B63C-353C488A7EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377552$627C8CB9-0501-4288-8977-DD005A28223B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63710dc17b7360ac4d2cc74a8f5071c1a1f1bf89","datavalue":{"value":"1109537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377552$5C1A5BFF-849C-43CD-83FE-E13CBCB8F9FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1eaa2474d85d407c0246d4e400e056c64aec65","datavalue":{"value":"expressive power of bounded formulas in second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377552$A61EBFFC-3C65-490E-8D44-DC5B8CEBFEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b23ead22c36f0adaeb3b9e3a2130ffdbb6cafba","datavalue":{"value":"second-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377552$8896879C-A3A8-4C7D-A743-136A0AC519DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377552$0534471F-C046-48A4-909B-C878F01F8AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5add04c87a634dc505636ede1198ff73b02459","datavalue":{"value":"Boolean circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377552$CC81990F-B6B8-4CF6-90D6-E5481ECC9F12","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":"Q1377552$4212AB5B-0C40-4288-844E-36A52FA11A39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e033fe80c1686dbc1457979b374caf4cad8e6eb3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039700695","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377552$B465FFC8-4F1A-48B9-B990-19A3CB9ACA5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb903f1d85bd874895806c78c63ad4b8fe11d8ef","datavalue":{"value":"W2081562759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377552$97B46796-B104-475B-84B8-2F50405BCD9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$2F4FF07E-B0D8-4E22-A74D-B5A569719722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9595afdcd6f0a34d637d70f3c89fca691c6293c","datavalue":{"value":{"entity-type":"item","numeric-id":3241504,"id":"Q3241504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$E7F6C89B-EC12-4A08-8B72-55FB6F9C73C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$B8459DCC-FF41-4573-BF9C-881D50E657AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffb7c4897464eade24b984dc253233d6968fb77","datavalue":{"value":{"entity-type":"item","numeric-id":1095871,"id":"Q1095871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$A2E3B454-3379-4552-8D3F-8AA9B6011BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9f0fecc35bde4269719ed65d8692abf049c091","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$EA854B82-39C9-45C9-A18A-F5D8DAAD7031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0bddf1b9ef0a591857f7b7e370675e60f637b3","datavalue":{"value":{"entity-type":"item","numeric-id":685431,"id":"Q685431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$F742D22E-F9D0-4DEA-A162-A92156FE8D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde012ef21d89edd10de7c33ccbb08320345d351","datavalue":{"value":{"entity-type":"item","numeric-id":3990656,"id":"Q3990656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$F3A02D65-5F03-4319-98AD-DC05ABA9F3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dfd82bed9266a9eb9ee03c49c86a8c45cb2436","datavalue":{"value":{"entity-type":"item","numeric-id":1090454,"id":"Q1090454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377552$0098DE81-6595-4B86-9D0F-7A67F193E96F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaff6057699a65d9ec7d59c2a3a8b104e939441e","datavalue":{"value":"10.1305/NDJFL/1039700695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377552$08DAF175-EA73-436F-9F0F-0E410287CCEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4236c1d0af8d7c0f7abc80f4eba37327b39d445f","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a97d30f029925bda8bd721586dc3055fef1bc53","datavalue":{"value":{"amount":"+0.7439776659011841","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":"Q1377552$176C007C-00B9-4353-AF05-BD14AB42F67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aed8b15f4505adb9e56c6f28a3793f6caf96ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a615b43aaec390a6ba05c2e7289e62325df7865b","datavalue":{"value":{"amount":"+0.7329408526420593","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":"Q1377552$202CDDE1-6B84-489D-B418-3BC26428C4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fa158a5e2abf15ea5b07d2d49f1aa3de9b4c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3140640,"id":"Q3140640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9748c6f582437ad0b9324f577d12be22012610b","datavalue":{"value":{"amount":"+0.7279762029647827","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":"Q1377552$15DF84CD-304E-42C0-ACF6-0E36FE669A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242389439ac99f0043978be6bf447b2a362ff2a","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fdb39b151d2d3caa0b408c0d1fe72a63454c50","datavalue":{"value":{"amount":"+0.723063051700592","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":"Q1377552$169C950B-E811-428D-8CB7-F223DB53AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad1c5ae3bb996161fba016d7715003cf239056e","datavalue":{"value":{"entity-type":"item","numeric-id":922540,"id":"Q922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a39484f445854632f7385f1bbe466d5f3b9590e","datavalue":{"value":{"amount":"+0.7230077385902405","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":"Q1377552$C428DBFF-F20D-40AB-B844-F643EDB085D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic methods and bounded formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_methods_and_bounded_formulas"}}}}}