{"entities":{"Q5015097":{"pageid":7044674,"ns":120,"title":"Item:Q5015097","lastrevid":54171788,"modified":"2026-01-26T09:48:06Z","type":"item","id":"Q5015097","labels":{"en":{"language":"en","value":"A short proof of the decidability of normalization in recursive program schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441502"}},"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":"Q5015097$E1641EAC-3158-4F5C-A73B-76846244E156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"563990d4423e9af5c5b93679057e09eb02ecf90f","datavalue":{"value":"1476.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015097$723C6A98-F0DE-46AB-8E75-9B7520FCBD1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015097$B5750DBB-8A2B-459B-998B-9CF68A717FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"329fc75c2b734a55ae526fd7c64fd9f320684f33","datavalue":{"value":"http://www.viam.science.tsu.ge/Ami/2020_2/5_zura.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015097$BEAF1510-E3D6-4ACD-9682-0EAE7CB9428E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015097$07CF8FDA-45FC-4C54-9129-E1393D32613F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cd5b3ec25b08dec3cf271770309d6c24d86e67d","datavalue":{"value":"7441502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015097$5139CE1C-91E4-4CB2-B113-497C9992F162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ea29f34af1ee45ad2057a2024c5255e1232d44","datavalue":{"value":{"entity-type":"item","numeric-id":526773,"id":"Q526773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015097$2631B601-FFE3-4D7D-A58F-9BF412B2D672","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":"Q5015097$5DF17D01-DD86-40D3-B2F9-AD4C42A3E2CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6d182006bf21e490c1f0260a2e0943f230b991","datavalue":{"value":{"entity-type":"item","numeric-id":4954449,"id":"Q4954449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24274c4e066e4ae0319502ceec0110ab11a58db6","datavalue":{"value":{"amount":"+0.7730892300605774","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":"Q5015097$670CB1CC-C94A-4E1E-AED0-6DB57E47F693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3961881daedb1be6dbd20244f964d63eb204b8","datavalue":{"value":{"entity-type":"item","numeric-id":3773319,"id":"Q3773319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9874ec6b6b7e72d0a70496bbaa7aeba82eb40d45","datavalue":{"value":{"amount":"+0.7617525458335876","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":"Q5015097$0D6C6719-0F26-4B8F-B609-2521C4B4A5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b956a5549eb0268c206d0722c736b11dd30d6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":4405686,"id":"Q4405686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0183f71989aa0b7c50f6e2002716ef70daa8f3ee","datavalue":{"value":{"amount":"+0.7197530269622803","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":"Q5015097$B9451B4E-9AE9-490E-8876-B0F0ED7CEE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa003cf25a9f3a15fa502e7daf2feada61ab715","datavalue":{"value":{"entity-type":"item","numeric-id":3838766,"id":"Q3838766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbf0ab1c8464a13e28b4a0a19bb870dc17ab48e","datavalue":{"value":{"amount":"+0.7163310647010803","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":"Q5015097$7707D241-C3B3-47EE-88EF-A471EBF537F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506b033e8ee820ddb31ae4b6a928f3a9843320e7","datavalue":{"value":{"entity-type":"item","numeric-id":4508638,"id":"Q4508638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11271c4663565e8d5ae27a7dd4e48fdb27d048c","datavalue":{"value":{"amount":"+0.7108091711997986","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":"Q5015097$13ED95EA-CCB9-4464-894F-C2B356054001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015097"}}}}}