{"entities":{"Q4531092":{"pageid":6560684,"ns":120,"title":"Item:Q4531092","lastrevid":41903888,"modified":"2025-05-14T13:55:27Z","type":"item","id":"Q4531092","labels":{"en":{"language":"en","value":"An Intuitionistic Axiomatisation of Real Closed Fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1746900"}},"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":"Q4531092$CC7ED63A-05D7-468E-A562-4DB045C9BA19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4debf3983ace90a6479c4b2e5f51960a7472b19","datavalue":{"value":"1003.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531092$85AD478B-E3FC-432F-B1A6-0FB33B256D9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531092$28BCF507-ABE8-4403-B996-1DA6B9C29D00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0681c3a06b0a8233603996004f959708deedd6","datavalue":{"value":{"time":"+2002-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4531092$73AA1CE5-0F9A-40AA-AC71-2DB3C6ADB412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531092$C351C942-B44D-4618-8073-2440DB87E9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531092$A2B7F1F2-FA3A-4004-9363-EE9D0DB25911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531092$11E7ECAD-90EC-48A1-A300-5411DDA1F4CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8570c86618db03849ef8c7f74341aeefc1994374","datavalue":{"value":"1746900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531092$386F302F-506F-4CD2-998C-E56C8CECE8A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3503210e36128a9ccbe52a17880d06a6b74c95cd","datavalue":{"value":"intuitionistic axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531092$B2124B34-15F5-4DF6-A414-ADF1FB4547C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531092$0A05D1B1-518C-4483-A25B-0B4C933FE227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20753ff764f853b29671dbf18f14ce7642d9bc8a","datavalue":{"value":"constructive reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531092$83BDDC52-7911-4FE1-BF21-0BD13CA2458E","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":"Q4531092$086BD234-961F-402C-A3B2-E0A5BC6B8871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85fe2da09038ee1b309280ef64058c9b001157e","datavalue":{"value":{"entity-type":"item","numeric-id":4365300,"id":"Q4365300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531092$381E0A4F-2248-4C2A-A6AC-596988DDAE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531092$E0ACA14A-197E-49DF-9866-AA7BAC34973E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59f12b87f61a6c1901f6c1616fd34be0a06567dc","datavalue":{"value":"W2013281463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531092$B566EF13-13A8-48BA-BD41-C817BD06B56B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faf85783ef85a33b34b8322655676326d75a5570","datavalue":{"value":{"text":"An Intuitionistic Axiomatisation of Real Closed Fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4531092$504C710C-8F2B-4AF1-8CD8-00BFD49CD27F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da78015309f53cd6b940e155979177282e67ca74","datavalue":{"value":{"entity-type":"item","numeric-id":3123371,"id":"Q3123371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8455ffb9d89b567a75f5829f73e660f6e15ff665","datavalue":{"value":{"amount":"+0.95375675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$47D58C15-843F-49D6-B392-C471EF78871D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73c2329617655b4331c7582f752489208c1662d3","datavalue":{"value":{"entity-type":"item","numeric-id":3218216,"id":"Q3218216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614618bbfe8c048871f8a162906100a4491fef3d","datavalue":{"value":{"amount":"+0.91330975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$1061DBD6-B6BB-4D12-BB5B-ED9A3B39E086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2da1985d9ec091cdccb34454c513add09f6e6a4","datavalue":{"value":{"entity-type":"item","numeric-id":330194,"id":"Q330194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d76a86b62d61f226cf2b58067172ebe46b9ab9c","datavalue":{"value":{"amount":"+0.91216254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$467DDAE7-1542-4196-9F50-2ED643FEC157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1314453ee25c647334b00761a953b2065fe0bde7","datavalue":{"value":{"entity-type":"item","numeric-id":5258477,"id":"Q5258477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22eb24b0195b35cc2ee5ac0b22857ab12afb0916","datavalue":{"value":{"amount":"+0.9110788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$6A46E02D-4759-4950-A777-2DA8C7D57327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d0aa290cd884c051f35879665ec673b6ae040c","datavalue":{"value":{"entity-type":"item","numeric-id":3128465,"id":"Q3128465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9718d270198c09cabb963036ebc2fc409ad520","datavalue":{"value":{"amount":"+0.9042162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$4ACAE151-FC3C-4B3D-8553-15856888FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbe92ed2580ac18099d58d4527c55bef6ded7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5190186,"id":"Q5190186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd8749cd38d4faa33ac7ff3d3445a1b635f98b8","datavalue":{"value":{"amount":"+0.8991798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$5A276B54-9424-4D43-8391-6AA1F238CDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e365f853b33abf7d72419193f174fee7d2ce2e81","datavalue":{"value":{"entity-type":"item","numeric-id":4234243,"id":"Q4234243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2597e7879164417365df5598b60263b394bc650","datavalue":{"value":{"amount":"+0.89806855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$12D2CE0B-E28B-4361-9390-11C42C22C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e089133e18c337574d39d66e8024f8adc95e7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758811,"id":"Q3758811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeabd428a8b98625509bece99b7190e6b15f222f","datavalue":{"value":{"amount":"+0.8974848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$0EEE0E2E-40C6-414F-924B-D838CD867020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481563f77af7fdb96b18a18634c6487dc3372573","datavalue":{"value":{"entity-type":"item","numeric-id":2287034,"id":"Q2287034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204ff4bc8ce877c613e442d23d8e4f14010bc0c3","datavalue":{"value":{"amount":"+0.888816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$2A73A5C8-CBCA-40B5-8ECA-EF851360A865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607baeae0c29e16ef92d91bc3814a2ff4df352a2","datavalue":{"value":{"entity-type":"item","numeric-id":1103610,"id":"Q1103610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae65951f707ebc16bcbdd37ea1aa9ecc39317e91","datavalue":{"value":{"amount":"+0.8884099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4531092$C87D4A15-89BC-4213-91A4-DACB658E1237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67ba32338bc7f83333886810f5397ee3748649ef","datavalue":{"value":"10.1002/1521-3870(200202)48:2%3C297::AID-MALQ297%3E3.0.CO;2-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531092$7110EF06-81A9-44D9-B276-729CE0DE3857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e290c9b116352891a3de263a1b9792bb1e33fbba","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200202)48:2%3C297::aid-malq297%3E3.0.co;2-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q4531092$C0938B9B-0723-4876-9F2C-3ECAF358AA3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4531092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4531092"}}}}}