{"entities":{"Q6445465":{"pageid":13578474,"ns":120,"title":"Item:Q6445465","lastrevid":99420446,"modified":"2026-06-05T19:55:28Z","type":"item","id":"Q6445465","labels":{"en":{"language":"en","value":"Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 902300272"}},"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":"Q6445465$025FCA88-D98D-4F6F-838F-205F3CD61F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6445465$58BA2255-DE42-40B0-86A3-A4D570E8F33C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e7e54e22918a5af75f6588d5e6c4a6d7874c28","datavalue":{"value":{"entity-type":"item","numeric-id":1687734,"id":"Q1687734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6445465$395504AD-42D3-4C2B-AD27-C247F0677981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2727ea0c536c8b8965c6e43987197ce28213d80a","datavalue":{"value":{"entity-type":"item","numeric-id":1687748,"id":"Q1687748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6445465$A1183CB2-5C38-4A6F-AEDA-37FCB702161D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"413f5d0b3703079bfa22ee6016b57b1d089ce439","datavalue":{"value":{"entity-type":"item","numeric-id":6445464,"id":"Q6445464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6445465$E679203A-4D99-4528-A306-AD92E543E6E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d78c03c303350a81702b9d9f2f7baf5681cc1c33","datavalue":{"value":"902300272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6445465$9C951102-C7E1-46D6-85B4-B4396006B327","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":"Q6445465$5B58AC96-F79F-47D7-8FEF-7B799D5CE306","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"dc075c4ea19c899d8eb7bd787176336dcf15f9ee","datavalue":{"value":"https://github.com/uds-psl/coq-synthetic-computability","type":"string"},"datatype":"url"},"type":"statement","id":"Q6445465$8321955E-7ABC-4755-B790-36970DF1C12E","rank":"normal","references":[{"hash":"7abb540add290136914cb4563d36d7e0e8d3e963","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"f272feb7ad21d7231508e3e41e2e75d5b71edb58","datavalue":{"value":"https://paperswithcode.com/paper/oracle-computability-and-turing-reducibility","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Oracle_Computability_and_Turing_Reducibility_in_the_Calculus_of_Inductive_Constructions"}}}}}