{"entities":{"Q4351924":{"pageid":6381523,"ns":120,"title":"Item:Q4351924","lastrevid":46560033,"modified":"2025-12-25T00:59:47Z","type":"item","id":"Q4351924","labels":{"en":{"language":"en","value":"Decidability in the Constructive Theory of Reals as an Ordered \u211a\u2010vectorspace"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1054289"}},"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":"Q4351924$E1B1F65A-19F1-45F5-B3AF-BAED233FC073","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"831aad14b8d253d22dbc1a9a06b9107324d6232a","datavalue":{"value":{"text":"Decidability in the Constructive Theory of Reals as an Ordered \u211a\u2010vectorspace","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4351924$1DAAE96C-D1AA-4D98-9614-F37AD6F824F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b60f44431fcd79d40d7be61a44b949f3109d7733","datavalue":{"value":"0876.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351924$09C3E201-C41C-4F4F-AE99-50D097E42660","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9a1ab7f8d2feba48de8b8a13f3a28d9d9c280ed","datavalue":{"value":{"entity-type":"item","numeric-id":1006482,"id":"Q1006482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351924$188FEFE7-D2F8-4478-A85F-938931F10B2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351924$B755E279-5202-414E-B704-664C4261F9CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867468f469ba75d0f3d5844c887d31c98dc154f2","datavalue":{"value":{"time":"+1997-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4351924$DBC2051A-698A-4F8B-B939-50DE1F66E87C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351924$4AB1CF13-5A36-46D0-AC0A-F126D1D08317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351924$9D0555C5-6B8E-43FB-B530-8E206BA82E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351924$7DE916DB-6848-4889-AED7-998551EA78E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d85d5fe8aed2bb862246e773e422584f8bc60b8","datavalue":{"value":"1054289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351924$6F007ED3-A55B-4188-9E7C-1D74FD1EFB54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351924$472F5141-EA45-4FA0-8EB9-BCE2B8ACC2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351924$4F1B85F6-F907-46DD-9CB5-BB8151FF3D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48164d962845add4ec9f9a380cb5449c361f45f5","datavalue":{"value":"vector spaces over Q","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351924$9A23BB33-5450-4E97-A642-B6A3151D112A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362e9a6b6411be8c9703c6d7c490b8c34389e974","datavalue":{"value":"Tarski's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351924$414AC50E-B8BF-440E-873F-046DB611A843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dbc3adbc1a3d818f58c82ea32f370536bc34dfa","datavalue":{"value":"lawless sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351924$126714CF-B57B-4CB7-9056-1A3131D0ACFE","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":"Q4351924$55A81033-697F-4B80-8FA2-B11A84C5F18A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ae03039392b6e76b3d474bea18fe71819208297","datavalue":{"value":"https://doi.org/10.1002/malq.19970430307","type":"string"},"datatype":"url"},"type":"statement","id":"Q4351924$26A8638D-B2F1-42EA-B172-082A50DF99FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d48ee1b77419e5c7874f4b9fcf0ec3d927a01da9","datavalue":{"value":"W2034378944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351924$92A6A464-8236-4933-9582-76086CA1F4E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351924$DB7EE918-DE0C-46F3-B392-31536C1FD806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351924$21F01998-9B34-445F-930F-4B77953AB8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5705a2bc71a85b7bb2d856c1cde9b4da8d7426","datavalue":{"value":{"entity-type":"item","numeric-id":4126323,"id":"Q4126323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351924$1F0B3B75-3A1B-4F0C-82D9-19E6CA97A051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d81fc869ff283af0bdf2a54eb35a7fdd7165020","datavalue":{"value":"10.1002/MALQ.19970430307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351924$3992E7B1-A821-47B0-8BF3-8954613B5896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092c7f88d257293e2dd87c8988077f5d57b7dec7","datavalue":{"value":{"entity-type":"item","numeric-id":5957912,"id":"Q5957912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91bd8d19708ad5c593b83aaf69bedb8a38c5efee","datavalue":{"value":{"amount":"+0.7644222378730774","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":"Q4351924$4D639CA2-91DD-4DC1-A877-761C4B00115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cae51ea13ed26b6860e3b2744a40e9c4f8b73f","datavalue":{"value":{"entity-type":"item","numeric-id":3480175,"id":"Q3480175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92fc8fbdff35da389eab7f89bf7a2f3c9760fc24","datavalue":{"value":{"amount":"+0.7589207887649536","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":"Q4351924$414EBEAE-82D4-4DAF-82B4-078B490CBE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b957e6824146f1589ac24067862de220a8b542","datavalue":{"value":{"entity-type":"item","numeric-id":3986779,"id":"Q3986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636de80d50533faaa8ae3a44afb2e2b724abd4d3","datavalue":{"value":{"amount":"+0.7581996917724609","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":"Q4351924$59A9920B-4A26-473A-B51E-B8E14B1DE3FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4351924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4351924"}}}}}