{"entities":{"Q684960":{"pageid":686809,"ns":120,"title":"Item:Q684960","lastrevid":63587268,"modified":"2026-04-11T14:10:39Z","type":"item","id":"Q684960","labels":{"en":{"language":"en","value":"Remark on Kreisel's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416598"}},"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":"Q684960$536BDA66-A594-4175-995D-6C83DCF9DBB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9236531e9f8bc88dc974c74e54a903b77ad37bbb","datavalue":{"value":{"text":"Remark on Kreisel's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q684960$28B0EE74-9839-4DC5-8AFD-A13404A6F7A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8ae2870794c115934a0d4e728acd11189f0e258","datavalue":{"value":"0779.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684960$35759D76-061E-4912-9492-5F0F2181E77E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9c4953ff83caa0132417c05dea6ad0f933cabd0","datavalue":{"value":"10.1007/BF01104108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684960$BC6DF0F3-D1FD-42EE-8601-DDF723C7673E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c202384c22915715f42b7278cfa2bc8d6926211c","datavalue":{"value":{"entity-type":"item","numeric-id":684959,"id":"Q684959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$30BE943A-DBF7-4116-AFDC-9AD0F7A5824B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$0165348B-5564-4747-9C92-12556A771A5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38095d6709161e075b2ca7acfb4de294406bc0b9","datavalue":{"value":{"time":"+1993-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q684960$AF6EE450-C489-46D4-BA6F-A2010DB86D9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9dc293710322262aa44f6be47c46d21252098e51","datavalue":{"value":"See the review in Zbl 0703.03036.","type":"string"},"datatype":"string"},"type":"statement","id":"Q684960$43E47F11-7361-4336-9D35-1160C86ED866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684960$99FB7C6C-81F7-4101-970E-9B8AFEECFD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684960$C47AD7D0-A853-4419-B336-EFCEF0CE76A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e914bc62853e15abf3cb7d442365482c38f9ece1","datavalue":{"value":"416598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684960$3E82358D-8E8C-437C-8BF1-7CAB3B9DFB02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148cbec86e681f0f3a624bd824528138b3e8a622","datavalue":{"value":"length of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q684960$BA88345C-C338-497C-A52B-66E47DA0BBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q684960$83DDC47A-EDA9-43DB-AA15-FDDD4481DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111dfc4059931d82d563af3dc5f9d0640f3c44df","datavalue":{"value":"Robinson arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q684960$034FCE82-433D-4881-8FC3-4D7CA9354E49","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"da92450267ee7ac42f001decd1cb46c99b27e1e6","datavalue":{"value":"Q123101453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684960$880B817F-42B9-4E2A-8CE9-25A687BD173D","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":"Q684960$CF9E8EE1-610B-44B1-A428-D83C6304A59A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$04E01445-B0AE-409E-8809-9D067EF7ED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$B66429D6-E341-4140-A4F7-4B28273816DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$2E641172-93E8-42DE-9A87-109C5A0D60F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4998bdaf1a6b4855ad6d2b807b069f618a518","datavalue":{"value":{"entity-type":"item","numeric-id":4041554,"id":"Q4041554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$9E64A94E-6F63-4ABE-BC04-8AFE76F99D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2392e74c2f853e714af4751f3bd2e2895db1e3e","datavalue":{"value":{"entity-type":"item","numeric-id":1259591,"id":"Q1259591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$11D69F14-0C99-451D-9097-84CDE20BD180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa011a834041a527ecea97cb500c12560c9ab895","datavalue":{"value":{"entity-type":"item","numeric-id":3335776,"id":"Q3335776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684960$ABFA86C6-05D9-46BA-B239-EEA1CDD50475","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c78c8a9e54d393991ca2a5fc73c9714e35b3b388","datavalue":{"value":"https://doi.org/10.1007/bf01104108","type":"string"},"datatype":"url"},"type":"statement","id":"Q684960$4206CFCB-6741-4944-AD3A-264A07E09ECF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df849406588bd3af766d0feaaa2dd03b0e7d0624","datavalue":{"value":"W2087421537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684960$B3AAD1EC-9886-4C24-BF1E-F894EF3FB38E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remark on Kreisel's conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remark_on_Kreisel%27s_conjecture"}}}}}