{"entities":{"Q3788004":{"pageid":5817910,"ns":120,"title":"Item:Q3788004","lastrevid":52814882,"modified":"2026-01-23T13:46:27Z","type":"item","id":"Q3788004","labels":{"en":{"language":"en","value":"Taking out <i>LK</i> parts from a proof in Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051611"}},"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":"Q3788004$4A23EDE4-CC0B-4C2B-AD50-33D38A29735F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59aff201e98f2129e7c34fd5e53204ab88fbd921","datavalue":{"value":{"text":"Taking out <i>LK</i> parts from a proof in Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3788004$D43329CA-2939-4C47-9CC4-F39EBD641ED2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337972de8643db9c688db2c771f71710d2bbc744","datavalue":{"value":"0645.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3788004$B840A5A5-299F-4B52-A652-AD800BE26AA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e0bbaa532ce9dbc8411b1d3ca7d8c225c120c7d","datavalue":{"value":"10.2307/2274022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3788004$5CB1CA3C-752C-48D5-BDDC-9AE02F5E00D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b0df8cc476d314f14ae0e212e63b60a4094122d","datavalue":{"value":{"entity-type":"item","numeric-id":585197,"id":"Q585197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3788004$0B938656-1FED-4B45-9427-7AE7F6892DDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3788004$B8B36202-D07A-4018-B50B-F92E2440796C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3788004$98278503-5699-4BFA-B9CD-41FB3CF76DC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3788004$E574F3CA-AF71-44FE-9C3F-3B838927AB21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eef66454e22997ee31439d92f4a90a1140913819","datavalue":{"value":"4051611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3788004$49F2C6B0-90CD-4BC6-9983-23F0999BCFE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37e0bd44a050da0c662e44777e54c6946f65d21","datavalue":{"value":"problem of Kreisel","type":"string"},"datatype":"string"},"type":"statement","id":"Q3788004$6A6858D2-B702-4E88-9A9C-CC3AB3BD8ADE","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":"Q3788004$51917A8B-DFAE-4D5D-B5E4-64E2F4627A31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf392514e4c34bff57a2bc751a466527a193d8ba","datavalue":{"value":"https://doi.org/10.2307/2274022","type":"string"},"datatype":"url"},"type":"statement","id":"Q3788004$62C5FC60-21C6-4A1C-AE44-D3F1E3102670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"062e069d78ad09bb4204fd4f7e2be71b805199f5","datavalue":{"value":"W2061022782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3788004$717EDA37-B7CE-4B5E-B084-D4450A5CB2A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3788004$19C0446E-3A3A-46F4-AA88-9B59F0A1ED36","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":"Q3788004$CBE0DA91-DB7E-4A0E-9495-6E1F99CB9B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3788004$F0E92642-846A-4B84-A610-BEDE6D7DF98B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e6943612077152e63bbf51245bd888ad98d266","datavalue":{"value":{"entity-type":"item","numeric-id":1353977,"id":"Q1353977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c766984296b696718e71b1e3007b9664d71b0d","datavalue":{"value":{"amount":"+0.8407922387123108","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":"Q3788004$EAA86EBB-8C9E-4DCD-A075-7F36D92557D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21473e318044af4735c8f559ea4a6ecae3509f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3773879,"id":"Q3773879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7481929bb2033aa9ca08b4320f9e6b5bb04f7fa","datavalue":{"value":{"amount":"+0.8168540000915527","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":"Q3788004$942A15C2-3885-46E8-A6F6-9BDD9C65D48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9565bc9b78e0a6b588793215fc56c0c25620697e","datavalue":{"value":{"entity-type":"item","numeric-id":3335776,"id":"Q3335776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a830dc8acb1aea9302f80a271cc508c1ba7f1e1","datavalue":{"value":{"amount":"+0.8102827668190002","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":"Q3788004$42F8B29F-DB71-4DF7-AC6A-F9EF3A919B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c589110c68473a92f7abc8e8208c2f9b21f94","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c545c00bdfa237fe45273ca36df7eddb8501e49","datavalue":{"value":{"amount":"+0.7910614013671875","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":"Q3788004$A20117B7-9925-4482-B135-8871686C31B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc968fc081bfd42f16362de6125da6f02619ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa78d5e06c26fb9830f9ef2e710443d8a481448a","datavalue":{"value":{"amount":"+0.7897104024887085","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":"Q3788004$EF2252AC-32D8-49CF-A777-A55EB6A116E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3788004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3788004"}}}}}