{"entities":{"Q1263579":{"pageid":1274329,"ns":120,"title":"Item:Q1263579","lastrevid":68331807,"modified":"2026-04-12T22:59:22Z","type":"item","id":"Q1263579","labels":{"en":{"language":"en","value":"Computability by means of effectively definable schemes and definability via enumerations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127190"}},"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":"Q1263579$8CD6AAEC-29CD-4A87-99C8-15BD17BABDE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a70f3300056fb06dae5ce2836e6511d2412371ae","datavalue":{"value":{"text":"Computability by means of effectively definable schemes and definability via enumerations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1263579$CBFB77E9-7298-422C-9150-DF9309513242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8321a22801827a205752887d3be4d06b99b3970b","datavalue":{"value":"0688.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263579$02429FBC-62BE-4477-A7F3-E9760AD8B803","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30e3bb6b0cf3e5f51e5afbef9328016980716786","datavalue":{"value":"10.1007/BF01621094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263579$7010A5A6-8B8F-48B5-A0FE-E7515F3DC0A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e522bf80d63c061c6b099160308fa331e4f35e","datavalue":{"value":{"entity-type":"item","numeric-id":1032629,"id":"Q1032629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$E3F92040-80F0-4CB8-B662-0C4883183191","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$0D00C5D9-44CD-4C77-B778-2EE9848BA0DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1263579$6D52B279-88A8-43C0-B41C-FD591A1F0770","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2cfeda9a43aedaa4a064bd4af33e73fc2452e29","datavalue":{"value":"In a previous paper the author has characterized, in terms of enumerations, search computability on structures. This paper provides a similar (again in terms of enumerations) characterization of computability via Shepherdson's recursively enumerable definitional schemes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263579$F437EEB5-76E8-40B3-956B-C42E60DF3559","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$2317FF2D-9A2E-414C-9511-BDA1FF8C988F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263579$6CD0F386-8F78-4422-B1A6-62F6D113B869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a60778e4866f09aceb36b7ffc22be8ebbf31c9de","datavalue":{"value":"4127190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263579$0651922C-6A38-45BA-9B03-22956AF12BB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9734df439763fda6e229d456c26a02667b63865","datavalue":{"value":"enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263579$A1DA6DC0-7A56-4CF3-9201-FC8072A22648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c67b9993c4d5da90e6a316f9d5884274365c44c9","datavalue":{"value":"characterization of computability via Shepherdson's recursively enumerable definitional schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263579$6949E5C7-1805-4902-9227-EEE0B955D134","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":"Q1263579$2EAEFECF-D61D-4D88-9BEF-3A04202326B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a94c7c840fc8738f2c7b6750420cda927283bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5625129,"id":"Q5625129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$BF8E7F3A-1F33-46CB-81DD-EE934D09569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c57cfb443ebec0c48b38fbcefe6ef3c840cc617","datavalue":{"value":{"entity-type":"item","numeric-id":5534919,"id":"Q5534919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$27C64026-8EE3-4C96-B2D3-E9CFC4477DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab358c92256243f420d7acaf3d76a80fa6e7b63","datavalue":{"value":{"entity-type":"item","numeric-id":5622175,"id":"Q5622175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$123C7031-87C5-4A65-960E-1014D3A49910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a0bfc939184ef985657f0b07901655b202d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":5622176,"id":"Q5622176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$FB5736EC-E1AF-47A4-923C-BE0F181C54D8","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":"Q1263579$BD95CA06-2897-48CE-969F-498CD953ADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b7e15c91f689b8535b870636c35d34f5291632","datavalue":{"value":{"entity-type":"item","numeric-id":3476803,"id":"Q3476803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$089980B4-9FBE-49C5-8145-90787D29A639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70db4ae20e473525822dc6402fa4e7f2076dc51","datavalue":{"value":{"entity-type":"item","numeric-id":3483272,"id":"Q3483272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$9954A4BE-E6E1-4122-BA09-B7E9FD25807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667a5443058810ce16ebc778d88f438678c99988","datavalue":{"value":{"entity-type":"item","numeric-id":4205083,"id":"Q4205083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263579$681692D7-4559-45EF-BE10-98C177006EDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c440f602f9a8f84a519c482d5bf766bc44e926","datavalue":{"value":{"entity-type":"item","numeric-id":3982254,"id":"Q3982254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d87d6eac47cf345557ddf233fbc1dc0ad08b311","datavalue":{"value":{"amount":"+0.7977242469787598","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":"Q1263579$D7A0B8EB-C5E7-4497-A7DD-E761373086BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc0f19d1400f6f424aea48a30cf8957ff2c1968","datavalue":{"value":{"entity-type":"item","numeric-id":4918009,"id":"Q4918009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ecbbef248a47cf713c4cb9efa5f3b6e836eeec8","datavalue":{"value":{"amount":"+0.7940511703491211","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":"Q1263579$EC039EDB-5EA8-45C9-A0C4-ADBBBA61F070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada70409693e656c67add1ff0fa710dfd9178e37","datavalue":{"value":{"entity-type":"item","numeric-id":4694255,"id":"Q4694255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748b9c7a66c8600280035001279726943dce5207","datavalue":{"value":{"amount":"+0.7851353287696838","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":"Q1263579$E47403DF-8855-4447-B656-CDEC37494064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293bb9257b997e74fdb9ba3574726538e7c2ceeb","datavalue":{"value":{"entity-type":"item","numeric-id":3365444,"id":"Q3365444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0576dec4d7cdb1bb400b90f47171a3db1aa71661","datavalue":{"value":{"amount":"+0.7851350903511047","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":"Q1263579$BE5AFDDC-596E-4CDD-8386-B0B1F8A65089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56639481c4709ff84dfb0daf4b8d4363fa20cab","datavalue":{"value":{"entity-type":"item","numeric-id":3483273,"id":"Q3483273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8bbe4e3cd01a6f7c7172d8a10d8e052ecfc5b4","datavalue":{"value":{"amount":"+0.7689123749732971","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":"Q1263579$B138D797-F18D-4213-92F6-23F32820C613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computability by means of effectively definable schemes and definability via enumerations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computability_by_means_of_effectively_definable_schemes_and_definability_via_enumerations"}}}}}