{"entities":{"Q1260022":{"pageid":1270772,"ns":120,"title":"Item:Q1260022","lastrevid":67140735,"modified":"2026-04-12T15:33:46Z","type":"item","id":"Q1260022","labels":{"en":{"language":"en","value":"Formal arithmetic in combinatorily complete systems. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3641408"}},"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":"Q1260022$EFB2A570-8072-4040-8EF7-3B288E6E9FAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8abac605565553fb53207a3674ad9dab1fbab73b","datavalue":{"value":{"text":"Formal arithmetic in combinatorily complete systems. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1260022$2D6CB762-50C2-48D4-A8B7-102A503E6093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d8c851be68554e87b4cbcabc26f6003f0e8d270","datavalue":{"value":"0413.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$FBA7A0F8-46F8-4100-AC61-F82985ABD72C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe9d7ebd81431dbfaf15c876dfd6294bc4820cf","datavalue":{"value":{"entity-type":"item","numeric-id":1056742,"id":"Q1056742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260022$2D7EB1C2-ED7A-44AF-AABE-4ABBA4B27BE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260022$979B286F-740D-4D2A-9FA0-B343A58AF313","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":"Q1260022$EB696738-A294-4FE1-ADCD-F2F3A1ECD284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$9F34D1C5-11F2-4282-8A6B-F39A5F549347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$0E4B5954-C266-4CE6-AA75-BA0A82F3F4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$A1D56BEF-4460-4F78-A096-E8AC31871AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$49208D67-E1DC-43F1-95F3-5F08538C3229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$F8266C03-0DB0-4F2E-9CC2-99E1059EC892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9ee713a0845fa95f927d6e1374bad1f2e158ef","datavalue":{"value":"11U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$6C3D15F3-4EF2-4BA8-8AAC-CC33284C38F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$04C78418-5ACD-493C-81AD-F12CF30B800C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca8c0f34b71d80cf8622ff34bca5b6158d952451","datavalue":{"value":"3641408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260022$D552F5EE-460F-4ADE-8876-A6057BC7ADEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6ab2d045487e17341554b45ec5338799530f04","datavalue":{"value":"formal arithmetic in combinatorily complete systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260022$18B79835-D96E-4077-B1FE-9A1FCC1AB349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260022$4236B45D-B5BE-4A51-8AC2-B87C96FD7AD4","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":"Q1260022$0FD31A35-6C1C-4458-9078-E3C998EF6EC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal arithmetic in combinatorily complete systems. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_arithmetic_in_combinatorily_complete_systems._I"}}}}}