{"entities":{"Q1094411":{"pageid":1105163,"ns":120,"title":"Item:Q1094411","lastrevid":69625527,"modified":"2026-04-13T08:17:34Z","type":"item","id":"Q1094411","labels":{"en":{"language":"en","value":"Computable groups of automorphisms of models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025414"}},"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":"Q1094411$40E50C6E-8919-4529-A537-773618D4BA98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f05c7e6466126df2ebc37e7715278137e8045408","datavalue":{"value":{"text":"Computable groups of automorphisms of models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094411$6D877EF0-9F54-41FA-8683-AF318EBAC6BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12716dfc9a9a89598fcc79b9eb6bd72bab0559c0","datavalue":{"value":"0631.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094411$7AA3248D-36CD-4108-B693-AEAA98305A67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c9560fc7a26267d462e114a732e7797c19b2092","datavalue":{"value":"10.1007/BF01979013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094411$EEA61AF0-C1DF-4C42-9A44-656DBA84212A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094411$0A469D70-07C7-4A24-8243-1EF4AD412076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1094411$7BFB7DD5-A40F-4CDF-AF1E-6C23FD45009F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3b2f68f624e3d1eecfc1734ca48c19cf0fef1de","datavalue":{"value":"https://eudml.org/doc/187358","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094411$411C75AB-2D20-490C-AFC0-BCF10FC6C39E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3aa03c5b874f2feab35057ccd48e2da169d4fac","datavalue":{"value":"The paper is concerned with computable groups. A criterion for the group of recursive automorphisms of a constructive (recursive) model to be computable is given. The author proves that the group of recursive automorphisms of a strongly constructive (decidable) model of an \\(\\omega\\)-categorical theory is uncomputable if the theory has the property that its set of atomic formulae is recursive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094411$0257D75E-D8B4-42FC-9500-50EDF93E9521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094411$75B0719C-FFAF-4172-BB28-93465D93361C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094411$86E7CB63-2A04-4CB6-8043-73DE8E6F03A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9609f1c094a3b783e82ebf968a84fb06cdf3cb7a","datavalue":{"value":"4025414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094411$651D0A18-1571-45D9-84F0-9BE580236D86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c261f9748d2c1fe76806873800b7878ead1669","datavalue":{"value":"arithmetical hierarchy, recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094411$53EFEDEA-EC09-41EE-BCCA-86EC4C0F823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094411$352790C1-0595-4037-9EEE-668B310D30A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c672dcd4cb48598c033e23e26a77f66c64c5df5","datavalue":{"value":"computable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094411$E8CC9A36-0402-4781-B00A-840AC5C5FD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b745be47e84e7dfefd3fbc6d20d5ae594407258","datavalue":{"value":"group of recursive automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094411$E4702D79-32CD-4F5D-BA48-1CA173DE5E74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094411$FD454306-CC94-44A1-9387-82C209ED54AF","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":"Q1094411$D186EAC2-86B4-46E6-BFF3-72E58A3F0FD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e0b8bf01316866bf969aced375973d8263474b0","datavalue":{"value":{"entity-type":"item","numeric-id":800354,"id":"Q800354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094411$828AD9E0-76D6-4FA0-91A8-E8DCDD64D60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094411$135F07D5-E297-40AD-8188-5218019D475F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cf2bc767150c2ce7d2547c9aabd00a2154524bf","datavalue":{"value":"W1970191275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094411$F18A58BF-2F6F-45E0-9973-8AC51A79212F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d59d334a68ba6cded9bf5ee916e57c1fc34c544","datavalue":{"value":{"entity-type":"item","numeric-id":1918792,"id":"Q1918792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434b1c9c3aa5d7a14d88aee3483c33f52e89128a","datavalue":{"value":{"amount":"+0.94993913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$9173C1E7-0E14-411A-8137-F26C2A39B26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75026790934698750706485c48cd32e5ea50cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4249363,"id":"Q4249363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0516c29535aa36da5d4c299955e6063f907729c9","datavalue":{"value":{"amount":"+0.9469508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$AEE25F70-FD01-4A52-B533-C818849EDF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8835a9e7456872f256ed551e2bcabc5bb3c4b7f8","datavalue":{"value":{"entity-type":"item","numeric-id":4451717,"id":"Q4451717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ab114b3068f15f5df297437467919ec1868e04","datavalue":{"value":{"amount":"+0.92819977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$DC766B86-4C32-4F53-8521-2DBADB21D11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5065f1778527cc8a11ca3c3db929ba410074734f","datavalue":{"value":{"entity-type":"item","numeric-id":4406619,"id":"Q4406619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd3fc4fb7c6e261040bd68b7a77045cc73f6299","datavalue":{"value":{"amount":"+0.92581517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$21EEF15E-E61F-4B4D-A55D-F3F422AC2D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b48486789db2638c26ce5dee7d30a52e582cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4795522,"id":"Q4795522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a061974bdf69089e73e0a0d0d837319025b37f91","datavalue":{"value":{"amount":"+0.92499626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$C82A2D0A-47C0-4CAD-BB04-357C53389639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545c87bd6780dd67b9c4236bcc612262ceb333b0","datavalue":{"value":{"entity-type":"item","numeric-id":5477630,"id":"Q5477630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42520d08e01e2e0e897976ee75f077dbec864f1a","datavalue":{"value":{"amount":"+0.9231049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$A1E7E393-6B60-451E-979B-383D39595FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28a96ec8567d1629eabc9bca921e0485409e96b","datavalue":{"value":{"entity-type":"item","numeric-id":3656531,"id":"Q3656531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24118d768359cfbaf47bd8e5f39d53a65a7bf02a","datavalue":{"value":{"amount":"+0.9226674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$07CFEB3E-F781-472C-A5AD-1A550E210CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09df771165bcce3a31d517a439a98672646a7ffb","datavalue":{"value":{"entity-type":"item","numeric-id":2882823,"id":"Q2882823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ece36581c6384b4cd12d5fcba4709d316f95b8a","datavalue":{"value":{"amount":"+0.91966265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$EA57A8E4-CE9C-42A9-8707-3DF4EFD1CB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30729086b9fb1da667a9a93ff18bf8dde5d8f85","datavalue":{"value":{"entity-type":"item","numeric-id":3068266,"id":"Q3068266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0c7bbd35c853626eb126a6e14a4136630b48df","datavalue":{"value":{"amount":"+0.9162187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$D9C1157B-2581-4D38-B847-1E516D96D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcdb87e2fd2111c073ed54825de774c341d76ee9","datavalue":{"value":{"entity-type":"item","numeric-id":606023,"id":"Q606023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3deff583a5306bec1e304aa99c4b0d2c55567511","datavalue":{"value":{"amount":"+0.9139441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1094411$81F8FE26-AF75-441E-B63E-7608BAB44D99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable groups of automorphisms of models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_groups_of_automorphisms_of_models"}}}}}