{"entities":{"Q1194243":{"pageid":1204992,"ns":120,"title":"Item:Q1194243","lastrevid":66830631,"modified":"2026-04-12T13:08:47Z","type":"item","id":"Q1194243","labels":{"en":{"language":"en","value":"A transfer theorem in constructive \\(p\\)-adic algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64029"}},"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":"Q1194243$629EAA12-CA03-4590-8DF0-3758C219E12C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45251aef2867df8a5c7802bcb47e68778f42d2cd","datavalue":{"value":{"text":"A transfer theorem in constructive \\(p\\)-adic algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194243$B0FA2278-D8D9-4834-8B47-EA02999D53A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8cbae29a7afde6b92611c19a1a382b768feed4e","datavalue":{"value":"0771.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194243$BDE40A77-C651-4FF0-B4BA-959CEE2D5801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4575331006a984312925e869ec53ffbbb2b26324","datavalue":{"value":"10.1016/0168-0072(92)90033-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194243$3F77AAE8-434A-43DD-9F1C-F48E56EE0936","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d3ee2f3df192e6c4c0ede78320860f3e33983f7","datavalue":{"value":{"entity-type":"item","numeric-id":372615,"id":"Q372615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$3BC0C21E-CC72-4CDB-9BC0-D0511F616E9C","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":"Q1194243$4408A478-7DB9-4948-8F3D-4E1F8ADEEBAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194243$245A54F4-472C-4775-94CD-E97C1AEE879B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e17aeb80ff3e0dd496e83df7613dbcb4af55177","datavalue":{"value":"The paper contains a constructive approach to some aspects of \\(p\\)-adic number theory in the style of E. Bishop. The main result is a transfer theorem on the relationship between the classical and constructive validity of a class of first-order sentences over the \\(p\\)-adic numbers. In particular, some known properties of these numbers are considered, such as the existence of a cylindric algebraic decomposition for \\(p\\)-adic numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194243$D9476CF8-1527-431B-958F-E1E750ED1E0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194243$5A192AC1-FD93-4985-AAB8-EDFDA0309F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cbd4db13cec7396a71269d0d76f5f72dc52fa6b","datavalue":{"value":"64029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194243$32F0600B-52CB-4E87-87F0-F274FBC15A18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194243$88013924-CFBF-443D-8AB7-B83016C7BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d493772961718c37546aaae23f20983458ba8f31","datavalue":{"value":"\\(p\\)-adic number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194243$C78BEB4A-4C9F-44CB-89C5-4E248CF87730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6061a773e94b58e2cd3c441e7a87ba59dc8b6552","datavalue":{"value":"cylindric algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194243$4F967FEB-1130-4E97-93CF-A5BF31CF97DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e0ad2b5c366a73d2f236112c1e1e1106dfbcc9a","datavalue":{"value":{"entity-type":"item","numeric-id":759372,"id":"Q759372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$3EF2D961-5EDD-4558-9D5F-51E928FDA31F","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":"Q1194243$6A60F31F-BF75-4DDF-AAA2-59C403116B5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$0B9423F8-20A0-4F06-8892-F24549094E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$15A01D2C-0574-4E05-B5D9-DDAD9E728764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$4726DEC8-ACA6-4540-8901-817570C0425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df1425aec3d1b7801763706b63490074e4df0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4722187,"id":"Q4722187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$5923B4A7-543A-4D2E-A025-B3C586B09E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a84d4a6889c354803eaf85deff74311825ffe3","datavalue":{"value":{"entity-type":"item","numeric-id":5825810,"id":"Q5825810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$FD716B40-DF39-4399-87BF-28B17AFE5279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671e3e5cc6049d11acb4210fe316f19f166497cc","datavalue":{"value":{"entity-type":"item","numeric-id":3726220,"id":"Q3726220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$D070DDF0-EDF9-47DB-9CF2-277F825F3BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$545DC238-7FBA-413B-92EC-01023D5DEB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051cf7b41555c8858443e61056421deceafb04fd","datavalue":{"value":{"entity-type":"item","numeric-id":792384,"id":"Q792384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$1BC78A02-BF5A-400D-8D65-778DA7335072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661e527ee52403f296d6d8813ef2cce6a7d0bcc8","datavalue":{"value":{"entity-type":"item","numeric-id":3708875,"id":"Q3708875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$28BC83CE-91AC-4F20-AAA5-AC859D17DC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$7516035F-6057-476B-8D2D-174560CDF7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76176b56c368dfcc3d3cf1b9930cd23866dae8c","datavalue":{"value":{"entity-type":"item","numeric-id":4135501,"id":"Q4135501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$D8068B34-E0EB-4AC8-B253-D3962771C7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$DE778DDD-2B0F-46CC-A320-55B6E4A33BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabc080d48c1b3c4e6ae77a73c2da7ecd1c15122","datavalue":{"value":{"entity-type":"item","numeric-id":1091428,"id":"Q1091428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$6A507573-AF3A-495F-B1BA-A5FA7635FCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e850d5bcdb0fe043eed18d2bebfdcbbaeecfa457","datavalue":{"value":{"entity-type":"item","numeric-id":1059071,"id":"Q1059071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$311C1F89-8CEE-4709-9D9E-C841D03DF680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621cde72264d87de25dd9cf1c766b18faf2274f2","datavalue":{"value":{"entity-type":"item","numeric-id":1076670,"id":"Q1076670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$DB0E5560-FA78-4993-88BF-E2186D4DA789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa9317c637dd3b37f22a1ddbaae552ff5413e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3813802,"id":"Q3813802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$BE753C8E-65D6-4F65-8365-9EE7808967FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cd2892556bb19f10d0a7047926c71a83861f21","datavalue":{"value":{"entity-type":"item","numeric-id":3033881,"id":"Q3033881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$4732975C-7C6E-429E-84ED-559F83AEF53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ee04025f8e388651be4d4db71d838030df73da","datavalue":{"value":{"entity-type":"item","numeric-id":5799167,"id":"Q5799167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194243$CDF5BE88-E49E-45EC-840B-C91198C9085A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdbd007ed56d4ab25354ffb23ac0e49f0bf3035c","datavalue":{"value":{"entity-type":"item","numeric-id":5740654,"id":"Q5740654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d380289d3d2b4755235d10f6f7f09cd7db20d6","datavalue":{"value":{"amount":"+0.7872844934463501","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":"Q1194243$342C1C1F-639A-4F4E-B412-4AB48178B40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca9b0a9dcab28c70df5e450fc6acce54d76f8c9","datavalue":{"value":{"entity-type":"item","numeric-id":3831088,"id":"Q3831088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b9a605138b78185a6d584dc7c2025ab7d78579","datavalue":{"value":{"amount":"+0.7447388768196106","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":"Q1194243$F463C06A-A281-4518-9162-44EB550A04F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ac2b677c351c281450fe3135253e19079b5710","datavalue":{"value":{"entity-type":"item","numeric-id":4542321,"id":"Q4542321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64846df5fec5c0dd3f027a900855bc309edcb643","datavalue":{"value":{"amount":"+0.7159116864204407","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":"Q1194243$F42B072F-5937-4E2E-90EC-9015BF8B6DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18c0eee477ef6d231e52a2edc42c7d0159a5c77","datavalue":{"value":{"entity-type":"item","numeric-id":2565543,"id":"Q2565543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356d45b6b24b6a6ce7113d6237ca89cafe703af2","datavalue":{"value":{"amount":"+0.7111033797264099","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":"Q1194243$91796C13-4E14-4782-B152-30C8B0B266E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e47eb590d2c69cd18faeda45ecf2404d48ece97","datavalue":{"value":{"entity-type":"item","numeric-id":4685937,"id":"Q4685937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea26da8f819e277f2f935b819276bcb7a0dd8e2","datavalue":{"value":{"amount":"+0.7102604508399963","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":"Q1194243$ABE39A42-F333-4867-9D67-F38034CD4536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A transfer theorem in constructive \\(p\\)-adic algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_transfer_theorem_in_constructive_%5C(p%5C)-adic_algebra"}}}}}