{"entities":{"Q2933684":{"pageid":2944404,"ns":120,"title":"Item:Q2933684","lastrevid":52151741,"modified":"2026-01-21T01:14:00Z","type":"item","id":"Q2933684","labels":{"en":{"language":"en","value":"Reverse mathematics of first-order theories with finitely many models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377240"}},"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":"Q2933684$6233B7B8-A958-4B2F-92B4-79FDBF52BE8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06e5b95e9863202d7ba0582b3d4b4f7fb84b0797","datavalue":{"value":{"text":"REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2933684$C1CCC72E-211D-461A-8A6C-B5413F933E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae0108291d08070d698fd4f8ceb103bb1e9b805d","datavalue":{"value":"1353.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933684$9606BD16-EA35-4F7B-8E3C-4F811A236F3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6801e2d57a5fc08d1aaee1e9b479bac4dbec954","datavalue":{"value":{"entity-type":"item","numeric-id":1704084,"id":"Q1704084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933684$83FB21F3-133C-4430-9B47-83E12824C213","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2933684$DF020F04-3CBB-473E-A1F2-F25949EDE122","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0dda6ed153ad4b7a19c2fe6667c8bb6ae701f26","datavalue":{"value":"https://biblio.ugent.be/publication/8669023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2933684$08DB64F2-3C91-4CE5-8330-EEDD5D06D3BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933684$62C670FC-60ED-47C3-B967-2525CA123EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933684$CD3A235F-BC16-4B2A-830F-306CFC8240DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933684$5A6A74F8-2ADA-4E79-8940-725C3860DDBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38f92a52c0404171cb50645bf569f25c0a1eb03e","datavalue":{"value":"6377240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933684$9213E32A-5EC5-4589-A8D7-64DE7ABE1FCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ed7073901f2f7d8c4f91151817f094b3fdb912","datavalue":{"value":"number of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933684$5C7F6176-858B-4692-AA2D-854C2229D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933684$F33D3E14-C143-4E7B-9E35-3DE71964B57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62e27aab8a73218ae12f69f2b955d7aa4d175b9","datavalue":{"value":"effective model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933684$BA0C5E23-AF1B-4D8A-80D2-D6E1C80D102E","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":"Q2933684$2F0E9D8C-9483-4E49-9007-746162E3F042","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9cdd72ec145e83e2f282a141dcb65e2e9b9edb1","datavalue":{"value":"W2074818280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933684$69930F90-60F2-4D10-BFDD-FF7DE8F3C472","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933684$32AFE475-548B-478F-8635-9588F43C98DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a93f498cb57d93a85e419effa99ecf148ececa","datavalue":{"value":{"entity-type":"item","numeric-id":3853605,"id":"Q3853605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933684$E398D9AC-C5AC-4C6A-9A57-8C0FDDADF1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa63d730bb3593ebc1fe3f8d10e0a79ae3605a36","datavalue":{"value":{"entity-type":"item","numeric-id":3955337,"id":"Q3955337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933684$4004C816-5F1A-48AC-AC2E-A05176A3921B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f65a5e52342d27b29206c74c658e15e54d874e2","datavalue":{"value":"10.1017/JSL.2014.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933684$979EAAD5-C6C0-41E4-9309-BD698726EA38","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":"Q2933684$0DA001AA-E13E-4753-8BBB-627E8E25BFB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456454f6d532ff9d29ee08f2c45a71eb3dc962da","datavalue":{"value":{"entity-type":"item","numeric-id":2344719,"id":"Q2344719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1bc6e71951008d3defe306cd6dcd551dbfaacc","datavalue":{"value":{"amount":"+0.8011376261711121","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":"Q2933684$3931021F-99B5-46ED-A499-B4E75F47F2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1546497afd79550886083181955fec8df2980a3a","datavalue":{"value":{"amount":"+0.7654313445091248","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":"Q2933684$F70813DA-F0DE-4503-9FCB-D5B08484BD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea533da214356801a26c3553c733025738ddd3d","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8c7b452cc73d4087faad8f28101695405386c0","datavalue":{"value":{"amount":"+0.7371727824211121","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":"Q2933684$126DC0DC-2AD3-49C0-AF92-7540826FA4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0301e32857eabb78f8ed5ac4c5dac39d58e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dc0dbb5fbbfb9a57b1e0d4061c920445280ed8","datavalue":{"value":{"amount":"+0.7326040863990784","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":"Q2933684$B3EB4CEA-7F53-4E86-8B85-FA2A0BE161EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c38de09ff99fa5485e28c43f6d407eb2d2a256","datavalue":{"value":{"entity-type":"item","numeric-id":3752377,"id":"Q3752377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccaf7b21f7eedae05b5c69a486e2439fe0e92cd","datavalue":{"value":{"amount":"+0.7289692759513855","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":"Q2933684$129361D2-9E64-45E6-B85B-EC632B544F42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2933684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2933684"}}}}}