{"entities":{"Q5407040":{"pageid":7436614,"ns":120,"title":"Item:Q5407040","lastrevid":58558758,"modified":"2026-04-05T18:14:33Z","type":"item","id":"Q5407040","labels":{"en":{"language":"en","value":"Decidability of definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6279891"}},"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":"Q5407040$0B279252-ED9F-4BB6-A82C-9F28A1A83F0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d66220ad20c65d2435efaa048d82089aeecba6d","datavalue":{"value":{"text":"Decidability of Definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5407040$99024033-0A07-4DC8-9C22-125EAAD11AB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68a39980ba7a3e5166b77b4d54961cdfde6e37a5","datavalue":{"value":"1327.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5407040$E424158E-7EF5-4AE4-BAA0-A1FD845FCFB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4755582e657d5373bc1841f6f1020d16c1f93d52","datavalue":{"value":{"entity-type":"item","numeric-id":259042,"id":"Q259042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5407040$CBE310EE-C0EE-4562-80F0-E8B58C77BFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c8caf34b6e74ed6e38df4ec97fc05f73ad0a39","datavalue":{"value":{"entity-type":"item","numeric-id":259046,"id":"Q259046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5407040$F80729AA-D9EC-4BB1-A98E-C1DFEC9FCDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34166b74a1c8d577294988787a7347d024ef0bd2","datavalue":{"value":{"entity-type":"item","numeric-id":375503,"id":"Q375503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5407040$489E01A8-B657-49E1-9BCE-D3F925BF3377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d05609d3284090a82a1da837c76429332d3f4107","datavalue":{"value":{"time":"+2014-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5407040$7F36B7B7-7DC9-40B1-A219-D91B8BF6D409","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10c1fcbc64ff6e94598684cc54d8d4fd576cdcf6","datavalue":{"value":"https://arxiv.org/abs/1012.2381","type":"string"},"datatype":"url"},"type":"statement","id":"Q5407040$2800A5BB-FA3C-4CCD-9994-FE17878849AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e36bef5c7179f2dcf32574338ec288fb8a937e87","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1388953993","type":"string"},"datatype":"url"},"type":"statement","id":"Q5407040$3665154D-FBD7-4766-8FA9-D3CC8C2A26B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5407040$9B506375-F336-46DA-8C69-D5F5DCD4E16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5407040$E078C687-0B13-4D2B-88E6-B83254671055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b88c125b2fa1e5160eccf91fa852f7b4bb12d2ee","datavalue":{"value":"6279891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5407040$0CD4EC4A-4A40-42B6-9B6C-15C584A1D316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5407040$C59E6510-0B0E-4EEC-B3AD-30627BA7FC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5407040$59CC7ED2-E92A-4721-B2DD-39C119E93530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45fe81774f27c5118634adf8df5454db30f2dba0","datavalue":{"value":"primitive positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5407040$495E5700-BF95-4489-B50D-3AEC06A7E480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1518fe52aa7cd411664de22926d502144324752c","datavalue":{"value":"Ramsey structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5407040$D5F5FD7A-5B41-4139-815F-6D891AD164A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2147bae1b48401a91d098f53842bd2eb84cb3b5f","datavalue":{"value":"finitely bounded structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5407040$A84603D1-A8A2-4664-AF30-805DF2339566","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":"Q5407040$6BCA96F3-EF59-4F05-A230-E71D4D559AD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fcb7914cd0af6cb362ed0fc9542321640d3c5af","datavalue":{"value":"W2078586522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5407040$E1D9F3E6-AC30-4B4B-A490-211E8E22D9FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d10ab276d877ade1f6bfdcd47aceb196cdc1911c","datavalue":{"value":"10.2178/JSL.7804020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5407040$920F1C07-C670-4F81-94BA-CF144A48781D","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":"Q5407040$BE31B999-33C0-4AB6-BCF8-CCC92E15BD61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d081684cb183cb6251a6fc0c76844084011d17c","datavalue":{"value":{"entity-type":"item","numeric-id":4636561,"id":"Q4636561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf565636f3af13fd7ff53cabad21b0436e6eb82","datavalue":{"value":{"amount":"+0.7783287763595581","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":"Q5407040$F0D84A3C-EB5F-4D70-B5FB-8EE485A5D53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dc1a9366d24bd9b3e227c3169c0074df3c53c6","datavalue":{"value":{"entity-type":"item","numeric-id":1799273,"id":"Q1799273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac38e8a048b1454a937958425528627a4993e34","datavalue":{"value":{"amount":"+0.7771425843238831","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":"Q5407040$AD49B8BB-365B-4B59-B8CD-7DC0C0097352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07adb7089f2bb87ad51c6cc4e0deadd92db44155","datavalue":{"value":{"entity-type":"item","numeric-id":2219074,"id":"Q2219074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26d5291f8bfab8e9177f6bba1ee24a1e8945e69","datavalue":{"value":{"amount":"+0.7704299092292786","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":"Q5407040$564EE902-43A0-4014-8E47-DF87ABD331FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c03b7d0c243f3e7fefbd4cc97d12ee766684156","datavalue":{"value":{"entity-type":"item","numeric-id":692919,"id":"Q692919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73562f15b1f6fde54f55444343b3ac1297c1d270","datavalue":{"value":{"amount":"+0.75257807970047","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":"Q5407040$B5CADAD8-680D-4C13-88D0-D747C9EA1E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf962777a9d2caf9e130195d9774cc315a4ab2a","datavalue":{"value":{"entity-type":"item","numeric-id":5207051,"id":"Q5207051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82228a360398106d26ad340c22758958f32b0a60","datavalue":{"value":{"amount":"+0.7514327764511108","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":"Q5407040$A652D2A2-9541-4889-BD05-2BDEF8911884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5407040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5407040"}}}}}