{"entities":{"Q3813802":{"pageid":5843708,"ns":120,"title":"Item:Q3813802","lastrevid":53787794,"modified":"2026-01-25T17:34:45Z","type":"item","id":"Q3813802","labels":{"en":{"language":"en","value":"A note on definable Skolem functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083596"}},"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":"Q3813802$80337B37-E7EE-4E83-A08C-965BBFA9C572","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0267b1db41ca23712e20caeba524a87666f45f09","datavalue":{"value":{"text":"A note on definable Skolem functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3813802$DCC61A25-27BF-4815-BA4B-289CC6D7C116","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b312d55e351ee177d0a47090b309053eaf249902","datavalue":{"value":"0663.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813802$CBE185D4-29DB-4F54-A662-AEE22A6EE380","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ea0c31ea929372ac2a1fd2bb85b4a9b5dd95794","datavalue":{"value":"10.2307/2274580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813802$A958D2AE-DD4E-415B-AAFB-28B92E3F2226","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8046c88830c5dfb2589ca8a57ceeee063c5c70b9","datavalue":{"value":{"entity-type":"item","numeric-id":292830,"id":"Q292830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813802$C0FB1028-BD98-4842-BDA4-953E41CC849D","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":"Q3813802$006C2124-7825-4572-BC60-154FB9428EFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3813802$4DE34C85-F199-4257-B4D3-22D134B9D17F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813802$1DE53031-8DC0-48B9-BA66-889122BB1AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813802$41FDB454-99A1-4D25-BF66-9FDFC0A74B7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb90eac886509ebf858be74ae19b46b177425b30","datavalue":{"value":"4083596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813802$93ACB838-0B29-4B24-B99B-36E2F358191E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaee16bbd717e169ae001015c906e4a1990df5b0","datavalue":{"value":"model-complete first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813802$22D9CC0B-15DB-4968-988A-44196613E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a217037542490d9b0adfb4efb10d38e98233a7f1","datavalue":{"value":"definable Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813802$68B052EC-D44E-4273-930C-4E27E00FFAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b12b8696b82b0ae3aba085e2cddfde7d736b306","datavalue":{"value":"universal- existential axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813802$132AFC17-6894-4BF4-8CBC-06D3533FAB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e221c74dc24ddca5ba6fe2b37e658a2f769b4280","datavalue":{"value":"effective procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813802$824CF780-3509-4B5E-A00A-CA273147E965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5524815adf2cef52b143c0e7bf8f14718b821c16","datavalue":{"value":"real-closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813802$D9FB3DFB-4934-405E-8EAC-19024FFC49A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc71dc4bd1d3bfc4c27ac67bd1c44cf24838b9a","datavalue":{"value":"real-closed rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813802$E5A4FEEC-C004-430B-9216-751F6828788D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9469fc7d972fa14b7a497efaa63deab27ebc1e20","datavalue":{"value":"p-adic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813802$89E5B7D9-0692-4256-A7D2-99D82166FDB5","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":"Q3813802$AF2B4099-DF18-4A79-9B95-A577956D8B3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa05be98bc2176fdb4b0b25dc5f5595ff2eba148","datavalue":{"value":"https://doi.org/10.2307/2274580","type":"string"},"datatype":"url"},"type":"statement","id":"Q3813802$550C566D-D698-4F75-A6A0-A10ED1F7FF98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a269973d445cb6ceefe46aea21119c8638c81920","datavalue":{"value":"W1971324392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813802$5228D0F4-9698-4269-96B1-E94AAB5EC24B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"051cf7b41555c8858443e61056421deceafb04fd","datavalue":{"value":{"entity-type":"item","numeric-id":792384,"id":"Q792384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813802$4CF5E24A-CC4C-4614-BB2C-BB30CE2FD133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8fd66e84c76353edbccda9edead651b240ecb","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813802$884F547F-5648-4890-B840-94A1DCA36F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813802$57195D84-A33E-459C-9DA9-8C0F861CE754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea23f8d8ffb6d6e9b55b988fd5ef582e54d407c","datavalue":{"value":{"entity-type":"item","numeric-id":4116442,"id":"Q4116442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813802$96208B92-F85E-4A67-A312-6D061516D3D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be19503ff83a11d293beda01d5c2a25dbb3bd905","datavalue":{"value":{"entity-type":"item","numeric-id":3727972,"id":"Q3727972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18e05495f99b393ced2f3e3797a921782934bdf","datavalue":{"value":{"amount":"+0.8908897638320923","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":"Q3813802$3B1B0D2A-7C8A-4FEF-9B2F-476D02EA614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735742e193ed272b589e7cfcccb0850473a6a222","datavalue":{"value":{"entity-type":"item","numeric-id":701730,"id":"Q701730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fa07bf0aeec61ce8a3e3226b06140297a23264","datavalue":{"value":{"amount":"+0.7798416614532471","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":"Q3813802$E9FEDD52-7ED8-42AB-A831-73952A781647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb216fd3d3deead7ce5c3c4dd4717a09719c4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4600465,"id":"Q4600465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8daabd5eae8681725e0595683ba11cccffe8e2","datavalue":{"value":{"amount":"+0.7684329152107239","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":"Q3813802$BCEF3E1B-5C9C-4F18-B37A-50D3A4A06081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d487f3a69d80b920b3ff70f17274f6b58f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4263745,"id":"Q4263745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca067b1563cfb26bd462530b496a162658b2f824","datavalue":{"value":{"amount":"+0.7647523880004883","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":"Q3813802$F1D3D18B-D3D5-47B2-AF5A-26E3203555DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35587e0879e77f72fa4f14d4df5b24cb17a306de","datavalue":{"value":{"entity-type":"item","numeric-id":4977230,"id":"Q4977230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e7b2f08e3f7c6b1cc5494d289c65f019635cc8","datavalue":{"value":{"amount":"+0.7637365460395813","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":"Q3813802$FDBEEC80-1B6F-47FE-BD40-13EDBB4742EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3813802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3813802"}}}}}