{"entities":{"Q4527909":{"pageid":6557501,"ns":120,"title":"Item:Q4527909","lastrevid":47566225,"modified":"2026-01-02T02:31:58Z","type":"item","id":"Q4527909","labels":{"en":{"language":"en","value":"Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558171"}},"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":"Q4527909$4E8E9541-F233-4B31-859A-188CB90FFD33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cc8b7513e1dcbef1b75e8b6e4f8ae0e8ca0b832","datavalue":{"value":{"text":"Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4527909$7C56B5D6-46BA-40B1-842E-A7D75BD634DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45e4f9bb286e2a91513f54cd8bde72ed2f9a5c95","datavalue":{"value":"0970.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$63BA62EA-CDD4-4664-9CC8-EA613755EFF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa5b94432b761753e15e172051e4075a6e8ad8fd","datavalue":{"value":"10.2307/2586686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$10E4D50D-3520-4BED-B3E1-3D324220918B","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":"Q4527909$EA7C5B30-BF64-497F-9D14-FCFA86114F19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527909$AD94329D-2F44-47A7-8092-70DA6F5F9973","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21cd3ad4349f5b6dfaade62d03dc9bd49627c508","datavalue":{"value":{"time":"+2001-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4527909$11430292-30CB-4803-AE70-52B5F92DE627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$FCA2AE0C-F77E-48B4-9D5C-1FFCFA30328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$8808E664-8971-4434-9B3F-09292DD6382A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$051BD50C-54D4-432F-8C17-18888809CD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$D77861A5-A59F-4D91-9066-EECEDC0A3AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$1C7E034B-A260-40B5-95CD-3E83C5C38F41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5371488d1baa1c740161a8888a35f0ad6223061","datavalue":{"value":"1558171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$C7D5221E-5357-4BAE-9D63-9ED214A48951","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0762595aba73aeeee9b7820b2b282493be06f1b9","datavalue":{"value":"intuitionistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527909$98EA4B3B-189D-4164-B049-BDDCF301EC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3770fd5b77bacdd0657ec0c57ee5d79fbc28ae6","datavalue":{"value":"topological models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527909$2FDE9A1B-7F15-465C-B01D-75A147135091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4527909$BC45CD5E-1B97-4BE7-84A8-EFB71B2F0869","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":"Q4527909$0B3BBC1B-8ED2-468D-A045-A84C67A86DB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d382478a73592824b3e38fab10de2cf4ad7dd83f","datavalue":{"value":"https://doi.org/10.2307/2586686","type":"string"},"datatype":"url"},"type":"statement","id":"Q4527909$F777547E-9384-4057-B1D7-B1DEC04199E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0063328d7e3e4027f6c3bdfbf4ae461e25cd8672","datavalue":{"value":"W2016222224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4527909$681D3851-4E6D-4B55-961F-C12DE91740A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527909$17287E7D-1AA1-4656-AA69-9145EA237210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1315308a3632017650f7f5ae94783a9883728aea","datavalue":{"value":{"entity-type":"item","numeric-id":3739107,"id":"Q3739107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4527909$886BBFA7-CD59-4055-A132-A37369B11ECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddcadadecb9679ed0adfee383b0b2368f39f532","datavalue":{"value":{"entity-type":"item","numeric-id":4210836,"id":"Q4210836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06897128ad9efeaed646f959d7d0cc98d5fbeda0","datavalue":{"value":{"amount":"+0.9079698324203492","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":"Q4527909$55155D35-C330-46A6-9E06-09DBC3209AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49744f32ab6bc3bfacfdd78794231a214736c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1076670,"id":"Q1076670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a947d4ef6ca51d4b361eb305ec51c7d8c0b7ce","datavalue":{"value":{"amount":"+0.9065384864807128","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":"Q4527909$FF3EE940-6113-4037-8EB4-88255F2DFBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8532d2a4c841fc37c521bcf14575ab32c8a1e028","datavalue":{"value":{"entity-type":"item","numeric-id":6047713,"id":"Q6047713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e107b354439e519ca29c8e2309db2b89b2c965a","datavalue":{"value":{"amount":"+0.835730791091919","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":"Q4527909$DEA0878F-1CB2-40F7-9929-69FA5867CC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5502708b6d2907362b4f541db6504ef57d8fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4372914,"id":"Q4372914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b066854bdd97034518d026ce4355291d4f2e851","datavalue":{"value":{"amount":"+0.8291652798652649","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":"Q4527909$FCE8C17D-4C93-48D7-A512-0782C3904A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e06379f992985f3a620241b84bd62719ecabdb","datavalue":{"value":{"entity-type":"item","numeric-id":1059071,"id":"Q1059071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692cbd5876ebd4f843300bff8ca6aa1e3100406f","datavalue":{"value":{"amount":"+0.8036572337150574","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":"Q4527909$B4B2E5D2-A7CF-4C1D-94A1-6F97FEB1532C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4527909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4527909"}}}}}