{"entities":{"Q2464724":{"pageid":2475467,"ns":120,"title":"Item:Q2464724","lastrevid":44134851,"modified":"2025-11-20T06:50:43Z","type":"item","id":"Q2464724","labels":{"en":{"language":"en","value":"On the correctness of the Krivine machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220776"}},"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":"Q2464724$FA0A4BDC-50B2-4EB9-AF23-6D59280F8AB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e570886849d6cf1f2e5a35af69503698ad6e7f9","datavalue":{"value":{"text":"On the correctness of the Krivine machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464724$28864CE3-E7C8-4ADE-A59D-C03BA9221164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fa4e8a3e01ddd7830dab9bd3de81fdb135243b1","datavalue":{"value":"1130.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464724$719B863E-5536-43BE-A58C-3E950598E1D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464724$BCA0F2E6-9F8C-4A68-AD50-A9E092CEA506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464724$F865BF6C-7573-4E1F-9882-8AF8B6E32A31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464724$464C0E3A-F2B0-4452-AD78-113586F0FD2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464724$2100D5B7-A666-4234-8554-76AD20FCE245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464724$4A88865D-CE53-47AA-A456-529652A7F363","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39eb83322fe6927acb78d17ccb7db90c17332f28","datavalue":{"value":"5220776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464724$920E23B3-2FC0-47C0-B21B-70B584119B05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1974a43c2877af8af733b505265e5669426e2da","datavalue":{"value":"Krivine machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464724$476CA009-9B7E-4C23-9D85-6656E138CB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464724$04B7F9C9-31D8-4AE9-B19F-6AB55AFF65EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ec589ccc1b91ccb84ccea85b36d6f36aebba41","datavalue":{"value":"Weak head reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464724$9F2AA5F8-0C19-4E37-A0DC-37AED04F1B81","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464724$97C024E0-81B4-4AF1-8C0B-27FF39C840EF","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":"Q2464724$E670B1A1-A548-4BEE-B772-7CF2E77CE24E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9434671387331d23f018e82ade62d5e8c11ee700","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9019-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464724$B91497C8-9053-4F7C-A5ED-060215C36B27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64bd34346ddcd58eb46d3918856e3cae9f5e7a8a","datavalue":{"value":"W1980602778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464724$3D14BE31-E5C1-440E-86ED-A87C8D5DE010","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464724$335DC4E3-E7F0-4AE6-B072-7F96E2E07F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed1783d4a8c14f89fb2d050437bdced0fe96268","datavalue":{"value":{"entity-type":"item","numeric-id":5723489,"id":"Q5723489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464724$FA6ECAC6-17F7-4C6B-B81E-EAFE4A2A13BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464724$22701283-CCA2-40E1-8BE8-2C8D078BFE6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afcfdc42aa0e364a2ac7a161ea29f1ed33b12f2f","datavalue":{"value":"10.1007/S10990-007-9019-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464724$229BC53E-5895-4D40-90AC-377CA37007B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464724","badges":[]}}}}}