{"entities":{"Q4192056":{"pageid":6221657,"ns":120,"title":"Item:Q4192056","lastrevid":34625756,"modified":"2024-06-13T00:12:17Z","type":"item","id":"Q4192056","labels":{"en":{"language":"en","value":"Consistency proof without transfinite induction for a formal system for turing machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3630748"}},"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":"Q4192056$756C9867-A08B-42F0-9F9B-F8265E70B74F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffe782300446af6d37334c255c4f377896ef78b7","datavalue":{"value":{"text":"Consistency proof without transfinite induction for a formal system for turing machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4192056$76637743-81A4-4D28-8416-9A4000496143","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b70905d31d1d65a7b9c1d66574db6f866855ef6","datavalue":{"value":"0406.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192056$76B604C6-28D4-4D00-A93C-5C757E2E3B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c528ec957cb49fde37a7223ddc6c2d86845cc80","datavalue":{"value":"10.1007/BF02011876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192056$9F933E20-958F-45F9-9867-4018402B96CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4ed11cadf96974e810cf1e480d7bfbd247c7867","datavalue":{"value":{"entity-type":"item","numeric-id":1045887,"id":"Q1045887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$FAE9F6EB-70CE-42FC-9B3B-43F5988309C3","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":"Q4192056$3E43CF88-4624-49A3-B0F8-CB12184CE3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4192056$1DC080D8-49AE-41A3-830D-677AB0C46286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c8c11e0fd9e0c483b0cac93c5268f05f1556261","datavalue":{"value":"https://eudml.org/doc/137953","type":"string"},"datatype":"url"},"type":"statement","id":"Q4192056$29FEB341-349D-48FA-8B43-4D8040E7700A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192056$92CB18F7-5B87-4327-9546-71BA39B3B835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192056$A41D655E-5AEF-4664-9DCB-A97757A0AAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192056$F477C242-ECBF-41BE-BE51-8EF17069404F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192056$168150E6-62A5-45AE-8655-B19260CE679B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fc5c25be863fa24e1338c40281d6e952d2e0390","datavalue":{"value":"3630748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192056$694172FB-AC99-47FE-B96B-55BBB0267101","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a531b609de5cc4866d32f3f5896190f29947e64","datavalue":{"value":"Consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$BB0B3A96-B2D1-4892-A942-359F52AC40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cfb3d22d67766ea6c2f6e0e3a2d53b2fca96619","datavalue":{"value":"Induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$8EE4157F-A641-4DD1-8895-DFAA6509D3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37775ff7ad18eb24c7a8bc970b100b74f9de32ec","datavalue":{"value":"Formal System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$003BF800-CCAF-42C8-BCCD-A959382E5F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de94567c85a034315623c695eeb62602ff609eaf","datavalue":{"value":"Turing Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$988D2F8E-3C18-41D3-8370-7BD232D3BEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ae506cd480a3f10a3bb0841a5417accf268ca0","datavalue":{"value":"Primitive Recursive Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$9FCBAF01-161C-4690-BE97-02F4D1DEE37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0199519ee402b245bd400c19dbb3134aaba5cef0","datavalue":{"value":"Infinitary System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$BB14AB63-B851-4211-96A9-5AEDE67C928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ce32a0acf8dc83c86d29c74df672502b075e0b7","datavalue":{"value":"Cutelimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$9BE78B78-1F1F-4FD3-B71C-44A825238909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa51a72e4f120b671124c1a5b8e6f5b10818953","datavalue":{"value":"Logical Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192056$4EAECEBC-8248-4E8F-AEEE-C5C29C8F4CF9","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":"Q4192056$4BDDD9CF-B54C-4081-9BF2-E0F02AAC16B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$4100DBDF-F08E-4D5B-904B-3B9F474061B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$86858700-4512-424F-866B-2F0C2C113112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd88548af69efb11f72fe2e8b3964bf0dad5505","datavalue":{"value":{"entity-type":"item","numeric-id":5730129,"id":"Q5730129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$7A1EC4EA-530A-40B4-A6FC-53DDBBA7D03B","rank":"normal"},{"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":"Q4192056$8961FB87-D35F-474F-A430-8D460F73F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$50BA9974-EF41-4AD2-BC5D-26A788613266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a8365877cb937f253f83bd39b72ab62dd856d8","datavalue":{"value":{"entity-type":"item","numeric-id":3245358,"id":"Q3245358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$60284B35-0E65-4B5C-BCE7-187A23DB0D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$4B652B13-A1B8-4ED1-AD8E-C690907509E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$004A575C-2AA9-43A3-944D-C33682BA8AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$94D7D374-4204-4CF9-8205-721920C2C655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a31652f30ee05544850592905d3ff797bda713e","datavalue":{"value":{"entity-type":"item","numeric-id":5343335,"id":"Q5343335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192056$57B9B04A-67C5-4F6F-B92C-4E27ECD74992","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4192056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4192056"}}}}}