{"entities":{"Q1918792":{"pageid":1929534,"ns":120,"title":"Item:Q1918792","lastrevid":78197225,"modified":"2026-05-06T11:01:13Z","type":"item","id":"Q1918792","labels":{"en":{"language":"en","value":"Automorphism groups of decidable models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 907280"}},"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":"Q1918792$DF13EC26-46B8-41C5-9179-BF3AD64B3108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61cb0bd6fceb03d8f094d17f0288ae4bf95e1173","datavalue":{"value":{"text":"Automorphism groups of decidable models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918792$5AF72D72-3760-4BA0-84D6-B6ACAFF6138B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1836a6c47457042524f580a6ceb0f0bd38c422d7","datavalue":{"value":"0856.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918792$5FB6F947-166A-434D-B913-74DB1FECE15C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68ec9f2cc3cdc09e29469ff4bd3eaf38441ed719","datavalue":{"value":"10.1007/BF00739408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918792$BF6CC95E-CE21-43EC-91E9-9674A9F01412","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":"Q1918792$5503C8AD-F27A-44A6-BC1E-07361B2F2C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea39d34088133350decb299267d3fe6ec694e597","datavalue":{"value":{"time":"+1996-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1918792$4EC2D534-5C69-49AC-A9E4-D1C597BE9902","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d944d019a6053e42cc7b181894bd79b26a06ef76","datavalue":{"value":"https://eudml.org/doc/187737","type":"string"},"datatype":"url"},"type":"statement","id":"Q1918792$346A718A-CF74-4132-A848-5E017ACCF5E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a48889ed2065c2bbd45563fddcbe42e7bbd5bc84","datavalue":{"value":"The author studies the question as to whether the classes of isomorphism types of recursive automorphism groups for recursive and decidable models coincide. It is proved that the answer is positive. Moreover, the author shows that all isomorphism types of the recursive automorphism groups can be realized in a single countably categorical model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918792$F0FF7032-1C92-4BAD-B76B-59EEFA65AC03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918792$A7B0F3F5-2FAF-4F3E-B1D0-A555C4D187DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a5da895d2f119dd42ef388d299f36e7be4c86b","datavalue":{"value":"907280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918792$CC2629BD-C22E-49A8-9CE0-14E2799BCBA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca664ce575ed4a36c1a5e7824ec84127260f45a7","datavalue":{"value":"recursive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918792$1C3B8D34-6785-4534-A023-DED5AF23F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab171ca0133e830ae63f521bc6caf6fbeab0cc7","datavalue":{"value":"recursive automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918792$C1081D34-CB17-45AB-8B78-4F1D6E477B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40a0d0101dc1820317a5d5ac8f390d8512ded80","datavalue":{"value":"decidable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918792$8FFDE648-1C60-46A5-8156-9AF84153A912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1304d70303038da61a8cd9b7aee98b0c342d4ac","datavalue":{"value":"countably categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918792$EE614340-1C4B-4114-AFA1-CF32E1BF89AF","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":"Q1918792$ECE3466C-F099-42CD-BB8E-AD28FA2ADB5A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918792$AEF4AC88-3F09-4E3F-BCED-C142C75787F4","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":"Q1918792$24AA2C33-7DAE-4078-99E9-B8EDA1EED991","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f68485bd66e49d156d1717f333147060af2403a","datavalue":{"value":{"entity-type":"item","numeric-id":1825864,"id":"Q1825864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918792$FFB9534D-7AD5-4B68-A383-356699153B0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2504e5a6536fed7cb174ed5d47049d0ec871b7f","datavalue":{"value":"W1983044833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918792$CC470518-B7BC-40E3-8B18-9A0811256B0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acbfedf205ffee6ffb67c38055e34ff094bde31","datavalue":{"value":{"entity-type":"item","numeric-id":1825864,"id":"Q1825864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc6ccf2e3077f77c0062cbb3ea501ff54421640","datavalue":{"value":{"amount":"+0.8167309165000916","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":"Q1918792$B02A4745-BC48-4229-A3DE-D85AE3B726EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbf99ab535c193dea71e01da1ebb676ab1756d9","datavalue":{"value":{"entity-type":"item","numeric-id":1094411,"id":"Q1094411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a239c1f6e9c54996925152f0a21b65fca07aeaa","datavalue":{"value":{"amount":"+0.8090128302574158","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":"Q1918792$F736DD9E-6BA3-4F39-BF0F-9E4AEEC81261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2daad8c2d0a4be9c0fdab3ba6d17e662c737a937","datavalue":{"value":{"entity-type":"item","numeric-id":3491532,"id":"Q3491532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4aa0b5d38a7fbcfc0d909913f42c67a926aaea6","datavalue":{"value":{"amount":"+0.7931244373321533","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":"Q1918792$DEEF1A41-EF06-42D2-BE89-4315682ED881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe7796409a6d0c737c953c33550b709364533","datavalue":{"value":{"entity-type":"item","numeric-id":4024969,"id":"Q4024969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a89395796ad45ff0837dda930592d4e38b227f5","datavalue":{"value":{"amount":"+0.7705336809158325","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":"Q1918792$2624273B-1BBA-4084-A6FC-4403B07BF443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c2f30d1fdcd24c141f0b7934bbb1388e3e1037","datavalue":{"value":{"entity-type":"item","numeric-id":1354336,"id":"Q1354336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bd07758eab5e49e4463ac3f88d1ac69f997ba5","datavalue":{"value":{"amount":"+0.7653998136520386","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":"Q1918792$C55B6419-B72E-4F1A-8BFF-4524A77D4203","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphism groups of decidable models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphism_groups_of_decidable_models"}}}}}