{"entities":{"Q4198482":{"pageid":6228083,"ns":120,"title":"Item:Q4198482","lastrevid":39415000,"modified":"2024-12-29T09:49:05Z","type":"item","id":"Q4198482","labels":{"en":{"language":"en","value":"The theory of Archimedean real closed fields in logics with Ramsey quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3639597"}},"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":"Q4198482$C5E36660-74A2-4D11-93D9-FDD985C2196C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95ac266842b78dbe4fe6ffc3d3af6bf842eca4a4","datavalue":{"value":{"text":"The theory of Archimedean real closed fields in logics with Ramsey quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4198482$6E45D438-86EE-47D3-922A-1D6285964E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c0edae9b0cdcbb582e06b6c4efeb97a9178e97f","datavalue":{"value":"0412.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$B3D43E7D-7931-4690-9DD2-299F63CAC861","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198482$C0DB21F8-0AC0-4EF4-808E-790F46C9ACB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4198482$459969DE-1526-4E5B-8949-A0A543D86978","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3035a22f688dc2bdbefc18c45192683893d6942a","datavalue":{"value":"https://eudml.org/doc/211045","type":"string"},"datatype":"url"},"type":"statement","id":"Q4198482$D8C9188F-4229-42A3-A412-2C95945F854F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$89DC4F4B-0BA4-4FBE-9BEC-629FE66B353E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$31C4E462-C06D-4AD2-9D46-DAF2F71C7AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$F7DABEB8-452E-4678-AAD6-C60D1A6E7409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$4663A885-58CD-446D-A378-D0B715E3D62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$A3158B06-46F4-4148-A543-6FB76DAC44F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98d3c51b48188b9a62d91bf9b4b84c8284588b0a","datavalue":{"value":"3639597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$A8001CC1-9794-43EC-BC8E-583A82FAA38B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198482$F6981527-3D43-46B4-9306-92D04ACE559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198482$C6BE34AD-7B63-4DA2-A514-137AAA098BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef14dfbf28d011113341ab4b1b60b8abe2bb8caf","datavalue":{"value":"logics with Ramsey quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198482$1B2EF69C-B8B4-4D48-9C01-1278827041EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebd7fc61a54f1f9f388d1a92c67e552bd5821f6","datavalue":{"value":"Archimedian real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198482$F20CF0CF-3A44-416C-B89D-84F299D50E56","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":"Q4198482$F9229A9F-746D-4A28-A951-EE2D9CA2127B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3da6aa70dcce2d8a12150642ba0a3e0a4a83a80","datavalue":{"value":"W773550831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$B697FEF1-6FB8-43BD-80DB-5FC1CD6B5FBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b44f86407e5c90eb7a145c6d88ef4adbf89a51e2","datavalue":{"value":"10.4064/FM-103-1-65-76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198482$41170589-6B7C-4842-832A-A90CBCAFFC98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4198482"}}}}}