{"entities":{"Q2179350":{"pageid":2190093,"ns":120,"title":"Item:Q2179350","lastrevid":72770325,"modified":"2026-04-14T07:43:18Z","type":"item","id":"Q2179350","labels":{"en":{"language":"en","value":"Higher type recursion for transfinite machine theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7199431"}},"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":"Q2179350$148F6685-7A4E-404D-B262-C2CAE34C1259","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b856a97781115193ab5be870abc182079ab324a","datavalue":{"value":{"text":"Higher type recursion for transfinite machine theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2179350$7BC44042-0284-4BF3-8610-4B14BA4E9C81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35f48aa025ddb73b5167298a786d5dd0d283f470","datavalue":{"value":"1434.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2179350$402458CE-92E8-4253-B85F-6D2DE4E4DF2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58e20aa5948b34372d53488d2278533a9a6029ba","datavalue":{"value":"10.1007/978-3-030-22996-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2179350$EA9DB857-1AA6-4B06-9F3F-C16AF67D44D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72dfbfeee19233bb4c813050d24c5c2edf4e963","datavalue":{"value":{"time":"+2020-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2179350$C4AC61E0-BEDD-450F-9CBD-D72CB6DCF344","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22f5e27cf602b289f37153b80f74e7d7f71d8a40","datavalue":{"value":"https://research-information.bris.ac.uk/en/publications/2e13f258-0348-4241-95bd-23b004cf44bd","type":"string"},"datatype":"url"},"type":"statement","id":"Q2179350$B57A45FE-28FD-41AA-9B71-11103E1C922B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2179350$993EDAB7-BEC2-4C42-8381-F4DE7D0117FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbb1f9cf913c75781c7ee071b761d19a8714ec92","datavalue":{"value":"7199431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2179350$00FC845B-5B06-4FAF-B097-548951A7F6DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df54aaacafa183ee62fe8c75514fc862fac34be2","datavalue":{"value":{"entity-type":"item","numeric-id":221561,"id":"Q221561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2179350$4B3A807B-F3AD-44CD-A675-CAA93D778D43","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":"Q2179350$8A586E3C-DD5B-4B1E-97B1-20FDCA41E485","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e366cafb9475e80a820b28ba676c05cdff88ffb","datavalue":{"value":"W2955095155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2179350$39CE3ED6-EF2F-4B19-94A3-E7605651B4A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e141f08d500c191a83f15ec3a2bedc9da49d7f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbecbfdfe1a483ce72099a29ef52f623644b237","datavalue":{"value":{"amount":"+0.7974050045013428","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":"Q2179350$B5F9B1B7-07E4-4E07-9172-696F87884456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1463cbacd6b54fe9aae40a412a5ddeef650e8cf","datavalue":{"value":{"entity-type":"item","numeric-id":2904435,"id":"Q2904435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f55000c8cfb5e64a3969109fe3cc86132e4737b","datavalue":{"value":{"amount":"+0.7717700004577637","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":"Q2179350$F04FD644-7F0E-48EF-BFDA-A0D5CC908685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca517b2a3c837e9ed46f4d59a17df7078ed89872","datavalue":{"value":{"entity-type":"item","numeric-id":3608469,"id":"Q3608469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb45384d513a2297cf36970bd657bc1b99c32898","datavalue":{"value":{"amount":"+0.7678488492965698","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":"Q2179350$F1D50B25-B28E-4596-A96C-05828F295B3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher type recursion for transfinite machine theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_type_recursion_for_transfinite_machine_theory"}}}}}