{"entities":{"Q1427862":{"pageid":1438602,"ns":120,"title":"Item:Q1427862","lastrevid":67418898,"modified":"2026-04-12T17:30:39Z","type":"item","id":"Q1427862","labels":{"en":{"language":"en","value":"Skolem functions of arithmetical sentences."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056072"}},"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":"Q1427862$A5AA129C-2F4F-4D88-8FF0-785325707467","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b5501312500f5e1872b17c217ef7e205ddac1f9","datavalue":{"value":{"text":"Skolem functions of arithmetical sentences.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1427862$B6F0984D-D43B-4B8D-8AB0-4E0F63DFC2A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"240c1b5f6bf0d0c92fc2f0b2ef7b6255bf802f1c","datavalue":{"value":"1047.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427862$9806DD05-E619-454B-AE2B-5F98F6063810","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506d8d5a90b79c0511faceb479cc4e430a25cd31","datavalue":{"value":"10.1016/S0890-5401(03)00085-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427862$AFCC1B12-F340-4767-9362-0F5507E8336A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$2DEA750D-4168-4E61-AB78-ED61EDF84394","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$5177AEAA-2CD3-4592-BCBF-873F106F29D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-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":"Q1427862$AC7A95F2-0AB3-493F-A4C1-55B76571FA41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2084333a107ba10f1b0ee0c88ec2283a0bc43211","datavalue":{"value":"This paper is a continuation of the author's previous paper [Inf. Comput. 120, 149--154 (1995; Zbl 0846.11065)]. Let \\(\\psi(x,y)\\) be an arithmetical formula. Suppose that for any \\(x\\) in the set of natural numbers \\({\\mathbb N}\\) there exists a \\(y\\in {\\mathbb N}\\) such that \\(\\psi(x,y)\\). Then for any \\(a\\in {\\mathbb N}\\) let \\(f(a)\\) be the least \\(b\\) such that \\(\\psi(a,b)\\) is true in \\({\\mathbb N}\\). The function \\(f\\) is called as Skolem function for the sentence \\(\\forall x\\exists y\\psi(x,y)\\). In the paper under review the author proves that for every arithmetical sentence \\(\\forall x\\exists y\\forall z \\psi(x,y,z)\\) true in \\({\\mathbb N}\\) there is a polynomial \\(g(x)\\) over \\({\\mathbb Z}\\) (the set of integers) such that the corresponding Skolem function \\(f(x)<g(x)\\) for any \\(x\\in {\\mathbb N}\\). The same result holds with \\({\\mathbb Z}\\) instead \\({\\mathbb N}\\) with appropriate changes.  An interesting application of these results is the following: If the Generalized Riemann Hypothesis holds, then for every \\(d\\) there is a polynomial-time algorithm for the following problem: given a quantifier-free arithmetical formula \\(\\varphi (x,y)\\) of degree at most \\(d\\), does \\(\\forall x\\exists y\\varphi(x,y)\\) hold in \\({\\mathbb Z}\\)?","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427862$AC638532-7145-4A9F-A799-2A432086CDDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427862$5A702F19-05E6-4573-BA28-E9BDC7AC2681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427862$66851CCF-29A5-49F5-9A67-B354820FAD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427862$172C2577-2E83-4E7D-93D4-3AA4724BDB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427862$E474570A-666C-4A94-9A39-0C0B19277E4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"549c574cd1ba55c7051c9d918d52f6b120bb4cfa","datavalue":{"value":"2056072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427862$F19D5C3F-F482-4C6A-BEB1-68B12479C020","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c06e5244e85d5d2e9338899264e08a0a341c67","datavalue":{"value":"arithmetical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427862$2EDEC733-F062-44A3-84EC-1A49F2C13C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427862$99DBE445-DFF4-4E89-811D-E1D9AC88C8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4565836cda8f6196b10c191b12032cc546833a0f","datavalue":{"value":"polynomial bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427862$22B16FA4-A02A-477C-9B68-81E01A402911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b1a3dcc87b927bb021283ce77035bedfc15921","datavalue":{"value":"generalized Riemann hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427862$94E1F106-012D-4D0C-93ED-EC08D7950565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d85c121e6e6200a1d4667137fca957de2656737","datavalue":{"value":"polynomial time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427862$92588869-139C-4AEF-82D4-7A966375F39D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$49346279-0279-481B-AFA8-273AE71BF7ED","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":"Q1427862$34CA2929-33E4-48D2-9119-C3B182D19BCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a7cfeece8562a9ac87120b107e2b528967937","datavalue":{"value":{"entity-type":"item","numeric-id":4773298,"id":"Q4773298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$30433AAC-6AB7-47AE-A3B8-8C5169268AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c982c6e764727a6edf2babfc00fab66efd14b02b","datavalue":{"value":{"entity-type":"item","numeric-id":3943048,"id":"Q3943048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$7B05125E-EE59-409D-A300-77FC8FA557BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee77292425d1348b2117691d6e3566c745e7258","datavalue":{"value":{"entity-type":"item","numeric-id":4011103,"id":"Q4011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$002FDA8B-243E-4179-95A3-95BE80655B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$A5906AF4-3EAD-42B0-A5E3-2B00CB1A0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$8F05795B-781B-4288-B312-DB604AD71077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$6B647F92-BDD0-4B1E-9157-8080AB7757C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$149BD21D-C0D1-4503-AA5D-E3BBA9D7E5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560fb8ef119ba09032ed218cef2be5042ee94aee","datavalue":{"value":{"entity-type":"item","numeric-id":3775638,"id":"Q3775638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$091FFAF5-26C1-4012-BEE4-11791967527B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aed26f7b39052513b475c7d3a39a7a0a7f5b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4404975,"id":"Q4404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$9A6CE7BD-ED54-4D3A-9B2D-D6B388EAF40E","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":"Q1427862$34A80C5A-8C89-4479-B4B9-8CFC0767A942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"319f9cffbddec0ef47eb68b6593a15a342fa52a9","datavalue":{"value":{"entity-type":"item","numeric-id":3245637,"id":"Q3245637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$A2CCDC85-F608-4677-8B0F-66A39251C556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c1932f6fbc9f3fc4b0f96953a1e55b96ce97e3","datavalue":{"value":{"entity-type":"item","numeric-id":3781731,"id":"Q3781731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$E03BC100-8D03-464D-ABD4-A072C7B641FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66da6ae779205d215765f55fca1c455f2ac0ad88","datavalue":{"value":{"entity-type":"item","numeric-id":1898486,"id":"Q1898486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$0C281297-7899-4ED7-8382-90922FB85DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca70c70d71ca60787f3ed9116d7acd79e45531b","datavalue":{"value":{"entity-type":"item","numeric-id":1898469,"id":"Q1898469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427862$96283666-3791-40C9-9C1F-C1CE76D37413","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e99750a9dcc3c1f23b0922c781f8f3a80e44114","datavalue":{"value":{"entity-type":"item","numeric-id":1898486,"id":"Q1898486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c532f1e0fe83e6623cb9197e2740199f0788566","datavalue":{"value":{"amount":"+0.7307319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$A9022020-A1B4-4D26-AFAC-F3B4F30F641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cc85bb773f5184b617ed3912ebb9456a38df64","datavalue":{"value":{"entity-type":"item","numeric-id":1187032,"id":"Q1187032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fda67b186d2d123b5e96f6a978dd2501f23f836","datavalue":{"value":{"amount":"+0.6832525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$48556DB5-E808-4C7E-ABBB-7E570C0FFA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e186ef02b7953b9d686514f1185146f2c2d58fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1898469,"id":"Q1898469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6aabdc890d42a051d49ed2eee4b1d4d4afd45ac","datavalue":{"value":{"amount":"+0.65297896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$6722EC92-6E5A-4D64-9671-0E5F4AF664D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1e6a9f6a7aea0256e7fd5dfadb5f51eb91fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":2892685,"id":"Q2892685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd89b388231e50872a77d07858d40721ca653682","datavalue":{"value":{"amount":"+0.64524704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$BBE714E9-6B93-40B6-81FC-CC72804C6921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33677a5c41b7edc634bbf7da9997aee0f8f6dbce","datavalue":{"value":{"entity-type":"item","numeric-id":1286369,"id":"Q1286369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f77ef13367c008b8abe22685e7ae785f91f978","datavalue":{"value":{"amount":"+0.64210224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$E3D77A33-D31D-4821-90B0-5BC91C078714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07df3de463ebf2a3d8b2b32c2b28e1bd47313068","datavalue":{"value":{"entity-type":"item","numeric-id":3751575,"id":"Q3751575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b676686c78c0d35988035c175e6f077089dd85","datavalue":{"value":{"amount":"+0.63377374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$0BCC9354-CAEE-449B-A01F-B6CFD36F6446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bbe7b05b504353157065776216c7d10590706b","datavalue":{"value":{"entity-type":"item","numeric-id":5267436,"id":"Q5267436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5e3c46af98bc3e9a5141b91ddab3b40e6a8972","datavalue":{"value":{"amount":"+0.62788236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$6AC77EA4-5196-4BBE-93B1-F6119F620563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f527a9dcd3388f8c1e60668e9654609b403fdc35","datavalue":{"value":{"entity-type":"item","numeric-id":4484357,"id":"Q4484357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb03126897d42c96ce0f38a8017ad09ef88e707","datavalue":{"value":{"amount":"+0.6277103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$AA5F4EDD-E718-43E6-AFCE-BF94FE66611E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eb5f8b58350811255b853d9b817528ed145a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3781731,"id":"Q3781731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c05ec72b2d2630cee6ce087bb9fa492ab717a8","datavalue":{"value":{"amount":"+0.6162447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$530CE2BE-9C8A-4D64-B12D-7656419A79E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9da7ecad49273580dfd9a7bcf2fbca79fa4c4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2365408,"id":"Q2365408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121c3a794d316c3d29e17c479405d10c25e34173","datavalue":{"value":{"amount":"+0.61290383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1427862$8596120F-59AD-44A9-9E72-1DBC7E275D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Skolem functions of arithmetical sentences.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Skolem_functions_of_arithmetical_sentences."}}}}}