{"entities":{"Q4740553":{"pageid":6770133,"ns":120,"title":"Item:Q4740553","lastrevid":98056643,"modified":"2026-06-05T16:11:40Z","type":"item","id":"Q4740553","labels":{"en":{"language":"en","value":"The Henkin Quantifier and Real Closed Fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3795938"}},"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":"Q4740553$208892E1-A686-42BC-9BAD-BAD4301A407F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7d2575be8615161edca85179c3f5f9cdd7f4942","datavalue":{"value":{"text":"The Henkin Quantifier and Real Closed Fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4740553$374C29A9-55F8-4A18-875A-FE3559666182","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47e86804699511ae01df7127b1a76a9206c350c7","datavalue":{"value":"0505.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740553$2A1F95A6-F762-40A1-9DD2-E8851F63B06E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3064c548fb238d71dbd15832dc9b2117bf93634","datavalue":{"value":{"entity-type":"item","numeric-id":1135305,"id":"Q1135305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4740553$1FAF4A0D-F703-4830-9128-E5F5ECF97175","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":"Q4740553$08039639-B761-4AC2-A93E-3DA336C93E2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4740553$A7EB9AD4-3CFA-48C3-B743-6199D13E47DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740553$478E3648-B1AC-4DA2-99F7-A497521559A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740553$86C492CD-E05C-4BC0-BAA9-808ADAA10B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"befd6b69bc778d87eaba4ea71a314d0c8e3a8e18","datavalue":{"value":"3795938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740553$4773EC90-FCBC-48C4-A0C8-93A31A23F85D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740553$C9C21DAB-9CC5-4ECE-BE7E-F04E7FD786DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740553$32114854-25DD-4566-B38D-1E9E68CB965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c81b20ae2b4ee7fccaf0486b038bd65d773d1e2","datavalue":{"value":"Archimedean fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740553$4E0E0BA0-3FD7-4A08-908C-85C93649EEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c14c2cb7b689583dec18aa631ab074a340e92a00","datavalue":{"value":"Malitz quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740553$D7D4CB91-3C12-4AE0-A7AC-232370A2E960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afadb4cafb687c08f51d2a70de0e4833eb68e729","datavalue":{"value":"Recher quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740553$AAFEEF31-3FBE-4862-BA62-37D9AE08847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41152620c015b67f5db6c48eae8ca947f5ef9d10","datavalue":{"value":"Haertig quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4740553$0CBAF83B-4743-4D2F-906E-0959787B645F","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":"Q4740553$92B491F5-6F5B-44D6-A71D-96617677E6A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b31831ec048aa5e3d3922f108157e91f4980c1db","datavalue":{"value":"https://doi.org/10.1002/malq.19810273107","type":"string"},"datatype":"url"},"type":"statement","id":"Q4740553$74C442EF-283D-480B-B3A3-1DA17C942BA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f849adf9b04906bd2a640e5e854d5eb2834f76b4","datavalue":{"value":"W2148286479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740553$661489BE-B5CF-4C31-A38B-25D89F9B64EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac39d805c0bb4923919bbd9064b8ad65523fcbd8","datavalue":{"value":"10.1002/MALQ.19810273107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4740553$DE0AE9B3-1A29-4385-9FF4-F1DC240526F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Henkin Quantifier and Real Closed Fields","badges":[]}}}}}