{"entities":{"Q1922030":{"pageid":1932772,"ns":120,"title":"Item:Q1922030","lastrevid":71167977,"modified":"2026-04-13T19:56:07Z","type":"item","id":"Q1922030","labels":{"en":{"language":"en","value":"Representability of functions in finite models. Arithmetical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 923839"}},"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":"Q1922030$A9B39283-298F-4F81-B9FA-14715869BD39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2766a129cd2a519a6fcd2f2b78df5e06b8711d0c","datavalue":{"value":{"text":"Representability of functions in finite models. Arithmetical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922030$8CC0BDEB-2301-479E-A41D-BCE72F22560F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaa5d1653b4d832f8470f6199fa3c93617e51d27","datavalue":{"value":"0852.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922030$4580CBB9-1136-4B53-8397-FB9718B11E15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1668956b16f77f333bcc830d12eb15e8ece7746f","datavalue":{"value":{"entity-type":"item","numeric-id":1922029,"id":"Q1922029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922030$7A40574C-5B04-45DE-B153-5C4030C73BDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1140ec887dccda5e7cf6373b784a94bd7ebcb9b9","datavalue":{"value":{"entity-type":"item","numeric-id":171193,"id":"Q171193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922030$E10B68DC-F5BC-4780-A987-CA8A08C44E63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"387c673bc094e8a9a52c08849e2c0d54d587ebd5","datavalue":{"value":{"time":"+1996-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922030$4616A819-2F39-44B8-8C07-6C87546A0F5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922030$D8AAF378-76B3-4595-AC5F-58C6B68265BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922030$93164C96-C530-4C78-BBC3-EB5C1C69AB73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7185fa06b7e781294ef712ae1fe89f20dfa93f0","datavalue":{"value":"923839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922030$51089B9E-B7CE-43BE-A2F3-61E3D48A4015","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922030$98CDAD82-76EF-444D-8AA7-B53D0AC1DB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc61a86ab595620cbc231a98468195cba4aa0f18","datavalue":{"value":"representability of number-theoretic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922030$ACA5E6FC-DB31-4807-B42F-1CE268907661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c08018049455a3ba9e1d84b5967323f0ed207f46","datavalue":{"value":"integer-valued function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922030$99EC98E3-09A2-43E9-A034-61B06FCA6689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eede2756d7fb2722fc9dd48c27c46978def56c9","datavalue":{"value":"Polya-series expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922030$7DC3D9E4-C292-44C4-BF53-4E55847D2435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee5f7d418b46a30391cc708cd044c45f25eb334","datavalue":{"value":"\\(M\\)-arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922030$D880F536-D8B4-48E7-A018-F2C790F2A4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922030$730D5398-C97A-4C9E-98AC-9276A6E354DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922030$6239926C-B406-4284-8CB5-D59FD7D354BA","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":"Q1922030$6576BE57-FE27-47AA-8E2A-DA3033B9A1EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ad9a9cf0ba73b9b48c98b299703bc1b5060c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5717062,"id":"Q5717062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6e9848943a9ccfc79e97e8404723193613565c","datavalue":{"value":{"amount":"+0.7883191704750061","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":"Q1922030$EECECA3A-D6B5-416B-B629-4895B0DA66BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6f806bb0222ef2c5b1fdb7aff422d0939fcef1","datavalue":{"value":{"entity-type":"item","numeric-id":2765574,"id":"Q2765574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f1abfa1a7bf34bc7efface2ea27f316726b3ef","datavalue":{"value":{"amount":"+0.7536261081695557","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":"Q1922030$1BD68DCD-5954-423D-8C15-41F8252213C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a358c60ea76a859cd4023ce47a6c377074bdbc61","datavalue":{"value":{"entity-type":"item","numeric-id":4459597,"id":"Q4459597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a56061b47108209d91958efc7fccb5f7818271d","datavalue":{"value":{"amount":"+0.7356919646263123","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":"Q1922030$4A710076-BE13-4216-BB08-24228CD83118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a380752741596d95f156b709aa159fc047dc59","datavalue":{"value":{"entity-type":"item","numeric-id":5121960,"id":"Q5121960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447133e6114a81f0297013ce7fbad10420aef3b7","datavalue":{"value":{"amount":"+0.7289121747016907","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":"Q1922030$B77B90A8-35B8-4634-B999-C332D4318600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da458ae08134fe59a4ef1d3a59c444c79944e629","datavalue":{"value":{"entity-type":"item","numeric-id":3370752,"id":"Q3370752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6f9414d8acd3bb8ceb9d3da5da3cbde5b3f6e4","datavalue":{"value":{"amount":"+0.7256508469581604","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":"Q1922030$AA2FB5C9-66B5-4177-B2CD-E54B9D842DF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representability of functions in finite models. Arithmetical theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representability_of_functions_in_finite_models._Arithmetical_theories"}}}}}