{"entities":{"Q3096086":{"pageid":3106801,"ns":120,"title":"Item:Q3096086","lastrevid":85764872,"modified":"2026-06-03T11:25:08Z","type":"item","id":"Q3096086","labels":{"en":{"language":"en","value":"Rice and Rice-Shapiro theorems for transfinite correction grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5968845"}},"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":"Q3096086$3130EFB4-85B2-48D3-BCC0-8A34B0D42C6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92a1f5dabb9150bdfce1b1822a554908b4b09e0e","datavalue":{"value":{"text":"Rice and Rice-Shapiro Theorems for transfinite correction grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3096086$9CEB566B-F1A2-4C7D-B996-26E3C6ED785F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a5dbf67b307ee93d4243cae2cebfb4d7d467f69","datavalue":{"value":"1247.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096086$BD5DA7CA-14F5-40E8-B5B2-2F82817E0754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7fbe956cf60c7c3ae673639c76733e0c2b340b","datavalue":{"value":{"entity-type":"item","numeric-id":197705,"id":"Q197705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$80B8435F-3BE2-4422-B64F-DA185E253A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18369b63bf2775c4485ffd805b1986a701043b3e","datavalue":{"value":{"entity-type":"item","numeric-id":235644,"id":"Q235644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$299B93A7-92DD-4EB3-BE4C-5CF627C60710","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$02BD3476-B8D7-4C53-A05A-F4371AC59E43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b07dd7a3eff452db33a6650b9ef90702ab02d89","datavalue":{"value":{"time":"+2011-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3096086$B5A8E4B4-8127-412E-9AE7-BF285BC8CA37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096086$2D94BD81-125C-4FCA-AF88-0695CE4C4345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096086$BC215CFB-DD53-430E-B85A-FB9F0DAEAA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096086$B1F63224-2C58-4E62-A8FD-3A9B7AB187CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c82eb6b791d6d61752407c38686d30f60c35fdca","datavalue":{"value":"5968845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096086$ACC85523-AE51-452A-B91E-A94F49CABF40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9201a29b9e8acbcaaade01cfec6bc3c510840ca2","datavalue":{"value":"Rice theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3096086$91051650-1172-4A6B-8B60-1159FAC5834E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d24693ef8f4be7f661a236b71494eaf28fc414f2","datavalue":{"value":"Rice-Shapiro theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3096086$4FB9EA3C-E6B8-4770-8DF1-1CD7919F56A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145369cae66cfb60e6638fd29230772ddfb8f1d8","datavalue":{"value":"transfinite correction grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3096086$86E7B841-F08D-4CAB-A7F0-003FC542BF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3096086$D02CBDB7-E5D0-4A91-A094-EF599B1C9900","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":"Q3096086$A7660D9A-321E-49C9-9AA6-9CCD93EF4BE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15cd80da57875c74396e287fc01725e41af6483b","datavalue":{"value":"https://doi.org/10.1002/malq.201020054","type":"string"},"datatype":"url"},"type":"statement","id":"Q3096086$5C561ECE-DBE7-4F54-91F1-11B0917E3206","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"451a6fff08f4564ec8f201140084e1d42d20a936","datavalue":{"value":"W2062284096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096086$168E422A-FA92-4231-B9D0-44CB268315F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a76c019a5b66ba7d2fba29ec9c96b967c30ceb4","datavalue":{"value":{"entity-type":"item","numeric-id":5311725,"id":"Q5311725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$2A094FDF-F008-4B79-90FF-687966714A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8c417e53bc2fb015830043606802d00e685525","datavalue":{"value":{"entity-type":"item","numeric-id":4943318,"id":"Q4943318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$8BF9B821-EB7D-410C-83F6-C5B34A29EECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a857af8fc9c4138dbae710030215c62876eb6c","datavalue":{"value":{"entity-type":"item","numeric-id":5687409,"id":"Q5687409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$DEEA2FDB-D224-40B8-AC5D-A07C6E81A791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45854da7df1d421d45b7aeb6b91b2908960cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5537605,"id":"Q5537605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$92BD326F-3E64-48C7-AB2D-8A4B3383FA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb5bacd666be23a0df6f86c663a34e93fbfcc10","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$8FB6DDBB-E232-41A5-A6BE-6DDDFED4E002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc1b7934e04f424e3beb91303145d9b360e3bb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3630576,"id":"Q3630576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$2EDA6392-6EEB-49D1-98E8-C68777661F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1744d4a35e739c5236f3ea928cd27bb64d0c6bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3529936,"id":"Q3529936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$D4AD675F-5A12-49B7-8317-A1181267D958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3753d4078b0e252803e0d68417e93825dc53","datavalue":{"value":{"entity-type":"item","numeric-id":5619076,"id":"Q5619076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$5677D406-0E16-488F-AE2A-9E8F03600BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30fa5cb203dfa828e9c57936177288f1a5c5f64","datavalue":{"value":{"entity-type":"item","numeric-id":5619077,"id":"Q5619077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$72E8A9E3-86B7-4393-9DE1-33305C89CCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837e149efc9bf90cefe3576175ece9ca24506ed","datavalue":{"value":{"entity-type":"item","numeric-id":2551104,"id":"Q2551104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$9B1E97C9-7F8F-4E67-85B3-ED5F6884DCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9782e225de477bb610f3f41969be529a695d5964","datavalue":{"value":{"entity-type":"item","numeric-id":1317427,"id":"Q1317427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$32978AC6-485D-4009-BC49-6C4C0629D7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e952b212f5abcb361ede6b575ca966c64a56ccea","datavalue":{"value":{"entity-type":"item","numeric-id":4067081,"id":"Q4067081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$1CEE3BDC-8A6D-44A0-8474-76DA16343526","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":"Q3096086$7C78B753-0A27-4567-80A5-2042E6C12C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c60bc6d1007a2f3b437d31884fdd3fa03e72fc4","datavalue":{"value":{"entity-type":"item","numeric-id":4123305,"id":"Q4123305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$82D2A2F7-898B-4229-833F-743325349C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$A6BE8E9B-8A96-4AC0-A3F2-CF33BFB86D9E","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":"Q3096086$22D66EE5-D12B-4383-AF2D-DAF9BAA5638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78020da47e0eece67216713da75789cba236d83","datavalue":{"value":{"entity-type":"item","numeric-id":3228608,"id":"Q3228608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$41F96A6A-5A0F-4E60-A0E1-4D9BBD629CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917800fa52c098f2382f946c4094dc39e957bfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4153600,"id":"Q4153600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$2F86D3FB-D1A8-4A21-9243-24D67D460A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6559f06e48e0e8e7a121c2770bf11ae3e50ef5","datavalue":{"value":{"entity-type":"item","numeric-id":4310702,"id":"Q4310702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$03C0F5FF-837D-471C-8059-C348A04A538D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605184d1819e777939a3e51f54cc5c5d01403f9d","datavalue":{"value":{"entity-type":"item","numeric-id":1078173,"id":"Q1078173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$FB542504-06BE-4B29-A373-D3DF1EAAF083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4660ee25a7d9158fe0646195adc01d9e09f8802","datavalue":{"value":{"entity-type":"item","numeric-id":1881221,"id":"Q1881221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$A4CF6BF8-58EB-44E0-B359-FFD1CBCFB7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d06a3b2a41f0bf48bcc26dd54acf42f064fd7b","datavalue":{"value":{"entity-type":"item","numeric-id":1032637,"id":"Q1032637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3096086$B62BB7A1-4E8F-4988-AB6B-D9C3445CC1B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a792fff2cce7ca0032f599d0399219b63bd6ef","datavalue":{"value":"10.1002/MALQ.201020054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3096086$2BBC7E70-043C-4CC5-870C-EABBEF036B71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205c01a2f1cbe607a9b58db8cb5648c7132772e5","datavalue":{"value":{"entity-type":"item","numeric-id":4316688,"id":"Q4316688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d413a08f41d6b99103cc2858739fa95908ebdfc","datavalue":{"value":{"amount":"+0.759373664855957","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":"Q3096086$6E14EAAE-BFA5-46E7-898E-E1A7ACEFFA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777f947b749cc0e00fbf2863045cf9e98af17438","datavalue":{"value":{"entity-type":"item","numeric-id":3189831,"id":"Q3189831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd15d19967063312d4457695be3f0f5f015e9e8","datavalue":{"value":{"amount":"+0.7589285969734192","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":"Q3096086$33D7BEA3-F42B-4992-B51A-6A2E0EB4E935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab49636629d76b6d5bb9d280652a8a61b6ca64f2","datavalue":{"value":{"entity-type":"item","numeric-id":3188262,"id":"Q3188262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92384ac6ff52b921462631a6896f88d5392742a","datavalue":{"value":{"amount":"+0.7490836977958679","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":"Q3096086$4C07633F-7B01-49CD-A804-4798FF695EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685590c15bc807db171a04449a659b3d0df606ff","datavalue":{"value":{"entity-type":"item","numeric-id":3567853,"id":"Q3567853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929ecb8c98ce1e64f4fc32ea5ce98c4e671a3570","datavalue":{"value":{"amount":"+0.7435672879219055","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":"Q3096086$2F957221-FB8E-44A0-B9A9-D37B72CC808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52861c103c4120ec4d2e10a5a432032dfbf7642d","datavalue":{"value":{"entity-type":"item","numeric-id":1803023,"id":"Q1803023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b40ab35e57f5b890445da305f90f099ef99d2a5","datavalue":{"value":{"amount":"+0.7379135489463806","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":"Q3096086$5758A599-2D7E-4358-87F0-9BF92343CF00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rice and Rice-Shapiro theorems for transfinite correction grammars","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rice_and_Rice-Shapiro_theorems_for_transfinite_correction_grammars"}}}}}