{"entities":{"Q2847190":{"pageid":2857910,"ns":120,"title":"Item:Q2847190","lastrevid":51816713,"modified":"2026-01-20T04:53:04Z","type":"item","id":"Q2847190","labels":{"en":{"language":"en","value":"The isomorphism problem on classes of automatic structures with transitive relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6205202"}},"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":"Q2847190$0C166A29-AC20-4BF1-9F08-1621937199C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a36f3c4432cb4ec4c43431d2c6aa06409cd1c630","datavalue":{"value":{"text":"The isomorphism problem on classes of automatic structures with transitive relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847190$C422FA9C-2EF6-410F-84E2-80117E583088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0a043a280809cf8a28b1e7b460755a1396c1bb0","datavalue":{"value":"1308.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847190$FEE2E351-E282-4169-9F39-CCFB016AA53A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73c366b1e62de2f95f5296ea8da95abca5105969","datavalue":{"value":"10.1090/S0002-9947-2013-05766-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847190$0CCF50A2-008F-4C86-B4FF-09A3C6AFD313","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"790a6e2623ed04866cf147712fd3cf130c9c01dd","datavalue":{"value":{"entity-type":"item","numeric-id":476864,"id":"Q476864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$7015CF27-2818-495A-B354-65F91084AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$7BDCE4DA-D794-48BF-9914-FCB9C2099935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$0607284A-C04E-400F-80D6-EA747F57578F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$3A00E739-CDF8-4D96-B95A-79A0C1EF8123","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88c047150e90eaeb91d20cf51fd19317d500afb9","datavalue":{"value":{"time":"+2013-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847190$04B2BEEE-B075-4B54-A6BC-4F7A70FC539A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847190$E8B67C86-BF2D-4199-8EF2-DC1E14A8FFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847190$F139C948-0942-4D74-8AF4-6BF2BB68344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847190$97BCDF9D-8F15-44FC-B784-1512EB079C32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af69c26c6ed7d7517f5a98020626139adbc9eaf","datavalue":{"value":"6205202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847190$864BEF82-82E0-4118-A85B-EA41106C2C71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c84d66cb5d8783695d14d0f6bdaa977598a7fb5","datavalue":{"value":"recursion-theoretic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847190$3812C082-41B1-4C8E-A739-D6B3FAC32DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2f3ab8ec237c3f05afd995c2c137f62c66c8b5","datavalue":{"value":"automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847190$8109D178-D1DD-41A0-99A7-F3957CEC986B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181606adcba6432b0019d481c67f516d9807857","datavalue":{"value":"isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847190$2E5E3C8C-8C5A-45A9-85E9-D408185E4869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812839982754416aa9de34e0c2a0e969c8c1ed4a","datavalue":{"value":"completeness in the arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847190$195D6993-A555-4F6F-9CAB-9A250F28F4AF","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":"Q2847190$853261E6-D926-4C7F-B0DC-C1666EE41115","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$15208159-D26D-4441-A466-42B89FF05E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccf736a7fc7b2acd0d9a1c7ab7a67f284c329e7","datavalue":{"value":{"entity-type":"item","numeric-id":3526410,"id":"Q3526410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$68E815EA-5ADE-4DB8-8FA4-5031BE1DAE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751b61b5dbe828d0db5885461ea9cc6b65fc1e82","datavalue":{"value":{"entity-type":"item","numeric-id":4910735,"id":"Q4910735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$68EE407B-9EEE-42EB-ADC4-86EAA01932E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e751b141f44d5f2b132fe7422af41e4bdf662367","datavalue":{"value":{"entity-type":"item","numeric-id":3086252,"id":"Q3086252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$26124B50-CF25-4F18-BA61-241A09A15740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e2f28c5e39cfecc9d8cb690766cf09c1b2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1764419,"id":"Q1764419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$91BD144E-570A-494E-A366-CD0AB1008488","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":"Q2847190$3CD76FA9-8849-4F66-BC20-EA92DAC1A353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaf8ebdb0e4e99a3eaa3ae9f96ad6e8e0142a7c","datavalue":{"value":{"entity-type":"item","numeric-id":2498900,"id":"Q2498900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$C92102DF-5999-4463-A843-F0D468B08075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa3675d2b6e6d53258bc7713b3c27d4b2dd136d","datavalue":{"value":{"entity-type":"item","numeric-id":3430937,"id":"Q3430937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$526030E7-C17D-47B1-8440-B730052F97F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b448de436258af78ec7f61208c16ab776fca1a","datavalue":{"value":{"entity-type":"item","numeric-id":5477636,"id":"Q5477636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$1F8D4F59-7B16-4FA5-BA46-91444EB9CD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5567e892a2b97a622a2794edfd0d5518ba4dfb3","datavalue":{"value":{"entity-type":"item","numeric-id":4249365,"id":"Q4249365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$BEC80E4A-A963-4F8D-B858-107CA4E9CA76","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":"Q2847190$7D2D47A4-3AD3-4910-9A45-8FE18054740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6602826f369dd1311b1aeeb189c9fe5af8f19e","datavalue":{"value":{"entity-type":"item","numeric-id":2904765,"id":"Q2904765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$4F6AF459-6872-468D-A44F-0B50A87F3224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$3EB4B23D-10AC-4032-8D4E-3483A3F30088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b6e17f86d7e03d51e95669afc095f0626a022f","datavalue":{"value":{"entity-type":"item","numeric-id":1944046,"id":"Q1944046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$002D4193-74CC-4DEF-AC3C-7A93BF16F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$D9888409-D7A7-485D-9308-61A1CC8880F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa84e597e34f0f6e801879a71474ece9f5ca089f","datavalue":{"value":{"entity-type":"item","numeric-id":1276268,"id":"Q1276268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$6516785A-8546-4606-A739-91DDD9135098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af5363882d62f29aa1051703777357252de619f","datavalue":{"value":{"entity-type":"item","numeric-id":1430995,"id":"Q1430995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$F6411F4F-0C6C-4392-80BD-DB8D088E3AB4","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":"Q2847190$8F024B13-24FE-44EE-BCE8-BCA4EE2EF3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e99e341bc136b2b72b14fe15c3f49fc3754fd5","datavalue":{"value":{"entity-type":"item","numeric-id":1168306,"id":"Q1168306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$12A538CB-1520-45CF-9F80-610FB4727A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fb17fa9b235e2c0cc06001ad418acf913e6007","datavalue":{"value":{"entity-type":"item","numeric-id":3409983,"id":"Q3409983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$59D06733-47DF-4493-8FFD-7BC7BC6FA278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$176B8EA8-3523-4F64-B8FD-A691E2FD6458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e865c6901197811d56d0c93a183525ee2d3bb9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5891070,"id":"Q5891070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$64ED06A9-BECC-4279-B2D5-233FEFADD561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1d856b007bde2e3d82baf99b7ca246b53b7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3502675,"id":"Q3502675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$1F1A4473-A016-42CE-B884-2DCCF0835F95","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":"Q2847190$8BE706BA-C72C-4DD5-9320-BE88580A927B","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":"Q2847190$93D60503-D539-41A7-A21A-E0A0854317C9","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":"Q2847190$7FCF220A-6454-4B7C-BA44-5C715B1718B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9a5d509e5149f05f3d53fb3245929963f560f4","datavalue":{"value":{"entity-type":"item","numeric-id":5309721,"id":"Q5309721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$BE3E4346-C5EA-4A65-8A86-DC31B7F47960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca66d0fc529b4872dc6f382fc8187bb12b9806d","datavalue":{"value":{"entity-type":"item","numeric-id":3098042,"id":"Q3098042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$59D547DB-5EC2-4ED3-86FC-2F62FF0D3A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee38e4d4efc2666c753305d2230ae7f195bf1b6","datavalue":{"value":{"entity-type":"item","numeric-id":4649565,"id":"Q4649565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$058CB3B8-EB8A-4FE0-9407-F0A79FF1B9A9","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":"Q2847190$8FDC10B5-C414-4B82-830C-3450157EDC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b639e71e006b5e4125c5cba2ae7a1073e2e4dda6","datavalue":{"value":{"entity-type":"item","numeric-id":3570167,"id":"Q3570167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$624F4986-2E62-449C-B0B7-D00C4FC9344C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55572c77aaa8c86e80caace119f77a021af010a5","datavalue":{"value":{"entity-type":"item","numeric-id":3107359,"id":"Q3107359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$681EB824-006E-4A74-873D-A0E1B38013B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5843ff155780e5c981c25206dd0683cb92c049f","datavalue":{"value":{"entity-type":"item","numeric-id":3012921,"id":"Q3012921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$277BA98E-FACE-43EF-9F1E-F2424A3A6BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedcda12da7f7f6e4d149020e41ee8ad79475250","datavalue":{"value":{"entity-type":"item","numeric-id":3618610,"id":"Q3618610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$D0E1D35F-FC1C-40DF-A34C-A07EC459904D","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":"Q2847190$5C06E161-13A1-42D9-9E14-A61B4F4F77E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$008042E2-FD57-47EA-A362-3A3EA0016931","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":"Q2847190$2CD48C58-BF30-4F4B-861A-E471328755E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$A8CFCFD3-D819-48F2-AC53-A51476021EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$BDA426E9-7885-4B6C-9931-8FC9F1F95BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc22e716cdeb349a1df8c13357d3ab87d02870eb","datavalue":{"value":{"entity-type":"item","numeric-id":3780462,"id":"Q3780462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$50E28516-E14C-4B68-82BD-00B05D13D7C7","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":"Q2847190$F9619A96-9617-47C1-9754-2466A9DF1BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b14874328e06322f55427a98ad1a9767d46fe80","datavalue":{"value":{"entity-type":"item","numeric-id":1120286,"id":"Q1120286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847190$46FE6562-FBEF-4569-8A10-B4AED638F4D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28345ae8eeb6120463f7062a71a9887c0f1cf7d0","datavalue":{"value":"In this paper, the authors study the isomorphism problem on classes of automatic structures (finitely presented structures where the universe and all relations can be recognized by finite automata). They prove that the isomorphism problem for automatic equivalence structures is \\(\\Pi_1^0\\)-complete; the isomorphism problem for automatic order trees and linear orders is \\(\\Sigma_1^1\\)-complete; the isomorphism problem for automatic well-founded order trees and automatic trees of bounded height is recursively equivalent to first-order arithmetic; the isomorphism problem for automatic trees of height \\(n\\geq 2\\) is \\(\\Pi_{2n-3}^0\\)-complete. The authors also show that the isomorphism problem for scattered linear orders can be reduced to true arithmetic, but leave open the question on the lower bound for this problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847190$25A106B5-A6C4-43EC-A587-7EA6C47906A5","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":"Q2847190$B0125E61-C98C-40A8-B6C5-B4BD6110B1B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5064ce32c09e179b297f660b8c28cc628ebb1e","datavalue":{"value":{"entity-type":"item","numeric-id":5476782,"id":"Q5476782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ef2410dc0671a658a5bd78ce5874fc25eefcc7","datavalue":{"value":{"amount":"+0.8596624135971069","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":"Q2847190$0E27F056-4DA7-4288-955A-0A25AA62CD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65f760b4eee91a01af88e56b8a39e1360b52bfa","datavalue":{"value":{"entity-type":"item","numeric-id":707994,"id":"Q707994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b23e9f3658d528de48695a33fd660daf63cdaea","datavalue":{"value":{"amount":"+0.8423382043838501","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":"Q2847190$A095BE14-E3B8-4ABB-A70D-80F92A5195F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533fb5bd50a2120ea16dce53c1220f317f50785a","datavalue":{"value":{"entity-type":"item","numeric-id":3586055,"id":"Q3586055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf838ff1330149523633f7c4d6a6cd34957a6ab","datavalue":{"value":{"amount":"+0.821743369102478","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":"Q2847190$98C67A9E-4711-4E64-9801-1E170985642E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22785dfaaecc2f5705bb850bebd10403ae95d2","datavalue":{"value":{"entity-type":"item","numeric-id":2430013,"id":"Q2430013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7888e4d14469b69b8e546ba1cc1dc555a4de13","datavalue":{"value":{"amount":"+0.8208257555961609","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":"Q2847190$F24B6A2E-70C5-47EA-B113-FD0A7E1DFED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d813cd763dc1c81816478959f8c48937bb3a1f01","datavalue":{"value":{"entity-type":"item","numeric-id":1759366,"id":"Q1759366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da41f12f193e1809bd63a5cd02148538cad8c77","datavalue":{"value":{"amount":"+0.8154517412185669","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":"Q2847190$EC0B338C-FD39-4941-96B0-B102FDBBBF87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847190"}}}}}