{"entities":{"Q2537129":{"pageid":2547872,"ns":120,"title":"Item:Q2537129","lastrevid":78857912,"modified":"2026-05-06T12:35:54Z","type":"item","id":"Q2537129","labels":{"en":{"language":"en","value":"Some results concerning proofs of statements about programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3299738"}},"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":"Q2537129$FEBA7E99-0790-4710-8F56-B0AFF6CFA59E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fd295d98668b12177a6b5ff6370216315e136c8","datavalue":{"value":{"text":"Some results concerning proofs of statements about programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2537129$9869BD88-82C0-465D-85AB-2282FB52D778","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93c8f2602f60e95a03854d0173e2f01a16cc6344","datavalue":{"value":"0188.02902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537129$F274FB1F-4A42-42E1-91E3-4096DF11B38A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"380d730e91e6bfce2dbb562dd83d745581fe463f","datavalue":{"value":"10.1016/S0022-0000(70)80013-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537129$162A3934-3F0F-4B85-B19A-89990B86D12E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4be49e6c3bb3519e07eb36fa5e0382da87ee8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2537128,"id":"Q2537128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537129$D4856743-A561-416A-B04F-1056EE313AF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537129$7F7E6B5F-775C-4E40-A50C-EC75B6A5764D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q2537129$7867B294-CD4C-40C0-90D0-3309FE1E95AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96cbbe6a808d2a4e12dbb3c7026ba972b97987c1","datavalue":{"value":"3299738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2537129$CFFAD31F-AF2E-42F9-A13E-35273F5B3C16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2537129$8F1C95D3-39F2-4144-B6E4-11496F6EC738","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":"Q2537129$26C40AA1-E53C-4781-90F5-928E3BC728CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537129$E2E732A6-4A55-4202-99E0-E39812BE2DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0657bad7603aacb8f27f5078785e09d3f38ed093","datavalue":{"value":{"entity-type":"item","numeric-id":5786282,"id":"Q5786282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537129$A2A36FA8-0C66-43A3-A43A-5B92D8D65F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed9803f3691a37ba7e6000d61457889a45859a2","datavalue":{"value":{"entity-type":"item","numeric-id":3265667,"id":"Q3265667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537129$D6181C3F-CAC5-49A7-BE60-2F61316ACA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8cb5bfb5174d2681f8d02c68592a8c716f84ed","datavalue":{"value":{"entity-type":"item","numeric-id":5588654,"id":"Q5588654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537129$561BFD37-7BF2-4F0C-93A9-EA924CAC3664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eae0258714c0773d903be78eb00c578837a8f31","datavalue":{"value":{"entity-type":"item","numeric-id":5559538,"id":"Q5559538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2537129$C3259BF1-A928-4422-8838-3F77CEEFB576","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some results concerning proofs of statements about programs","badges":[]}}}}}