{"entities":{"Q2213918":{"pageid":2224661,"ns":120,"title":"Item:Q2213918","lastrevid":82654055,"modified":"2026-05-06T21:25:34Z","type":"item","id":"Q2213918","labels":{"en":{"language":"en","value":"Computable positive and Friedberg numberings in hyperarithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7281955"}},"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":"Q2213918$87695567-D357-4C4D-B10C-BDC9932C9211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17a0fc5badaf6b4d47f6af05374b036c1b39c6ee","datavalue":{"value":{"text":"Computable positive and Friedberg numberings in hyperarithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2213918$344B6A66-4CCC-4972-936C-4528C48B86F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb3bc8364d714e78e62c8a3b55302b531659cef0","datavalue":{"value":"1484.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213918$7F17F105-9CBC-4E4A-B1AE-5F4C781270B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02119532e8ee3b82864ea31300ae0b38862cab37","datavalue":{"value":{"entity-type":"item","numeric-id":431668,"id":"Q431668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$A5A83479-3603-4440-BB8B-C320FAB15198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc41e9cef31cb7df0cb9ab62403a399872f877b","datavalue":{"value":{"entity-type":"item","numeric-id":465107,"id":"Q465107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$46C76001-68E8-47B2-B4B0-038ECDDF855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"702d0c7e8cd80ace1a075c035af48eb7a69b74df","datavalue":{"value":{"entity-type":"item","numeric-id":1407512,"id":"Q1407512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$7C45DC25-771C-413D-81DE-30217A45D2F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$094D2534-E62B-47EE-8C5A-C404F60AA6D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"264ccd2874de70b65c9e8226185d78b9e2bc5a3b","datavalue":{"value":{"time":"+2020-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2213918$12526E42-4DD2-4C05-BB92-1C8C836ECA65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213918$9150114E-A1D8-46B6-A943-81928DE53164","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d4cd38dc83207cade1bd721e04638df52aef1dd","datavalue":{"value":"7281955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213918$B82F50A5-5FD6-464E-82FA-00400F255F9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163104295a1d9549194718c0bee6c91d1a6e7f35","datavalue":{"value":"computable numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213918$4FC2A1FF-0459-4952-AB09-15E536413790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213918$E6F43BD6-4FDD-4406-9609-9C7DA137CD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e227294eb0dc60e96eb55ab92da87064d1510c6","datavalue":{"value":"analytical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213918$D9515EC1-D676-46B0-B7EF-AA97E3919A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5db6962021eaf89aa713d4852468fcee7c2fd48","datavalue":{"value":"positive numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213918$EB322E02-0FDC-44AA-BD64-F2B9352BD6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51febf7731b10ff7bb420329c39d86a265280a8","datavalue":{"value":"Friedberg numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213918$9048DBB6-E99F-4F67-8DED-CCBD2BCA729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701bb324d5c801a6de0756bbe6584512314c3a2a","datavalue":{"value":"negative numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2213918$35F9ADB2-035A-4E5F-8454-9F2AA629DE39","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":"Q2213918$0283936E-A66F-434C-B24A-2B7873775AAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3764f2bc731922768808e396abb898aeae2c9b0c","datavalue":{"value":"https://doi.org/10.1007/s10469-020-09578-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2213918$C2ED7440-D1EC-4DF4-BF2D-C2F90BC9A1B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2282c0e0781c157ed827c936cb8b46cecc765a5","datavalue":{"value":"W3026799064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213918$62DA75FE-B968-44CE-8A5B-CED12929C781","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d746df1f347ca0cfc7ddd94e4d8a63845ce61c","datavalue":{"value":{"entity-type":"item","numeric-id":5631088,"id":"Q5631088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$1E4354C4-DDA7-4C76-88C0-3E3C2771D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7383bfcef665a48e1eb8de58f7ff59c2b47bab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2332068,"id":"Q2332068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$07A2E603-B920-403D-9573-8102FB245552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96ea77ca8ef5767dbca8864fef72a1aa27584d5","datavalue":{"value":{"entity-type":"item","numeric-id":1731525,"id":"Q1731525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$4C5A23A1-614B-4164-8A4A-0237FBCCB65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$94437584-68AF-4FE6-9A00-65704D4CA9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$47E9DDCB-CDE4-46A9-B3BE-05B1E8E4E4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$CF5CCF01-0465-473B-A207-4C4728A40C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b618cb66db84fe51222cde78ed5087a4d0863e","datavalue":{"value":{"entity-type":"item","numeric-id":5741347,"id":"Q5741347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$8CEAD85B-4905-4C4F-9DF5-5D7B8372B8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7519c3e30a52aa9033bbc119695bdff5fcd38696","datavalue":{"value":{"entity-type":"item","numeric-id":2630488,"id":"Q2630488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$E3D24251-0E3A-4786-BC56-084D2EE6895C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac45a1a5f1d8e5d5f6a48943dd5ca5598bb581d6","datavalue":{"value":{"entity-type":"item","numeric-id":4973206,"id":"Q4973206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$0C8D6935-D5C5-478B-85C5-C77D47588BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a564f19618aa010e995eb9e94d8b55ad8cf1c8d","datavalue":{"value":{"entity-type":"item","numeric-id":4795523,"id":"Q4795523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$458080CF-2CD5-41A1-B59B-EA0C839B002C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba665d6e83d3b2b1210b86bd5bc2934da7dcb1e","datavalue":{"value":{"entity-type":"item","numeric-id":5476771,"id":"Q5476771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$33B0AD62-E418-402A-BEDD-52672CB62BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83c6d4d4ece9aec6bc1c2591f7957b1029b93e7","datavalue":{"value":{"entity-type":"item","numeric-id":1617982,"id":"Q1617982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$CCF71373-9CA6-4BB8-8B1A-62AB16A175F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09379f6dcac2e776d382e07e63cbf40d4a22470c","datavalue":{"value":{"entity-type":"item","numeric-id":2709299,"id":"Q2709299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2213918$B9790487-ADA2-4DF0-8136-15F79DB9D872","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f237eb1ad0d9d7b05eff6d593f3b85fac57da3a2","datavalue":{"value":"10.1007/S10469-020-09578-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2213918$79D437D3-A58E-4057-BA72-9DD7965B5B4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8f366bb7bfbea45174af25f94932c8130596c8","datavalue":{"value":{"entity-type":"item","numeric-id":2300737,"id":"Q2300737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd90e4ff54cf698544ef53e9c679ec48bb4bd148","datavalue":{"value":{"amount":"+0.866394579410553","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":"Q2213918$16DFB5C5-B5D2-416B-94B4-3338C20A4213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8166f6aa9b9497e09f5d6dec6a075ea0fb74bff1","datavalue":{"value":{"entity-type":"item","numeric-id":695803,"id":"Q695803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982df1c4103a8908ad0857fcfea7050ddfbe21c2","datavalue":{"value":{"amount":"+0.857427716255188","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":"Q2213918$D9D7BA55-2997-4207-A9D8-588681904E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c272785869c91366f0293788965eccb210e1246f","datavalue":{"value":{"entity-type":"item","numeric-id":2003244,"id":"Q2003244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d120a6cd63c4a2aebdc3741c944cb9e1f6d0a1","datavalue":{"value":{"amount":"+0.8478929996490479","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":"Q2213918$F94D47EF-6B4D-4AE4-A893-D965252CEA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e372b30647327b962360b00c827adda659507127","datavalue":{"value":{"entity-type":"item","numeric-id":5919177,"id":"Q5919177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38acdaa17f83b6f559522f64055d3a6bca286334","datavalue":{"value":{"amount":"+0.8347371816635132","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":"Q2213918$C047BCF3-1774-4C66-A816-74CB1C288411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8bb26e2b7292f590e27fd9203211c7413e6940c","datavalue":{"value":{"entity-type":"item","numeric-id":1731521,"id":"Q1731521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15859e78ae36d1ffb6391c8861f77a2c78a5e266","datavalue":{"value":{"amount":"+0.8295235633850098","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":"Q2213918$AFDB0B73-9650-4575-9CA5-2307006455E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable positive and Friedberg numberings in hyperarithmetic","badges":[]}}}}}