{"entities":{"Q2709313":{"pageid":2720052,"ns":120,"title":"Item:Q2709313","lastrevid":47596402,"modified":"2026-01-02T04:26:47Z","type":"item","id":"Q2709313","labels":{"en":{"language":"en","value":"An autostable 1-decidable model without a computable Scott family of \\(\\exists\\)-formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1585435"}},"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":"Q2709313$EFDB04B6-700A-432B-B5FA-9A18E1541574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7007bc9a3ef2977500f89628427fe497df7653b","datavalue":{"value":"0972.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709313$E5053386-A0AA-46E1-BB2A-C96E1BACDAFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc430287aff334b038fffa2842c5e6fa3f5ef7d8","datavalue":{"value":{"entity-type":"item","numeric-id":606047,"id":"Q606047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709313$14BDE6B4-3214-4997-A8FA-E2773A911C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01025e4e0db5ed45cddb918946199fe4c9ef64ac","datavalue":{"value":{"time":"+2001-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709313$97D00CDC-90B0-465F-A4AB-D85BFFD46FFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b964bc3985edd0e7d353f5b7c5a79507dd9fd245","datavalue":{"value":"https://eudml.org/doc/187781","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709313$31E6277D-C2DE-49B8-BE65-E0646C16A6FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709313$1CEAB0B8-C9EA-4AF4-8560-FE00B07F8928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709313$584F3932-3718-45C5-B12B-A012265338C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0224ed225a3c7cfccd4b23e8413fedf20de20dd6","datavalue":{"value":"1585435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709313$9B3F74D9-14FC-407C-80A4-56994303DD6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8482d1adb70bd06dfee2710c3e7bc21026b4be2","datavalue":{"value":"autostability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709313$3C876709-7B1C-4C4A-923A-E74E14109E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0208e64b68f12b9b868c75978f00e316664c52c1","datavalue":{"value":"computable Scott family","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709313$F2976B75-9478-4BFD-B4F5-71A47B4408BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a05ae3d3c35658e879f55b70f0e3df3c1b75b88","datavalue":{"value":"1-decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709313$4FC45F5C-5E5B-4E40-B13C-FDC11FE394C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef714248d8020aa89e7ae1129dd36941c77e1dc","datavalue":{"value":"unar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709313$C40FB506-B5C7-4AD4-9760-3E17A789A4AD","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":"Q2709313$46A63358-0911-4AD5-BFB5-034AB731732B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b94572656fc46266e021107cdeb783aeb78db63","datavalue":{"value":{"text":"An autostable 1-decidable model without a computable Scott family of \\(\\exists\\)-formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709313$44C8B80B-2807-4DEF-90CE-3F570921CBB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08eb16300f59329ffcfb1ce2c954ae75f9ae049","datavalue":{"value":{"entity-type":"item","numeric-id":6768234,"id":"Q6768234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709313$0532D0C8-3265-40F9-A51E-BEC02D5E0B67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74ea2971cb7c73987fe34814af91531644295c7","datavalue":{"value":{"entity-type":"item","numeric-id":1317625,"id":"Q1317625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f50d4383e9f0d33d44952df1e1c164ce16e2578","datavalue":{"value":{"amount":"+0.8058949708938599","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":"Q2709313$48955866-7402-465C-A7A3-791EDDEA829F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7030f98b97b6183db1686899584d00aa8b87596","datavalue":{"value":{"entity-type":"item","numeric-id":2501165,"id":"Q2501165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf907c6c9fd2aabcf5e66e8aa603075bf214a0d5","datavalue":{"value":{"amount":"+0.7564127445220947","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":"Q2709313$E3805BFB-AF0F-4788-8144-6F768AAAB15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ba4e1761e766ac6c686e6381d6eaa5a4b118b2","datavalue":{"value":{"entity-type":"item","numeric-id":3195686,"id":"Q3195686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211d2783215fd09f2a9acb2793002310601faff0","datavalue":{"value":{"amount":"+0.7560796141624451","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":"Q2709313$CED7F2C6-362F-45EC-B096-354B077AF700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90953e4275873567eb04f8cca43b73af7e5d44e6","datavalue":{"value":{"entity-type":"item","numeric-id":3808075,"id":"Q3808075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9e64705d42eadc43dc1a8db2bc54d50d7dc893","datavalue":{"value":{"amount":"+0.7515851855278015","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":"Q2709313$5FFB2B93-0BF5-4D2F-980A-04698DD85C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650a253337120cd32f37c085937e4e108535b421","datavalue":{"value":{"entity-type":"item","numeric-id":3082391,"id":"Q3082391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80902f4f88c0a04c7750b64636fb95347036d3b","datavalue":{"value":{"amount":"+0.7513440847396851","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":"Q2709313$6FCF1F21-81A1-43DD-BFA0-B81C465568A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2709313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2709313"}}}}}