{"entities":{"Q2708320":{"pageid":2719059,"ns":120,"title":"Item:Q2708320","lastrevid":82800161,"modified":"2026-05-06T22:06:47Z","type":"item","id":"Q2708320","labels":{"en":{"language":"en","value":"Marginalia to a theorem of Jacopini"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1588178"}},"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":"Q2708320$0147584C-EE1D-41E0-A4E9-591F59B53A4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e51deb2bf3b82b84ccbdf2c93142b7bd0734c1c","datavalue":{"value":"0970.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708320$23935BF5-27C8-4167-BBA9-D2AD01696B96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6c0c12789b1c65edf998b307fadc1a05e2a1e26","datavalue":{"value":{"time":"+2001-04-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":"Q2708320$F3B2E047-3BC4-4CE8-B9F0-E72766F0DCA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708320$9F48951D-4D7C-4BA2-89B6-E62F81A8FF0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a66f98bf1e883584140ca74d0859f6079d91018","datavalue":{"value":"1588178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708320$5D4CE0BD-DAF7-4303-9844-B25D4EEA0847","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708320$41E1C860-44D8-4E88-88A3-B6578EAAB36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708320$7C47DDFA-B163-42AB-A4CD-0D98D8C0FB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb8976b02b4a58339ba90a9b9a1e3ff325a1ddb","datavalue":{"value":"easy term","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708320$B72F415F-E710-4E09-B46C-931D83644A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fece8c4543bd9f83e3df6c76f7c382693e905385","datavalue":{"value":"beta conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708320$0995F82F-5C0C-444A-8659-6153188E7AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d45c625d54d913e23d7b0153d9571f8bfd09389b","datavalue":{"value":"non-R.E. theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708320$6F1BE42C-A05D-4AFD-B5CE-E6EC69CF6FBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708320$A92F6B23-E378-46B1-8B7C-6934496E2FF2","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":"Q2708320$00E76DEB-C8CB-4A61-BF42-66E829FC0280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7987d2a8f216f9120e346b1402f5324744dc774","datavalue":{"value":{"text":"Marginalia to a theorem of Jacopini","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2708320$CCD4765E-2DCE-468C-896D-C0C0E8C23079","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708320$2E96A0CD-9582-43AB-BDEE-0CAEFCE2F5CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909bf6c3c24fb7be275994f4c288506b64c5828e","datavalue":{"value":{"entity-type":"item","numeric-id":1376416,"id":"Q1376416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf7499b7652da1427c768a626142cc1c7855bfb","datavalue":{"value":{"amount":"+0.7921949625015259","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":"Q2708320$2C61FFCE-B61D-4E49-B2E3-9B9E5AD94A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c000e6611e77d82ddba897d4e31ce7eb0761f227","datavalue":{"value":{"entity-type":"item","numeric-id":1314346,"id":"Q1314346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5f183cce760c16360236702ff5d13890eb98c8","datavalue":{"value":{"amount":"+0.790621280670166","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":"Q2708320$D43D1313-3ACE-4AF9-BA0E-14822AFDF9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4475a89784cf95d8ba2c35c528163ed6760f1034","datavalue":{"value":{"entity-type":"item","numeric-id":5955931,"id":"Q5955931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4525123e4875cc878ee718d012f180577d4c81fd","datavalue":{"value":{"amount":"+0.7795767784118652","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":"Q2708320$EA0A9038-4FB1-4740-98A4-5C7B6846E0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16931ee5196cbeb132ed462d3e31a5281ea35743","datavalue":{"value":{"entity-type":"item","numeric-id":3982064,"id":"Q3982064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9c45a70100f351fda20300a4acd0a5f46c58bb","datavalue":{"value":{"amount":"+0.7786709666252136","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":"Q2708320$D5648C11-08BC-4FB9-958A-4511ABE50D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4f94117fb0081803a1c80a47a15b5772da2aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4263881,"id":"Q4263881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6cf1671979625ffaee14cda1f3adb30ccc5f97c","datavalue":{"value":{"amount":"+0.7743338346481323","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":"Q2708320$46E27C74-C4BA-4190-BAFA-ECFBB8A34455","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Marginalia to a theorem of Jacopini","badges":[]}}}}}