{"entities":{"Q3956938":{"pageid":5986843,"ns":120,"title":"Item:Q3956938","lastrevid":81296738,"modified":"2026-05-06T18:11:46Z","type":"item","id":"Q3956938","labels":{"en":{"language":"en","value":"Some diophantine forms of g\u00f6del's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3777486"}},"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":"Q3956938$DBE16531-62FF-45F1-AC74-EC62735564E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9972258fdc9b52cd45f92b1e54c503b7844ddda","datavalue":{"value":{"text":"Some diophantine forms of g\u00f6del's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3956938$02B37828-C31A-48A6-978F-DF7610B06C84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8f9b14b8ab51f001ab133b63d1e9cbb5ba60708","datavalue":{"value":"0494.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956938$B4BF1AD4-965B-474B-AE51-6007C0D5C626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f77de1b4cf98dbd0fd76549d78fb11749009699","datavalue":{"value":"10.1007/BF02318026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956938$409D4256-1321-40E9-A71B-A90B604B33B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d8ed00a7e14057ccd13896eabf0b32c488cb0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3956937,"id":"Q3956937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$D3A49EF0-FCC3-4F35-B21C-CE6D514EEB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d87a7e02cd1984da41ca327773691c195636f7d5","datavalue":{"value":{"entity-type":"item","numeric-id":3048818,"id":"Q3048818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$43DB0377-801C-4689-8192-B6C22A352F8E","rank":"normal"},{"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":"Q3956938$76F1D8D9-C8B8-4328-ACD2-5D2E76FE8D68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6404a67ee80bf8c30e440d1605bae281c5dcca83","datavalue":{"value":{"entity-type":"item","numeric-id":3956907,"id":"Q3956907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$11A7BE63-CE99-4166-B72C-06F53FA3443B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3956938$7CF1BA8B-8D85-4D3C-8A17-51843E2694E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04615e23c80656806da05221d8ced7679839788f","datavalue":{"value":"https://eudml.org/doc/137991","type":"string"},"datatype":"url"},"type":"statement","id":"Q3956938$03DE5EDD-74BB-452B-987C-3BF8C5333B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956938$905764D0-19AC-492B-862E-DE8F6D884086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956938$0707EEE0-40B9-40DE-B667-D9E4E2E5D116","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87fa2398146161d9489a85f9f31bfd72bc8631fe","datavalue":{"value":"3777486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956938$81AF8EA9-779A-47AB-AE0C-224DDFEB6D73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36def09557504fe9f7a7cd3cbd2e704a33fec36a","datavalue":{"value":"omega-consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956938$F63E01FD-A0D0-45D5-9FEE-53433949CA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0864d1ab8f6c768c87138529bfb585c4ca6bbf","datavalue":{"value":"Goedel's incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956938$5473FCC4-E053-4856-84C1-E1EC0A62C0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b0743f289694e6203bca54ee083c6834098e82","datavalue":{"value":"Matijasevich's diophantine representation of recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956938$A32CD6A7-BF76-493C-8753-5C31201BBE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0e51da0b1744fd56ce5f5aa398374600ff9058","datavalue":{"value":"undecidable diophantine sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956938$0DD6B58E-A97B-4C60-9493-EF8F85995C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4774b3d0c9c0de10c484d0087f73fe5a886ddcde","datavalue":{"value":"Robinson's system Q","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956938$AFCB21C6-0BFF-4BDC-9374-74074A8B8462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ddc17db41fa0ec172bf84dd778d5a3577bc9700","datavalue":{"value":"formally decidable diophantine sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956938$F1A8CFEF-799C-4A54-9207-92527115E96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ce4d69b47186ab1a9b41d852e8af00b51d7748a","datavalue":{"value":"almost-diophantine sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3956938$E5723161-9336-4B1B-9E64-AD79468E6A7B","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":"Q3956938$8B086975-7E93-4494-9E13-E7C49ACC1B9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$67FA7F2E-B0B5-4B54-9497-5B6668560517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96282f2bb3a6be387d7e849429f0a86751065d33","datavalue":{"value":{"entity-type":"item","numeric-id":4161318,"id":"Q4161318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$D07F0A15-D2C6-4D8D-808C-08B242117C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$33342519-CD30-4A94-AC26-72CF52E28D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$157CFFB3-1069-439C-ACD7-5FEFA9B8C127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efb11decb0816cbc692420ec67b3b4c0ef5220f","datavalue":{"value":{"entity-type":"item","numeric-id":3048819,"id":"Q3048819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$3D818398-2DA1-4003-A414-65A3E77453FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912b20ed7940265e6dcd4dc9e9d827eca70924cd","datavalue":{"value":{"entity-type":"item","numeric-id":5648353,"id":"Q5648353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$ECFDA60F-0F72-4436-BE2C-1A1276F376F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3956938$AF34D07D-8DF8-42F8-8C8A-844A9455DD21","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":"Q3956938$2F1A2E33-EF69-4412-B8ED-EF7DB8E57308","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3401a5f82417f769d0d6665893db9ab35347c95a","datavalue":{"value":"W2070850992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3956938$3F534596-9914-477A-85B5-EF9923A31ADE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some diophantine forms of g\u00f6del's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_diophantine_forms_of_g%C3%B6del%27s_theorem"}}}}}