{"entities":{"Q6057622":{"pageid":13191777,"ns":120,"title":"Item:Q6057622","lastrevid":58646799,"modified":"2026-04-06T04:12:38Z","type":"item","id":"Q6057622","labels":{"en":{"language":"en","value":"Some observations on the FGH theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7755333"}},"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":"Q6057622$78A6905E-2710-4B45-BF50-1D261EF4FD36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01703222a90ef3e1f55a9fb7c2d20a5d43281ada","datavalue":{"value":{"text":"Some observations on the FGH theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6057622$9A9D7BBB-EBFB-4363-BCC0-0A825EC0C041","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$7498AF43-7C5B-4687-9CBE-8CFF8CEDD70C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$B3DD4E3F-35C3-454C-87F4-C124D813862D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a51e00d704ac90af595af3eaa88c34179dc3493d","datavalue":{"value":{"time":"+2023-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6057622$E01B86A7-9B0B-411E-B0B3-427BD67D608D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbefad339ed22b84dd99714d3d0a502eb7fbcdd7","datavalue":{"value":"https://arxiv.org/abs/2110.14872","type":"string"},"datatype":"url"},"type":"statement","id":"Q6057622$D163C046-2D5F-45DB-9FC5-76AE7976D7AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057622$2873F510-91E2-42EE-B68A-676C401E445C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"222a56470bf168d95c273a51268fef824e666b90","datavalue":{"value":"7755333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057622$D2BBB0A9-9937-4C24-82F5-12A339A0CE86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f04366a284661c58b2e4c6360a982a605788e97","datavalue":{"value":"FGH theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057622$A358607A-070E-4936-B96E-10121AF76C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53e334fca0d46acdfc5c7cbb18d28908745166f","datavalue":{"value":"weak representability of c.e. sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057622$19CB9789-743C-4A7E-BFAF-FC9857709915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c650cd24025fda13c07b573c157ff74ce0568a88","datavalue":{"value":"incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057622$2C9CF4CB-45EB-43FE-B7BE-486975FEBB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057622$E184CE8A-8DA9-4DFC-B84E-DBA8396D8432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb088e3f083edf24aa73f673b18753e6d001384","datavalue":{"value":"Rosser provability predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057622$2E350FFC-7542-4E6B-9CDC-A54A44E02C2D","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":"Q6057622$7FC9223A-1DEF-4CE9-A5E9-707745125FFF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cb1d02ee633769d8ca2c78cd49441d95dbcc400f","datavalue":{"value":"Q122615700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057622$48E553C8-BDE5-4236-9A70-6E5F34B9631F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd1990b05eb74ac6108eb59f85e1d8553f0e7948","datavalue":{"value":"W4367048451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057622$BFE1C6AF-4F0E-4BE6-8BF5-D81CF0A2E017","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$D630C7A1-D5CA-4E01-99BF-0F2216A70989","rank":"normal"},{"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":"Q6057622$1DEDF2B1-1586-494A-9F52-8DA907768BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$F9360895-37CA-4F65-B070-3C4675F03998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$2B7F4D6F-2823-40F8-A12A-0BD691B14158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$91A12F01-FB40-4F02-A52D-5EDD5EFFA469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b9b61739a28f317b5eca4c6cc2d58934553c27","datavalue":{"value":{"entity-type":"item","numeric-id":3195699,"id":"Q3195699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$33E90812-459D-424F-A965-685DF77B42A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe2111e18411abab6945a54cd727909cf792ec9","datavalue":{"value":{"entity-type":"item","numeric-id":2976385,"id":"Q2976385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$BE9BED52-228A-467E-A9A8-73B44435A2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b1af4dfccaa0f3bb97490187ae8ac9e6c5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":892168,"id":"Q892168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$CA9E9532-1FF8-4A75-A962-F6D5C90D3273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539d249ce936d96490a2492a3260a03c0b09bbc2","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$CD29B75C-4751-4B59-9DEB-ED130EAC3CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$9E21946C-B71C-4EE4-88E0-BE730AAFAE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$E567ED93-2492-482F-B7DD-4A07FF565F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4738c2a117f561e52657f7870a152b66a3a08a","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$174E3CDC-A7EC-4C9D-80A3-788D339194CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c50d194ec1a4b1402cafe18e5f5c12fbb4d22","datavalue":{"value":{"entity-type":"item","numeric-id":5720192,"id":"Q5720192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$870235C6-A0CB-4228-A0E1-29C18BC998C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5c714fd5819198abd360f8bb52f21b06f7318a","datavalue":{"value":{"entity-type":"item","numeric-id":1161741,"id":"Q1161741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$91EE7C17-4CF5-4C9C-8D4B-16FD3A08D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$4AEAEA4C-0CED-48F1-93C5-37002FD849D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd1cf764eb9c91128e15ecfe17f6c1dc4f0ea27","datavalue":{"value":{"entity-type":"item","numeric-id":1068069,"id":"Q1068069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$BE3DAC0A-07C4-4E4C-9153-85D26B43FA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c334e900d69147354fcd1b09f921638515832504","datavalue":{"value":{"entity-type":"item","numeric-id":705533,"id":"Q705533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$088D7242-AED4-4303-AF06-22D9502A2D09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2365fccc9dbda582f152bfe2547bde720052caa4","datavalue":{"value":"10.1007/S11225-023-10045-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057622$36F016DD-C80C-483D-BDCB-713CC938DBCE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057622$C3A70BB6-80FE-4DC0-8CF0-DFA3963AE000","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6057622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6057622"}}}}}