{"entities":{"Q1192344":{"pageid":1203093,"ns":120,"title":"Item:Q1192344","lastrevid":66819114,"modified":"2026-04-12T13:04:01Z","type":"item","id":"Q1192344","labels":{"en":{"language":"en","value":"Myhill's work in recursion theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 60745"}},"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":"Q1192344$2BCC9A0D-785C-4621-9842-29BC4A981432","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa1fa325cffbfe45db5829207e63b4acf9ae1bad","datavalue":{"value":{"text":"Myhill's work in recursion theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1192344$FBB467C2-6AD5-4B12-AF8E-3C5010877F34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"981ea9d6a394431dd2916a02e6d1c489d91ea6d8","datavalue":{"value":"0774.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$802C3813-4F41-4EE4-9769-EE27169D87F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e0f4b0ece1fdfca450502df7aa8c3f31c592546","datavalue":{"value":"10.1016/0168-0072(92)90067-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$FFD8F399-3529-4766-93E6-5EAE122F35CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"215c1f93f1664ff335c55d5bf9df1cd0316fc10b","datavalue":{"value":{"entity-type":"item","numeric-id":580333,"id":"Q580333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$DD2D42B5-7CD9-4537-A6AA-91AFCE308316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e7beef43ef7d5ac892649765b614128e457f00","datavalue":{"value":{"entity-type":"item","numeric-id":1224576,"id":"Q1224576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$86151CE9-051F-4FF0-A8FE-1769F68F01A7","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":"Q1192344$A33ADB8C-B468-4E8E-97D9-1C54A27286D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1192344$6638854B-E84B-4BF1-A367-8A0B7C249FCE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23ad1fbb7177831ed1d3e51459ce645c89b35723","datavalue":{"value":"The authors discuss, from the present-day point of view, John Myhill's contribution to recursion theory. The isomorphism theorems are presented using a new, uniform method of proof. J. Myhill's theorem on isomorphism of creative sets, the theorem on recursive equivalence (recursive analogue of Cantor-Bernstein theorem), his investigations on combinatorial functions and the application of the category method to recursion theory are thoroughly discussed. New and detailed proofs to most of these theorems are given. For example, the Myhill results stating that   (i) there are isols which are neither even nor odd, and   (ii) the ring \\(\\Lambda^*\\) has zero divisors,   are reproved using the Baire category theorem. A theorem on recursive combinatorial functions published by Myhill without proof is provided with a proof ``he might have done''. A short guide to the references is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192344$4B32FDA4-E81C-442D-840A-A1505BA55BEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$507BDEFF-00D9-4CF8-B292-A9ABD506E562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$E1B04213-391D-49EE-9D64-9F23A7CAA338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$4D473DAF-88E1-44CF-824A-39D5361D2E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$24B72AE1-F66D-4FD4-8598-9882A89FC2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$7C35E6DD-3F2C-4883-B727-B4B50FBBC712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2778d474d6776034e89c5d2b4cbbcbf081cd3e6e","datavalue":{"value":"60745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$B4CA44BF-5C44-458B-A178-3031D565569C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8334430b895e5c05e92ddb79f1f502bb39da90","datavalue":{"value":"recursive equivalence types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192344$DAD12166-ADAB-405C-9199-843C9E0224E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e7c342a81c332c00e6276ec1aaff5c49111330","datavalue":{"value":"isomorphism theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192344$EA407541-3EAA-479C-B7C4-5B957239A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270a4725709af90cf6986248151444d29945d74f","datavalue":{"value":"creative sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192344$53335443-5899-4DDB-AEF6-A4866DBA9E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2befa6f637dad2693ebf684dac6e99e60790431a","datavalue":{"value":"combinatorial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192344$A32EC633-B057-431F-9C97-268CD3F6FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edea3b5e3d66b5ca9535be00d9ce4af1baf14984","datavalue":{"value":"isols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192344$BE1B5D93-CC5D-44B1-84E3-E08D35A4C5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53161c54a2ae4ab24ec3d2ddd1d210e5f94db0d9","datavalue":{"value":"Baire category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1192344$F9063983-7742-4BF2-85AD-F935D9A76B21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fe64c30036b6931dfc08c246a2592bfd800c1f57","datavalue":{"value":{"entity-type":"item","numeric-id":1612485,"id":"Q1612485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$AD8E1BF2-4857-41C6-99CF-0EBB67BC17C0","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":"Q1192344$BA98FF04-653C-4758-928B-78B9D2AA8565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e88f474ebdc782951ea360b323389db56dd3ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5608005,"id":"Q5608005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$AABC066D-DBDB-4955-887D-56A88B70F556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8cd57f8744a433af3a948740b0f67628f1f9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4769050,"id":"Q4769050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$96CA65A6-040E-4444-B130-247C4B691333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$E3FA52EE-FF5C-4D68-A3D9-630010E7E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25352937c999ffc13a6bd0d1c38a3352a1c0467f","datavalue":{"value":{"entity-type":"item","numeric-id":4206719,"id":"Q4206719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$09BF22A4-932C-404B-B56B-29897F61CB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f27129ae2cebb460149f27fe7ae7a7f4c7c132","datavalue":{"value":{"entity-type":"item","numeric-id":5661491,"id":"Q5661491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$183BCFC2-CC1E-4727-BBD2-57C1D8D3E30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91775562e3ce8c90e196be1747249b6ec441c7b9","datavalue":{"value":{"entity-type":"item","numeric-id":2540423,"id":"Q2540423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$E81DD7A0-8998-4137-97F9-53F87298AE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb41a5102296f5311ed6cbbd3f67f6ba1ba4c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3337464,"id":"Q3337464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$1113918C-13D6-4642-97EE-A1547D3B9F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d3215f604b2754923e0d8825a09e34c0effc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3243263,"id":"Q3243263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$FC6DCB96-39AE-438D-89DF-E25AECF8E50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8856655f19f55c2533077ec45ad8999fcc5da2","datavalue":{"value":{"entity-type":"item","numeric-id":772221,"id":"Q772221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$83452BBB-74F2-4440-9D77-57CF9406E6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$DCFBAB02-9A3B-4F29-9C5B-FEA588D54354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$A3B07C99-B1BD-4569-B83A-05BEA5ADDDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51f388a884620177c315aa85a66097de5b12f5a","datavalue":{"value":{"entity-type":"item","numeric-id":3937381,"id":"Q3937381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$FA623C3D-194B-4068-9E6D-6FECDEB9EFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6126a0161868ac4d9f40cc0cc866a751887421d2","datavalue":{"value":{"entity-type":"item","numeric-id":3942950,"id":"Q3942950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$0DED0284-F0E9-4711-BB80-B206EF1E019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fbe6d8cdf4d518ffc6f1d71262d1b54b0d044f","datavalue":{"value":{"entity-type":"item","numeric-id":3765756,"id":"Q3765756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$CCCAEDF4-8EDB-4C7D-BD68-0CEA9F08379B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9addb381853610686033c992f86506912c587f9","datavalue":{"value":{"entity-type":"item","numeric-id":3768861,"id":"Q3768861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$6AD5233E-9950-43E2-9723-97849AA041E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c451ae4bc57a2401ca0a06eefdc1ba5da11477","datavalue":{"value":{"entity-type":"item","numeric-id":5848891,"id":"Q5848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$994FD4EE-A11A-447A-9CD0-71C85CC0A5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01909bfebb9e76fb16538d51cece9adf5a5185f","datavalue":{"value":{"entity-type":"item","numeric-id":3256315,"id":"Q3256315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$F44FF511-95D3-45BF-85B9-BEBCB27DAFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a734cb2fa5af2aea51a0a6bb3628641a45e474","datavalue":{"value":{"entity-type":"item","numeric-id":1131668,"id":"Q1131668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$2704AE31-7480-444C-A4AD-41CD93ACE98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff792af6a56b9d8d039c8d27f9d7c42b1ac2e0fe","datavalue":{"value":{"entity-type":"item","numeric-id":5528638,"id":"Q5528638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$C6452552-36F6-4B2A-850A-C9EF7120F290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c8041485cb5a7777e25c8a5d0599bb668e3707","datavalue":{"value":{"entity-type":"item","numeric-id":5528639,"id":"Q5528639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$392D6372-06DB-4B56-8DDD-C0246A00C33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c24813f0cc61f873bd6cb8b7372f6ae1aa55f8","datavalue":{"value":{"entity-type":"item","numeric-id":774266,"id":"Q774266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$70F2FAF3-335D-4B3F-8321-326C150BA412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5cfdf7a07a6a58a1160becc3c280df69b9028ff","datavalue":{"value":{"entity-type":"item","numeric-id":775449,"id":"Q775449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$E3D0BF13-17AC-4B5F-9839-2A0A0209AF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055b41260a898f8922c278aea9c9ee821640ae8a","datavalue":{"value":{"entity-type":"item","numeric-id":5567853,"id":"Q5567853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$BDF2E46C-59F2-4C4B-A123-0030356AE18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f6b6184fc006afeed0195ce76ff4e48835658d","datavalue":{"value":{"entity-type":"item","numeric-id":2527825,"id":"Q2527825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$7D35839C-DB2E-403B-94D0-218B34548B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$799B85BB-E6A2-4406-9357-98405E127B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1192344$E02F0D8D-887D-408F-AA52-EE9149F1F530","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":"Q1192344$F8E82DE3-4097-488B-9454-278F0106E0E4","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":"Q1192344$32343938-AC6F-4E00-ABBB-75C50D03EB5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f514fc089b1e8b37b202c506e6117da3faa6ecb3","datavalue":{"value":"https://doi.org/10.1016/0168-0072(92)90067-a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1192344$72E14725-DFFF-44FF-B50D-C5570E299A0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ee17944e3773ad6d84d1fbbb2457ab15a25c544","datavalue":{"value":"W2021582348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1192344$B2806DD4-8446-4A31-A5CD-D0DE82DF473B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"537550760d8db29400a76ebf7ffe47ce56680c18","datavalue":{"value":{"entity-type":"item","numeric-id":3487347,"id":"Q3487347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a702295f93c173a1226000f730e7cad61d7764df","datavalue":{"value":{"amount":"+0.7516043782234192","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":"Q1192344$06EE9567-663F-417A-B5ED-E1304ABC2D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f5c6284fafbde4777cee1b2c208cef154fba9","datavalue":{"value":{"entity-type":"item","numeric-id":3715103,"id":"Q3715103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae097787d0ce6fd49cf414e7f7cf3f9ca0053ae","datavalue":{"value":{"amount":"+0.7455882430076599","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":"Q1192344$64F3B234-698F-494B-B8F5-619FC23B20FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655cc213e70df7ea251e5d2094d00691cdbbf410","datavalue":{"value":{"entity-type":"item","numeric-id":4724615,"id":"Q4724615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bda5cd2b0f6d284943236a6da56ad1b6364faa","datavalue":{"value":{"amount":"+0.7391839027404785","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":"Q1192344$7E237FCD-8791-431E-9398-941921C52173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a45e380757105684fb98386e09df6be8f47cab","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2994e6d9b886853c8bbb356d5dfb1fe340cc90","datavalue":{"value":{"amount":"+0.7081248164176941","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":"Q1192344$1E593048-1A9B-4540-B07A-7BCD91F726F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2958b7012caf2f986168b6c88e8929d3c5e3931","datavalue":{"value":{"entity-type":"item","numeric-id":3993285,"id":"Q3993285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbddd6441dbb13be817cefec5426742af8a367d","datavalue":{"value":{"amount":"+0.7017532587051392","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":"Q1192344$ACC2EC1C-8D09-4A48-ACB6-CC9BEB240EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Myhill's work in recursion theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Myhill%27s_work_in_recursion_theory"}}}}}