{"entities":{"Q2987062":{"pageid":2997786,"ns":120,"title":"Item:Q2987062","lastrevid":85742816,"modified":"2026-06-03T11:20:54Z","type":"item","id":"Q2987062","labels":{"en":{"language":"en","value":"KBOs, ordinals, subrecursive hierarchies and all that"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718427"}},"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":"Q2987062$03A857F8-CA5F-4100-99E3-836F49815277","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65e6dd289c81a5177a66e83b939ef71ccdb761ec","datavalue":{"value":{"text":"KBOs, ordinals, subrecursive hierarchies and all that","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987062$1BEA8923-FE6E-4BB5-9EB8-5A530AE07141","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f75aee4c242b707eec83b53ec26812f44294739e","datavalue":{"value":"1361.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987062$5CF26F0D-4553-4080-8D58-C02C40F16137","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987062$464D622D-6714-40B4-AF62-EB66D890FFC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987062$F57819E2-0E2F-42C2-B2D1-50EA38C3CA91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ac5826fb5424b86bc4df7fcbf2987e872a1c840","datavalue":{"value":"https://semanticscholar.org/paper/6c2e00855a42078012df5d250aa3731598088453","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987062$CFA5EE64-18D2-4837-8016-90F339062906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987062$79E4E55A-FF53-4CCD-AF17-2058490521A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987062$9F14C250-5F32-4B07-A892-216F88E4E3E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73d1d6d4e30de22ba3aef0b2d4758c9975a42c31","datavalue":{"value":"6718427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987062$E27CE407-7784-4692-AF73-659947994242","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbbb0bdbdd9e2a3f476377ea078af50060c082e","datavalue":{"value":"Knuth-Bendix orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987062$5978B6E8-9E65-4C43-A4FD-409C01791425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987062$15479026-4F3B-487A-BA32-F1BACF4D852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d461805d64b72887f40e33e89d369bb84a22547d","datavalue":{"value":"term-rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987062$8C3EBAC4-B256-4C8F-AF76-749C542A1DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a69f0df29fc376f8cab44fccdf78726d7e892b6","datavalue":{"value":"ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987062$809C1772-F9D9-4B58-875D-2FD93B86902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556545c10c874235d11dac3140a240f6dd7c969e","datavalue":{"value":"subrecursive hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987062$3FC3B95C-CEB8-4D44-9644-FC37734BB380","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987062$AB617F7F-0155-46F0-AAB4-7DA881D4C494","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":"Q2987062$21497E16-83C0-403E-ACEA-639C97EE13D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a70ad8a2e1800b4465b7c150105cbf71c789ec46","datavalue":{"value":"W2144278562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987062$A30022B0-1627-4358-B7A3-74B293A25A5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d99e8998250ed9ba89dfcd3be430b579ad40be0c","datavalue":{"value":"10.1093/LOGCOM/EXU072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987062$7D26349E-ABD4-4411-BE45-D7CE6567A7BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4208ca7497ec444bef5c405d12efd68902fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":3028996,"id":"Q3028996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eb889b2948713a886819c27a7f344ff1c00095","datavalue":{"value":{"amount":"+0.8327028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$40925451-71C3-47C2-A57B-F7CDE4ED7C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed13585ca478441d4883e419673f20768bdffcf","datavalue":{"value":{"entity-type":"item","numeric-id":4934284,"id":"Q4934284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720bbafff6aba8223050ffee88289b2a14415d6f","datavalue":{"value":{"amount":"+0.8175128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$3EACB17F-A064-4E93-99FF-627ED8BF40ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89a079dbd519a8a39a7e225af5d09ec2d1cf4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1275068,"id":"Q1275068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7461a36e8908bc1eaca6f8c409ddd3489752c30d","datavalue":{"value":{"amount":"+0.8171118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$1F260364-51C8-4195-8EFB-D2F3DE940C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8c3109f53ace7b8e3e32a43d8b950d3f516d14","datavalue":{"value":{"entity-type":"item","numeric-id":1335905,"id":"Q1335905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae832c7b2a0dc71e5f2694ba51d5c7b8a36ece1","datavalue":{"value":{"amount":"+0.8162596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$A6B2011C-B62F-47FE-B734-1D33521A37FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f5da14863cbf3d0dab9cb5bff2f7f7e025c740","datavalue":{"value":{"entity-type":"item","numeric-id":3030812,"id":"Q3030812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87fc84e055aeffc5d7034a9623d25047460e882","datavalue":{"value":{"amount":"+0.81337476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$719712A9-9E14-42E6-989B-DE64F866085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe43c670c36103a6c31cb5ea6f99550ce733a07","datavalue":{"value":{"entity-type":"item","numeric-id":4304113,"id":"Q4304113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c329b84052cab8c380989de7c9e019355e20b3","datavalue":{"value":{"amount":"+0.8107643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$5B21D7B4-E62A-4A9C-8DB5-1059B072D858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7652357e77a1571122db1de57d47e89f772e8","datavalue":{"value":{"entity-type":"item","numeric-id":2891472,"id":"Q2891472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2e441960d03284c30a0955bacced2978a4ca23","datavalue":{"value":{"amount":"+0.8099895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$61235EAC-910F-458F-B099-3A4C00A400BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25daef25126dc5b4e0aeb99f071b47cfe363a307","datavalue":{"value":{"entity-type":"item","numeric-id":3794172,"id":"Q3794172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c65445c72819c865f8c9748231d1440eee44f9","datavalue":{"value":{"amount":"+0.80903715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$DE4AD08E-A45B-4A76-BA20-98F0D8053FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bbdb12aa386ffa3dc84f6482ef98eb6501f2b5","datavalue":{"value":{"entity-type":"item","numeric-id":5884956,"id":"Q5884956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe642bd2784637fd3a8e1a488ccf6fc09b139a99","datavalue":{"value":{"amount":"+0.8088621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$649D99A9-F2DA-4CEF-B6A4-A8C748542B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7afeb5e6e6cc8d88de254a6cef99665bf629aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403201,"id":"Q5403201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e618445c7fc47280bf171af0490925fe0c92266","datavalue":{"value":{"amount":"+0.8073312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2987062$2C03CB03-E9BB-473E-9A0A-E265A3981832","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987062$6F335CC1-D5F8-437A-9290-CD62A24E01D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"KBOs, ordinals, subrecursive hierarchies and all that","badges":[]}}}}}