{"entities":{"Q5720192":{"pageid":7749746,"ns":120,"title":"Item:Q5720192","lastrevid":92850260,"modified":"2026-06-05T02:54:52Z","type":"item","id":"Q5720192","labels":{"en":{"language":"en","value":"Representability of recursively enumerable sets in formal theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3183994"}},"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":"Q5720192$08469714-67FF-4F03-B600-296FE67A325C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"319b46fe1c3cd61983aca42015a2a7913a337dde","datavalue":{"value":{"text":"Representability of recursively enumerable sets in formal theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5720192$D394A028-4A20-4D1E-840A-A2B2A214C7A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7711057a31ea9f6c8b19bebd03a98947aa1b820a","datavalue":{"value":"0113.24305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5720192$B29F754F-8BBF-4DDB-92D9-183061D884BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1feca3943a2686076ebb77772e310451949dbcae","datavalue":{"value":"10.1007/BF01974157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5720192$EA5D0E5C-1634-4F5E-99E3-77925975F38C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$9D463DFC-0B58-492D-A228-F1779B21728D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b733604afa3a648384279f872bdd54e6b747380d","datavalue":{"value":{"time":"+1961-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":"Q5720192$2731B7AE-AC53-426B-8FE3-8EDF1FAFAC77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a8bc72e7042c13b1549f24a4eb9cf8649ca4b9b","datavalue":{"value":"https://eudml.org/doc/137758","type":"string"},"datatype":"url"},"type":"statement","id":"Q5720192$04A555F2-386E-4DE4-BF2A-3EAC75403AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6db369d22210fc6b403f034b72adc860f4487aca","datavalue":{"value":"3183994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5720192$3E5A3D02-BECC-4A80-BA60-582062E67F23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5720192$D6809961-E89A-4CE5-AF92-4A3324D2DD8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c85264f8b354889753fca623f6e4dac99319a70","datavalue":{"value":{"entity-type":"item","numeric-id":1254850,"id":"Q1254850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$54F4024E-0E6E-4994-B294-248DB2B788E9","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":"Q5720192$60050B04-AA4D-4195-812C-FA1014B91DAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea13d3b039753e2a46041a0981358f0aebff8f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5729294,"id":"Q5729294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$F0838EDD-AF09-4829-9456-FB5C73479EE6","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":"Q5720192$CA063934-C428-4212-91F4-79C6CFAD9AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948a1c41e7add9ccf2c3694e4e10d65d6c532793","datavalue":{"value":{"entity-type":"item","numeric-id":5729296,"id":"Q5729296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$7266B1F7-150E-486C-9F31-14BCADB6D125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5815e96b2b8ac53ae37be8c279a5a50c256502","datavalue":{"value":{"entity-type":"item","numeric-id":3269136,"id":"Q3269136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$5ACD46C8-EB9E-402F-B933-2A2AD645208A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d67b6a890a5650336a67663daecd3ea3e574c8","datavalue":{"value":{"entity-type":"item","numeric-id":3252699,"id":"Q3252699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$FB8EDB59-AC32-4802-890C-81227D2FCD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$A696E051-8189-4A01-A830-EA0084D53876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2fa1331f19a615e51fb285566360359fe6a36e","datavalue":{"value":{"entity-type":"item","numeric-id":3279284,"id":"Q3279284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5720192$EE813394-F884-4CC8-8B17-E65186920AF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b49a2de429074a9b7e383a89835baad15f168e93","datavalue":{"value":"W2059797857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5720192$CA6BEF48-81F9-4574-A3FC-835D82AC026E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representability of recursively enumerable sets in formal theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representability_of_recursively_enumerable_sets_in_formal_theories"}}}}}