{"entities":{"Q7114441":{"pageid":21957711,"ns":120,"title":"Item:Q7114441","lastrevid":106786865,"modified":"2026-10-22T14:12:08Z","type":"item","id":"Q7114441","labels":{"en":{"language":"en","value":"Extraction of Efficient Programs in $I\\Sigma_1$-arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q7114441$CB15878C-3264-4DAF-B98C-263708123DCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68f8a51ee03d75aa5b0c3a59079e8df6cac50318","datavalue":{"value":{"time":"+2019-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":"Q7114441$353ECC28-D557-451B-87A9-4CEF1BD581C5","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"867d6c3cf1c5b6d8ace99123528ac4479c5ad047","datavalue":{"value":"1910.00635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7114441$11CA1F81-598F-4F5C-8701-913EB0EA2CDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"910211ee5f7f20346ee1aca4486d5b2fa5fcd1e0","datavalue":{"value":{"entity-type":"item","numeric-id":634774,"id":"Q634774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7114441$05F2FEB8-FC01-493A-B3DB-24864F3B45D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e2030b6bc424b92ef9cd11bf7389e648c16ba2","datavalue":{"value":{"entity-type":"item","numeric-id":1029016,"id":"Q1029016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7114441$E4D9ED5D-14A7-462F-ABFE-A837281CEEAE","rank":"normal"}],"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":"Q7114441$4060BF80-06E9-42A9-90B3-E9DC38E7271F","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":"Q7114441$717601BC-9A6A-4450-B703-1A94C5B5EF69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extraction of Efficient Programs in $I\\Sigma 1$-arithmetic (scientific article from arXiv)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extraction_of_Efficient_Programs_in_$I%5CSigma_1$-arithmetic_(scientific_article_from_arXiv)"}}}}}