{"entities":{"Q1575913":{"pageid":1586653,"ns":120,"title":"Item:Q1575913","lastrevid":67938708,"modified":"2026-04-12T20:21:25Z","type":"item","id":"Q1575913","labels":{"en":{"language":"en","value":"Frontier between decidability and undecidability: A survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495194"}},"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":"Q1575913$F39C56FD-0ABD-4B73-A0E0-850153F72B06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"890580725fd5a97a607b58f2e0a1a5e2d9e1ef54","datavalue":{"value":{"text":"Frontier between decidability and undecidability: A survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575913$AF8958FF-ED9B-4F4E-826B-EC25FAF1217C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4478ce575f76f98745af376b7e107e2bee38e229","datavalue":{"value":"0956.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$3B1F0CF8-A241-44F6-98AE-EB480ED50272","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d017cd5eb9ff153514422e170ebddede8972861b","datavalue":{"value":"10.1016/S0304-3975(99)00102-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$1E8713ED-357D-4174-A0D9-A60EF2C11F1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99724e514d473caf76043d9c7f609c0317db46d9","datavalue":{"value":{"entity-type":"item","numeric-id":415779,"id":"Q415779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$DA833F6F-1DB2-48D9-82E5-DB7BB799C78B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$6610AB1D-4ED3-42F8-9C37-352839C1C12C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575913$F39BF873-E302-43BE-BE5C-D5CABFD60308","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"353dad4df9aec6010db1691e0993992fa5066c27","datavalue":{"value":"The author gives first a survey of results on the border between a decidable problem and the corresponding undecidability question in various models of discrete computation: diophantine equations, word problem, Post systems, molecular computations, register machines, neural networks, cellular automata, tiling the plane and Turing machines with planar tape. After that the author studies the deterministic Turing machines with a single bi-infinite tape and a single head and introduces notions of decidability criteria and strong decidability criteria. At the end the \\(3x + 1\\) problem is considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575913$CFD454D8-AF00-4E49-BA81-623A36195573","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ce3a5d9313b648d3b16631524f630b08f534db","datavalue":{"value":{"entity-type":"item","numeric-id":587297,"id":"Q587297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$AC32DDD5-E585-4331-9224-5CA3E532B251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$2451FCCF-E292-4F82-A0AB-72427DA9B41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$3A2D7C31-A8FF-4D25-80C2-FED7A95212FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$6EDB26CA-C431-4398-8875-BFF682E66845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$BCBBA752-7EEA-4CB2-ACAE-E839D6DD1B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6716186c2ce1a4900af83b727ff81d9038a05617","datavalue":{"value":"1495194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$D9B5FA75-B15E-4DA4-BAB3-AC3CDC74B37C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575913$2B05ADBF-34C6-49A4-93BE-ECDEBCA5C7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5464c55f6befc8f7a36a7f2761cf21c789b26ed","datavalue":{"value":"discrete computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575913$C364A413-FF64-4509-8AF7-27308F0DE113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575913$53A4BE8A-F883-4282-A1E6-7DAFDC7DDE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575913$0E0A9463-CF22-4BD4-8345-D4EC42EA92E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fabdb2cbf0167fcb46a5dd75c984afb40590b566","datavalue":{"value":"formal languages and automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575913$D21CA8CA-46A9-4D16-B7DC-321956FFA0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575913$EE980539-4604-4756-B483-22E3862A59E3","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":"Q1575913$994A5AD8-9B13-4DE2-91B0-D1A3C9106A30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0239f5ab1f34f2adc3a44965184c030579249f8","datavalue":{"value":{"entity-type":"item","numeric-id":1081695,"id":"Q1081695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$76572C02-415A-4E62-A94E-498B3E00831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12675a71519d1459acce3a3c16c5d87ae3312d58","datavalue":{"value":{"entity-type":"item","numeric-id":1917296,"id":"Q1917296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$1631D3A0-5714-4BE7-A316-36E651E4C2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a6823e76c11ef1f853772c882ad2f84a6d8b84","datavalue":{"value":{"entity-type":"item","numeric-id":3292904,"id":"Q3292904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$6BEB8DD0-CF90-4536-BFBE-3D9AFB4A16FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27190456826d5b7144b02bbda0aecf08c82fe83","datavalue":{"value":{"entity-type":"item","numeric-id":3975036,"id":"Q3975036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$89821E83-F3C9-41D2-8DE5-74F596135425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f2730d844e4efec88c137ea2ee1250947e9f74","datavalue":{"value":{"entity-type":"item","numeric-id":751298,"id":"Q751298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$38944238-344A-4C8C-A835-2AB0D0936888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$2DB1A326-F0EE-42CE-B19B-860237198287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$0BB3BCAF-AB74-4CDA-9790-6FBF8F34D724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728964734428e8655cb87cece2fff202f92850f3","datavalue":{"value":{"entity-type":"item","numeric-id":3944542,"id":"Q3944542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$BE65C85F-E9F3-47D3-9CE7-BF901672E057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc9a9fab1c7afca742b9951b53a5d1ca50470c8","datavalue":{"value":{"entity-type":"item","numeric-id":1825665,"id":"Q1825665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$262E597F-649B-489C-87FC-A3C74D8FCD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06500407168a7ec9e380b365c9bd280b6dc7bab0","datavalue":{"value":{"entity-type":"item","numeric-id":5485971,"id":"Q5485971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$955A1C6C-6539-44EC-95FD-4A2636736FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e6b438c1f7ea9e17595f79b4bc994e658c1cfc","datavalue":{"value":{"entity-type":"item","numeric-id":5615059,"id":"Q5615059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$1E95981A-0E9C-4B6D-B177-1258C76B946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6632cfb65b9357532810a836d4ece74f3f566683","datavalue":{"value":{"entity-type":"item","numeric-id":4103618,"id":"Q4103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$2EDC5A58-28A6-4279-9A17-5AFFCFD05F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6391e9fd9d6687689b0cf39a213c301029dcc966","datavalue":{"value":{"entity-type":"item","numeric-id":4281538,"id":"Q4281538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$26349148-A66F-4E6B-B2E5-497CB4B24C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c3cf531cd0297db39ec5ce7992401bc9bfa9aff","datavalue":{"value":{"entity-type":"item","numeric-id":1126300,"id":"Q1126300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$2C6E81C5-283E-4A94-9064-993464117F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0b7707d984d713ac5437f3ddea5a93606061b1","datavalue":{"value":{"entity-type":"item","numeric-id":1175793,"id":"Q1175793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$A0A9BEDA-1748-472F-8550-7E49E76349CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9e10c378203c582efdc72fca47243b534fd1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4729733,"id":"Q4729733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$A93AF6A7-5D17-403F-A813-B80CC49B298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d19d7f62fc0b1666876be8caef34dc09ebbab42","datavalue":{"value":{"entity-type":"item","numeric-id":4047699,"id":"Q4047699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$17570B0C-020C-4340-9885-A7202BF3173A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2cc8bce8a19ae76cd76755edd0109ccf1e5909","datavalue":{"value":{"entity-type":"item","numeric-id":1168746,"id":"Q1168746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$61400837-9F96-429E-8C47-6F6DD22CC3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed8b5a5257bb086b37d32bb1ecc0f66f2b2ede1","datavalue":{"value":{"entity-type":"item","numeric-id":1575921,"id":"Q1575921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$71AB823F-3211-4A5A-B83F-4CFD2DF938BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6858b5e08deae4b0167b3c57b8de8721528ffe5","datavalue":{"value":{"entity-type":"item","numeric-id":5829800,"id":"Q5829800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$3CD804EF-F86B-4FD2-ADA0-C39CE0F50B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf85a21429e5b8b5376a2d819a5467030bfdaf7","datavalue":{"value":{"entity-type":"item","numeric-id":4198486,"id":"Q4198486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$F06C7300-A646-47C4-BD8E-393BEA41CBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208728fe64bd7d5e6bfd9aa16b81dc2d10976257","datavalue":{"value":{"entity-type":"item","numeric-id":3999469,"id":"Q3999469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$21D7AE8F-DC98-4E9C-93BC-65285EA665C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fba41947265660f19ba2066f1038f8269dd31dd","datavalue":{"value":{"entity-type":"item","numeric-id":4742847,"id":"Q4742847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$4B0814AE-0A82-44E0-9D04-DA69993C13FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60849ad9994affca3c1db349700ab17186bd3d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1109707,"id":"Q1109707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$7C70975B-6059-4D48-A25A-252A5B1B27FC","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":"Q1575913$8640714D-E256-462B-BAB9-1965F515BD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8060429c50fbe049aea6a289d7758919f096a728","datavalue":{"value":{"entity-type":"item","numeric-id":1575918,"id":"Q1575918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$50EFC1BB-6476-4057-804C-964F3BA0BBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d0684f834fc8ee6947c0e78a307dbfd25a7c42","datavalue":{"value":{"entity-type":"item","numeric-id":4596634,"id":"Q4596634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$44C6F137-D39C-4DEE-8DF0-F0374C0ECEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9170525faf34d26c04595607302c462d55db5a0","datavalue":{"value":{"entity-type":"item","numeric-id":3953760,"id":"Q3953760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$1EABC9DF-0618-444E-95CD-00E3D8C71D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d40044cdfc745e2f76d5eb98957703d0990956","datavalue":{"value":{"entity-type":"item","numeric-id":1575917,"id":"Q1575917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$13AF3D9D-F89C-4951-AAAF-C8222981E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfa0719047930cd20179c2322fff58a8dfdf55f","datavalue":{"value":{"entity-type":"item","numeric-id":5096845,"id":"Q5096845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$E4791756-2C62-427E-9DA1-E93C9F595B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b358e960c9fa8ab3d484400993238ee2020554","datavalue":{"value":{"entity-type":"item","numeric-id":5839933,"id":"Q5839933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$DAC19A8E-F14D-4213-8BF3-8EB839E9F6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691eaf628977f90d4388ccdde7bfc06c0b6d933f","datavalue":{"value":{"entity-type":"item","numeric-id":4137150,"id":"Q4137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$B10F11DB-EF28-47EA-B9C4-953E5E89E3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a56701ed6f84dccff6b7d240acf5605c96c605","datavalue":{"value":{"entity-type":"item","numeric-id":4291529,"id":"Q4291529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$401B0C9C-8C59-420B-8D6D-B4D169E1FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1b6fa6da13eaf72c48a3089e0e2e4fcaac660a5","datavalue":{"value":{"entity-type":"item","numeric-id":1349859,"id":"Q1349859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$C7CB1069-9BDD-4F01-B95B-F164D8DBD633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6e61a17978771f069e856b30ce8259a924837f","datavalue":{"value":{"entity-type":"item","numeric-id":1349854,"id":"Q1349854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$35F97512-EAF4-4007-9474-E0C8E42302C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d209315c4d3e50a930d2c08bd8b6d13760b965a","datavalue":{"value":{"entity-type":"item","numeric-id":3680903,"id":"Q3680903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$82040E33-5B4E-4C71-9180-4EFA5A079B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911178e417dc3f82f8d796cb95b7b847adc4922b","datavalue":{"value":{"entity-type":"item","numeric-id":3212314,"id":"Q3212314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$9F0B803A-96B9-4DCD-9AA1-A6D3FDE541F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdfe6578dd4c1332f36ae558c96ccd3de780e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5844604,"id":"Q5844604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$FA309FE5-DB7C-491F-AB53-B9B21F7836D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c311ece3a3c852e6a502f7ea21f493eede9025","datavalue":{"value":{"entity-type":"item","numeric-id":1353135,"id":"Q1353135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$9C542FE6-DE9F-4C4E-8B0C-3E0667DE3A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e12c3855dd492e1367ea33b0efd4675dd10bda6","datavalue":{"value":{"entity-type":"item","numeric-id":4284259,"id":"Q4284259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$47F90294-F726-4056-8A8A-07FC7B604C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e9ea198d39b7c8e51dafea9d5a65e0ffd5dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5096346,"id":"Q5096346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$14800E3E-B4D6-4B92-88FE-8F135523D1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa637ea47f9199f695ae79875b754905a348331","datavalue":{"value":{"entity-type":"item","numeric-id":4349780,"id":"Q4349780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$2BFDF90A-14EC-4369-9CB6-D839438D4AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215220e68e55c6ffca4ddbb9e1c44e26df01d9ec","datavalue":{"value":{"entity-type":"item","numeric-id":4376062,"id":"Q4376062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$FB389CF4-B06C-481D-819F-23D249362296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446d725875050450438b71a3ba731c5f698f05cf","datavalue":{"value":{"entity-type":"item","numeric-id":4850464,"id":"Q4850464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$EC65F07F-F739-4046-8933-4235A56488BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571698bad3a63c2bacc95c86c8c0a7a0a28aced4","datavalue":{"value":{"entity-type":"item","numeric-id":3677179,"id":"Q3677179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$B63CE623-B4D6-4B70-A97D-1E9C20A80D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28af1098cbbba31e5564e878c8305cdbbbc1d8c9","datavalue":{"value":{"entity-type":"item","numeric-id":5783653,"id":"Q5783653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$4DDA97E6-EFC5-4854-9E9C-4F64FE43132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8698f8f6c8b73185b8399d55b1b810c9cb7c035e","datavalue":{"value":{"entity-type":"item","numeric-id":5635434,"id":"Q5635434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$0BFCA45F-1F65-4FDD-B685-B66AB4DDF48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515a4d73159a3d00843d4500377b99f2a011f41f","datavalue":{"value":{"entity-type":"item","numeric-id":5583066,"id":"Q5583066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$CA820F61-751A-443B-9500-1E397C1CFCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fd9db7569ce797960796cb546aacb055937651","datavalue":{"value":{"entity-type":"item","numeric-id":3728885,"id":"Q3728885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$B9534CBE-81A6-4290-8D1B-0F128A4D7496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$81E40C05-67CD-49E8-958A-9A545F83BB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4ff001e9f1ce30e76a7146fdfe7fe95cc90c23","datavalue":{"value":{"entity-type":"item","numeric-id":688516,"id":"Q688516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$63B19912-28D4-4D35-B812-BC01EB425DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$B4994541-45CF-4527-9987-DA941E016834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e95c4934d6bb3c0c976b8e259be50ded7bb3b0","datavalue":{"value":{"entity-type":"item","numeric-id":1349866,"id":"Q1349866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$90FBF8EF-1F70-4FB8-9425-7C35F3805D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2486cd31148861a180b24aae288761257ebace62","datavalue":{"value":{"entity-type":"item","numeric-id":5597527,"id":"Q5597527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$5FB0037A-3C2D-4286-91EF-488BAE28EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7120b68c69627850d2194edf94ae25db6d556284","datavalue":{"value":{"entity-type":"item","numeric-id":1164045,"id":"Q1164045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$69F59A25-BD12-44E7-84C8-085B35B451D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aeaa796e4f60ade7a5d9beef163575a2a607c94","datavalue":{"value":{"entity-type":"item","numeric-id":4362740,"id":"Q4362740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$FE8F299A-F898-4352-87FD-0AE9790F731C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd711d5226e11da075a2b036edfba638df8a5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1575909,"id":"Q1575909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$03BA92F5-77A9-4F57-A70D-225169AF0FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7880e61a25b311300186aa4c735baa30681399cd","datavalue":{"value":{"entity-type":"item","numeric-id":1349864,"id":"Q1349864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$080F842A-F82C-4B87-B38D-D7D26522FEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7db96df829ee2087c340553f9da0f0b80fda98","datavalue":{"value":{"entity-type":"item","numeric-id":1844660,"id":"Q1844660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$6BA0DE38-93D1-49BF-8A18-B27AB5E445A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7ca3f2cca9f502f9f09f5b96b504eb3f40446d","datavalue":{"value":{"entity-type":"item","numeric-id":4083406,"id":"Q4083406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$49F42FE1-8286-4E53-889F-2EA923D2757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c210abe051f115f74e6c33321720235bc4c809","datavalue":{"value":{"entity-type":"item","numeric-id":3862404,"id":"Q3862404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$6B42DFC7-8AF0-4CA6-8AF6-52FD69A291E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a14d28097970a844889606be8bd419f47a678b","datavalue":{"value":{"entity-type":"item","numeric-id":1349857,"id":"Q1349857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$20C75D63-9FEC-472F-8A34-939A89384D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$1CB512E1-E582-4587-BB45-51AE56AC6505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca96b77c7e4e3cf5c748e9f582d40775eb0895ab","datavalue":{"value":{"entity-type":"item","numeric-id":3862403,"id":"Q3862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$F7A37B43-0739-454B-B8F2-8D587C082FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8375e11ce45f9ec75069670248a6039513460faf","datavalue":{"value":{"entity-type":"item","numeric-id":2540183,"id":"Q2540183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$198C3E02-C22E-4D89-8066-AFA71827C611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29a0a2e977704d47e96a8b3bf9a14d5f5ae765f","datavalue":{"value":{"entity-type":"item","numeric-id":1236791,"id":"Q1236791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$3740104B-4889-4BE7-B4C6-A88E405D2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df40cdbdd9abdf3e75dc4dadcfe08ce93c395fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3661558,"id":"Q3661558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$C961C13A-1BBE-4C47-9609-074E444CA3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2615a1c6ddf57a56966ac1c1765759b55a6131e","datavalue":{"value":{"entity-type":"item","numeric-id":1349852,"id":"Q1349852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$40500C5D-DCC1-4FF7-9B01-3CEE6AEB4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff895d88f3d3da9a72aa7b3bd0c1e683540947d3","datavalue":{"value":{"entity-type":"item","numeric-id":5096354,"id":"Q5096354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$79105B4A-1F64-4F8C-855D-37D5A9AB0B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f738da761537d671b2ca3e58f0690c82693f32c","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$9DEAEAA8-54C8-46F2-8D26-4F5C5C5CB94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a1e8221d95f70103ceddcea90d016c8cf41139","datavalue":{"value":{"entity-type":"item","numeric-id":1575907,"id":"Q1575907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$7F0515D3-3B17-4FAD-BA65-42C885B43B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc75143787d78ee4f437b537ff09b0f5da95de4","datavalue":{"value":{"entity-type":"item","numeric-id":1190653,"id":"Q1190653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$E0F36A91-D0C2-4CCF-AB86-337F9FFB31C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b262a1427865318ae3e5b53bbf8e05fb492addd7","datavalue":{"value":{"entity-type":"item","numeric-id":1331940,"id":"Q1331940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$2EACB773-0F18-47CD-82B9-2D9B6796D5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be98c9771b642e657b2f29f2ed44379d0d37d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1241491,"id":"Q1241491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$1A3D17E5-2147-4409-B1BF-0B51DF9D96BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0310c8a02d9b77ac6c2159196f8145e74a06a52","datavalue":{"value":{"entity-type":"item","numeric-id":5608769,"id":"Q5608769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$0E781281-A827-4920-B4C8-6648F91E64BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$02395D42-2DB9-4840-99FA-AFD5CDC97212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$4F77088D-C195-47B6-BC49-1352357746B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40de0a6d1c94b3aa05c635b95693011267d0c093","datavalue":{"value":{"entity-type":"item","numeric-id":4079594,"id":"Q4079594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$6DF867AA-87D8-461F-9CA3-AEE939CFF7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded83d0f161980f327e27b9ae3adcd97b47672e2","datavalue":{"value":{"entity-type":"item","numeric-id":2395198,"id":"Q2395198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$FD468300-48A4-4BC3-8163-0B2151548EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d93a3c4a74d15700dc6420e7ca51fb433ee5ed","datavalue":{"value":{"entity-type":"item","numeric-id":1924517,"id":"Q1924517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$BE8B0A75-3A63-4114-AE43-6FCBDB4D3082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3892bc4f20d9209060f08e4a87c8286e2827fd15","datavalue":{"value":{"entity-type":"item","numeric-id":4354235,"id":"Q4354235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$114443D7-6570-402E-B468-3B808925524F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3189875bbbb367d62bd1129dd33249c2ab9993","datavalue":{"value":{"entity-type":"item","numeric-id":5557935,"id":"Q5557935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575913$EDB07C62-55FE-4FC5-A031-8E4D63BBE8AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5317d9ba16180da0f51d987bf3308af0d78c2b17","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00102-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575913$3B9A8D64-1E57-41BC-86B9-7CDBCBBCDDE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"393afe9357fd67519ccf5b42996fb38b32e3456e","datavalue":{"value":"W2134468631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575913$2252A20E-0E01-42E8-8311-ACFE107D43F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9faab66f8cfc13360de999fb991daf559216810e","datavalue":{"value":{"entity-type":"item","numeric-id":4376062,"id":"Q4376062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd2de291f1209a5722bd5f7340c26be2258139a","datavalue":{"value":{"amount":"+0.7861136794090271","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":"Q1575913$424BE570-A13F-4042-8980-202EDA82E966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7c091a77f473b7fda5dbfff492f1f521079591","datavalue":{"value":{"entity-type":"item","numeric-id":2869780,"id":"Q2869780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3e84725f811467a7295b0398f62f9b244cce38","datavalue":{"value":{"amount":"+0.7734807729721069","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":"Q1575913$2B2CE7A6-CF3C-475C-A97B-CCFE076D547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918e2ffcff8f1c36319262af9aad92341408767a","datavalue":{"value":{"entity-type":"item","numeric-id":4982999,"id":"Q4982999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc8c7568dad446fd6a368eff1c557a98898c2a4","datavalue":{"value":{"amount":"+0.7607625126838684","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":"Q1575913$296EAE27-80AA-4893-A4EF-EFC19F1BF5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80aba007bb7e97cf8083adccceb816b1eefbd537","datavalue":{"value":{"entity-type":"item","numeric-id":3464652,"id":"Q3464652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f98ab13587b9b14f1bee126a87fca7677de1ca0","datavalue":{"value":{"amount":"+0.7478484511375427","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":"Q1575913$AFBD51FE-991E-446B-9EEC-A51177EC6DD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frontier between decidability and undecidability: A survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frontier_between_decidability_and_undecidability:_A_survey"}}}}}