{"entities":{"Q3638117":{"pageid":5668023,"ns":120,"title":"Item:Q3638117","lastrevid":87538391,"modified":"2026-06-04T11:56:01Z","type":"item","id":"Q3638117","labels":{"en":{"language":"en","value":"Characterizing integers among rational numbers with a universal-existential formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5573657"}},"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":"Q3638117$84D0B68B-ECF4-4A8F-A751-03761769D17B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2653981ad94ce005ec466b8021ea45e8a3a0f72a","datavalue":{"value":{"text":"Characterizing integers among rational numbers with a universal-existential formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638117$B9CCDF7E-4117-47D5-9D48-ADD1C380F854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c8806a1ce88e5f1912d9a76ba17d5252fe93dc5","datavalue":{"value":"1179.11047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$A5201F16-61B1-4127-8A24-C470C1BCEE38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20bfd080fdc3b7e3f20d23c71e1a608a3f5fa0ac","datavalue":{"value":{"entity-type":"item","numeric-id":215971,"id":"Q215971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638117$095C9CDA-3292-43F3-8F3D-8A1EA8092FF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638117$3A717B36-DC9D-426C-A470-414085813A94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a53a3c94c25a23f5eea9b080a88a1dd3753babf","datavalue":{"value":{"time":"+2009-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638117$3D66F595-8A77-427E-90C3-153AB30D3E7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb42e3b612f585335ea32084ac0382927efc577c","datavalue":{"value":"https://arxiv.org/abs/math/0703907","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638117$C1382A1D-7930-4CBA-A911-D394B2E1D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5dc6f987343287921372e9230fde29d082db5c6","datavalue":{"value":"http://muse.jhu.edu/journals/american_journal_of_mathematics/toc/ajm.131.3.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638117$22EC36BB-1849-4B1F-86F9-8E75A5F71978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$0641BEC0-EEF5-46B4-90B9-64D03FABC2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$4A69D131-41DF-4E21-B8EE-AC5A0A34F29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f7b8d255acde5092d50aa69e0770ad963de23610","datavalue":{"value":"11D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$4CAF8B6B-2CFB-4805-9699-AC9A8C341958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$F17BE85E-7479-46EF-889A-9167E157ED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aef402784c03ebfdea121798de8fd3621c429b07","datavalue":{"value":"11E16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$8FA3FE72-4E94-4B42-BC85-79149E548988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f1cb07288bba9b47801526212098ae83d5ba151","datavalue":{"value":"11R52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$25EAAF41-5515-40AE-B651-A585A14817B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb133382e3683dd66282427cc9868fbfbdb898ba","datavalue":{"value":"5573657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$A1E2BC80-835B-4C30-A1F5-757E6331C71D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24faaa3ef958212f2d05f6c53e6d479c4b0aad51","datavalue":{"value":"Undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638117$268E299C-7CC8-4792-A940-BA11D145684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"addee7cb1297443e3bb059e51167dfcab10fa3d9","datavalue":{"value":"Hilbert's Tenth Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638117$95EEE0C4-B2C2-490C-B633-EB04D2106EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f6391ce037b7e97d9e47ff8ff2c68b18e74789","datavalue":{"value":"quaternion algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638117$4234AB64-4B4F-4A2D-A6C1-D1F7CCAADEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6809da8144eefbebd27ddd961b0bb29da81b1ef5","datavalue":{"value":"binary quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638117$B53A1A61-AFB2-4A2D-914E-2E4AB1CC253B","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":"Q3638117$B63B0749-FD47-4DE6-A921-CABDE0BFA494","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899b08360ef365cea9a6f97e249c34f728b3036c","datavalue":{"value":"W3103102948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$EE2C3169-DA4D-43F5-8736-59BFDFCE5EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d97e6f004e6ef89a729d4505240574987c1bf38","datavalue":{"value":"10.1353/AJM.0.0057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638117$A6F54A84-AE6B-4E5F-AA29-5680460F397F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028b3dbef9afadf974011c8bdb7d401ab263446b","datavalue":{"value":{"entity-type":"item","numeric-id":5962625,"id":"Q5962625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966016b16de0faa96241935ec4b5b53752e5462f","datavalue":{"value":{"amount":"+0.8319172263145447","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":"Q3638117$1296E06E-E746-4D0C-B5A2-404DA4796BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf3e0875aa53dce6510baa5c86a49885cbdb1d9","datavalue":{"value":{"entity-type":"item","numeric-id":2510101,"id":"Q2510101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cfa3b6152d0712b9b6cc8b5597b46362513bfa","datavalue":{"value":{"amount":"+0.8100124597549438","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":"Q3638117$61BFB89D-920E-4315-A623-EA990FDD8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bb643236b224f26b8a9fc7c8297a384fbea98f","datavalue":{"value":{"entity-type":"item","numeric-id":843611,"id":"Q843611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23764e18940de51ef94a79cc266044671b243f21","datavalue":{"value":{"amount":"+0.8025157451629639","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":"Q3638117$DA2F2336-1A09-415D-8C2B-D2F123DD90D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe494a82f466d427521c4ec053be02def04586c","datavalue":{"value":{"entity-type":"item","numeric-id":3011104,"id":"Q3011104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f9b9110018bc1f48ecd146481f3944895ea16d","datavalue":{"value":{"amount":"+0.7771005034446716","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":"Q3638117$C0854FFB-1EE2-4473-AB67-DF4E3ED739B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452743fe91a1f68e63466bd2050aae37149f330c","datavalue":{"value":{"entity-type":"item","numeric-id":3765748,"id":"Q3765748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e6627d846cc45ae869bc3ce7576708e81818d4","datavalue":{"value":{"amount":"+0.7621477246284485","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":"Q3638117$ED38ECE9-236B-47C3-B550-A40CC0AD872F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing integers among rational numbers with a universal-existential formula","badges":[]}}}}}