{"entities":{"Q387121":{"pageid":388888,"ns":120,"title":"Item:Q387121","lastrevid":61590879,"modified":"2026-04-11T00:20:38Z","type":"item","id":"Q387121","labels":{"en":{"language":"en","value":"Automatic models of first order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6237517"}},"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":"Q387121$80D5EA67-2004-4F8A-8E0E-759C67EE56AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45c915fff5bf7b995447703b427f6c385a242705","datavalue":{"value":{"text":"Automatic models of first order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387121$648F673F-856F-47D3-87D7-7033D173F62B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e90602cfb2e5fe6360aa45f3a3b34ef77ee82ac","datavalue":{"value":"1328.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$EE9A984F-D1FA-4D42-89FA-83A424C7D79A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f15d010c207ee596a2b36d0f61cf07430e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":387120,"id":"Q387120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$F955907D-9A01-47FF-8E2D-D946CAC5719A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$E6DDD324-E45E-483B-A5CB-5C3394D62615","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$6FF9436D-6A79-4F4D-87AD-892A37A60C54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fe66de6d3b4034a482fd1741e73509403d666e","datavalue":{"value":{"time":"+2013-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q387121$184BB358-BB1B-4170-900A-D2760C209F0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$861B0B3E-1900-490C-B5F3-20DE121D2CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$C05C4A89-07A4-4356-A42E-86C6027DEDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$548A7EA7-F54F-42CB-AE43-2CAE2EF6FC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$EBAF12AC-EA2A-4A3E-8743-5E8EA5AEA9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$A5349CCD-57F4-47D1-A087-F9A5C85A3993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a35aef001a336e55338f29fb1b1220ce02fbcda6","datavalue":{"value":"6237517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$CF7E35DB-5FB3-4C04-BD8B-87A70CCBD891","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q387121$DE855054-46A7-4022-9004-6E137DE5D3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q387121$838687F6-8277-454D-A0E2-E91CA2E407CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861bf9792458d7d192ff1347dd4f72eb71476c63","datavalue":{"value":"uncountably categorical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q387121$93CA2D07-5460-4713-AC88-91F51194CB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcc686482d70eae7146a2aaf2025feae23b1b27","datavalue":{"value":"saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q387121$1E908A60-F804-4FB9-8AC8-518535794002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q387121$30C9D26A-357F-4C3D-BAAC-D745FB29FF53","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$4FF8AC67-286B-4B9C-85D9-7E8264AC2E6C","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":"Q387121$69189A1A-C907-41BB-A07B-E68EEDF2F0B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a406fb84be0ea633221eebf023188c70e5aa55f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q387121$1D9B70E2-8E3C-4E5B-B3CA-8FEFFA283AD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b971616a079883ef56097374b335889a77d7abb","datavalue":{"value":"W1991893284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$13E63456-6626-4C0D-8AD0-8A715188AD33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76faf1b9cb27a7e3311f76ef3ad8104510de55","datavalue":{"value":{"entity-type":"item","numeric-id":5621361,"id":"Q5621361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$480AC2FB-6A10-4677-B5C6-5D87A73F3F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c842e44990ea4595c19803f61150421c79941d","datavalue":{"value":{"entity-type":"item","numeric-id":3110897,"id":"Q3110897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$75C2498C-ECBB-4B6B-A717-500269D3CF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408dbe76a553ff4fe2e914bbc86809e6eb42148b","datavalue":{"value":{"entity-type":"item","numeric-id":1876889,"id":"Q1876889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$25F840DD-FCDB-4C0A-A823-A16D2F03D03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$11E563F4-BDE5-436C-A630-DC70AB947953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0921016a86919802fc5c0b3927fe915724c58096","datavalue":{"value":{"entity-type":"item","numeric-id":5799960,"id":"Q5799960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$E8AE2309-2ECD-4C98-8DCD-1C2B8B2A299F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$7253C3B8-8A1B-454C-82F0-23CF1A3DC0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c2f7dfe17310d40d70e177eaea667fe0c96b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4165359,"id":"Q4165359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$C34DA738-3510-41C4-916E-217E20C7A083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b376695c5fd6696a115fde8a658ba235d95466","datavalue":{"value":{"entity-type":"item","numeric-id":2505131,"id":"Q2505131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$2E2B18AE-7A14-4837-9EDF-E0650AD6290E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$C14D1AA6-4E3B-4407-8DAB-5968E9B27BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7aff71e8b0610f1fd3d80c040e5f66aa2745ce","datavalue":{"value":{"entity-type":"item","numeric-id":3312199,"id":"Q3312199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$847B0D70-0D2A-425E-9BC7-38E0A154A8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250b5071c3b5eb0ae9dde06360278949bf1061a9","datavalue":{"value":{"entity-type":"item","numeric-id":4501152,"id":"Q4501152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$DCA3DB15-3C2A-48CA-A82A-B8A877A2F404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d39cb9a24edce54222b2b407d415352ff96982","datavalue":{"value":{"entity-type":"item","numeric-id":3396632,"id":"Q3396632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$8E7E4210-6A21-416F-8109-B3A5114DA180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04574615510d2f0e114891d56e5cffe6dbc88aed","datavalue":{"value":{"entity-type":"item","numeric-id":5310687,"id":"Q5310687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$ABCF795C-12F8-4200-B7A4-4D8E229FB72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b8ee7a8b19d70f4fb0d4aadbb8b30113b89b91","datavalue":{"value":{"entity-type":"item","numeric-id":1381432,"id":"Q1381432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$EC6CD17E-9848-4DA7-B685-57B4E2FC975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2694a9bc3c9ff63b76f31894a5b026558a1155","datavalue":{"value":{"entity-type":"item","numeric-id":4449538,"id":"Q4449538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$0A395F9D-39BA-4360-AF1E-CF3FAA2706C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194c65b76b991f00cde21c8fe80c38acdc0103d1","datavalue":{"value":{"entity-type":"item","numeric-id":3586055,"id":"Q3586055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$DB6A7991-F1EB-4528-BD84-8A2252591AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17be3b63d77fc5bccf2a0714b3c730a98ab054ca","datavalue":{"value":{"entity-type":"item","numeric-id":2430013,"id":"Q2430013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$E2740131-872F-4FF8-ADC4-0D1359F5F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f6686a6c75764b8e5b2cd4feaf2c898139b35b","datavalue":{"value":{"entity-type":"item","numeric-id":3533517,"id":"Q3533517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$A8011817-C4A2-4D92-B8DC-40AB931B077F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f83d3ebf7632f99636abb790de10cf7e038a03","datavalue":{"value":{"entity-type":"item","numeric-id":636284,"id":"Q636284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$BA823CC1-08C2-4421-B952-BEE2DD2A49CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b26e20a31d304a65db33daf659790af170272d","datavalue":{"value":{"entity-type":"item","numeric-id":3503740,"id":"Q3503740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$5A161465-0D56-4767-9B04-1706339471CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe23f35a395f75064b59c173f362a12fd166d98","datavalue":{"value":{"entity-type":"item","numeric-id":3107358,"id":"Q3107358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387121$330226C7-4993-4720-B01D-FC9ABFC45CE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c53d4bdaa5f832279b3f26d94e3c14279fb607ff","datavalue":{"value":"10.1016/J.APAL.2013.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387121$6CFF249B-6FED-4080-AA19-47C97C7CF6EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b88ef5246b2154703011653dcdfb893f01de830","datavalue":{"value":{"amount":"+0.9197349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$75DF9761-9953-4E4A-864B-1835393A4422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5dc37680c6ec85e6d860e9c85956e62539a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd0efd8b46ffe8fb85825614f2d36c626adc46d","datavalue":{"value":{"amount":"+0.9163108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$BA3292BF-D6FE-4B52-B33F-EE5376C9A04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659f1715025c09fd42f29fb1a683227c1a598251","datavalue":{"value":{"entity-type":"item","numeric-id":2209546,"id":"Q2209546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59122606f9d5ad64ce7650d6cf433106e6feeb12","datavalue":{"value":{"amount":"+0.90632665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$DF6D13CC-E92A-49B7-90EB-1904A582FD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587928473c713570802984c6d141de7df55a3c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df75cf1520e83437f0bd2b02487d94c4e5ffc997","datavalue":{"value":{"amount":"+0.8981217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$ED340511-4F56-4B2F-A4E0-3BFC05DFF469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af85341fb3a22ba18faf1cdc9f498320571e9132","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6803163eb4f1c912258cc9d191dd4be2b5462f","datavalue":{"value":{"amount":"+0.8977423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$C3A2BF5C-E05F-4D26-AE2B-A7E43A8B671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf49746178cebdd65335808acbecf9307429d89","datavalue":{"value":{"entity-type":"item","numeric-id":3655199,"id":"Q3655199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21190c3739bf46b006ca47d2d683eb4d7843d7e","datavalue":{"value":{"amount":"+0.8898693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$C0A42CA6-4C47-4A2D-A011-7B8235A02C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5172a92f343de86c9809e312fd2211d411a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2964455,"id":"Q2964455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739e3e7a4190859c4dd10dfcde1b5ca795902e04","datavalue":{"value":{"amount":"+0.88975006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$3ACDEF72-A9FC-4AD8-BF91-919ABA425782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196e4944af55129d3f33b119bf2391309c1c338e","datavalue":{"value":{"entity-type":"item","numeric-id":636281,"id":"Q636281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a7089a0a114de2cca91873b3def0e78137c336","datavalue":{"value":{"amount":"+0.8892322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$8D9A7947-F989-4BAD-95DE-EB16B2FF8512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cffd5ebf8dfa9639887aa1690f633bf306f8c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2945706,"id":"Q2945706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281cbdbb8e572923f5657a21e16881f0eb414096","datavalue":{"value":{"amount":"+0.88594675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$D5B94354-FA29-4235-B96E-3903C3B73D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c85cd3c07154f08f211817c176687ff8305062","datavalue":{"value":{"entity-type":"item","numeric-id":4013732,"id":"Q4013732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d51d84011c8df7955086ea14cf9fe8c7d1e066","datavalue":{"value":{"amount":"+0.88011897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387121$582F1F20-0682-474E-AB68-A6EC914C8B3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18fadcea1812010b1261e2d539dcd6dc76609297","datavalue":{"value":"The authors prove the following results which answer some questions formulated in [\\textit{B. Khoussainov} and \\textit{A. Nerode}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 94, 181--204 (2008; Zbl 1169.03352)]: {\\parindent=6mm (from the author's summary) \\begin{itemize} \\item[(1)] There is an uncountably categorical but not countably categorical theory for which only the prime model is automatic. \\item [(2)] There are complete theories with exactly 3, 4, 5, . . . countable models, respectively, and every countable model is automatic. \\item [(3)] There is a complete theory for which exactly 2 models have an automatic presentation. \\item [(4)] If LOGSPACE = P then there is an uncountably categorical but not countably categorical theory for which the prime model does not have an automatic presentation but all the other countable models are automatic. \\item [(5)] There is a complete theory with countably many countable models for which the saturated model has an automatic presentation but the prime model does not have one.NEWLINENEWLINE\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q387121$23526911-05EA-46DB-B0F3-1B0DDF705C15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic models of first order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_models_of_first_order_theories"}}}}}