{"entities":{"Q5251356":{"pageid":7280924,"ns":120,"title":"Item:Q5251356","lastrevid":58513230,"modified":"2026-04-05T13:21:18Z","type":"item","id":"Q5251356","labels":{"en":{"language":"en","value":"Bar recursion and products of selection functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6437550"}},"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":"Q5251356$125F7882-6E65-428A-B8BF-09C0225294FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1c375209e4a49d4b3883696f935839507a1cbb2","datavalue":{"value":{"text":"BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5251356$1F9D5462-9579-4F37-A7FC-45075E96BF73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c88b600f2edb72f4913a09c2df44e9c20f565a20","datavalue":{"value":"1380.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$334BDEAC-2FF6-4D88-B0AD-FF317B838DE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$E7900D97-E66F-47DD-8390-FD9914612B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$8A307CA0-9AC0-45B5-BDC7-7E3104DB6D3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"631610dccb144b2ff0a9d09f9ee858e6009e5407","datavalue":{"value":{"time":"+2015-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5251356$A1C4F570-FA0B-4456-A956-C81554CC4B30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a601e874034aaba4817e5bd6354d31c83c07d69b","datavalue":{"value":"https://arxiv.org/abs/1407.7046","type":"string"},"datatype":"url"},"type":"statement","id":"Q5251356$161971C1-B9B5-4AAF-9A28-B35A277BD1F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$A167D919-00D5-48E1-B970-0E89603AD990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$30708751-2112-4B18-9F35-62CF6C35B7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$68AE1B16-4DA6-41A4-9F0D-09A9A9EAFB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$4AE97851-67DB-460F-AAD1-5AFFEA238D5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50806a0eab8f10352f6eeca1c184dfde1e7cc487","datavalue":{"value":"6437550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$09F21F88-1116-491F-AFFF-D6CF4EBDF83B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5a119c97634fc0856f1cc84d22145988ef5cd6","datavalue":{"value":"spector bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251356$A5E54434-376F-4582-AA2C-E7D5E4F2CC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3d513b712a4b5d04046fd510738787c209bf30","datavalue":{"value":"modified bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251356$6CBBBEF6-D0EC-4DF6-B476-04C6C3F06F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526025801589f58e7606d5ea18d5b8cde00de02c","datavalue":{"value":"selection function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251356$5470A90C-5BFB-4FF5-8FBD-5B45FCE2D908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37d18949baa113f296d18b46973b5d5d5c2fe15d","datavalue":{"value":"generalised quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251356$5F92D0CC-6EBF-4C8C-99C4-B64F7E2FB0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd2c0b58e8812a21e86c41ee51775c8f0b09501","datavalue":{"value":"T-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251356$36447724-1A2B-4F5A-883C-120E9043EE0B","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":"Q5251356$2A2FFEA3-C3DE-4EFB-B50C-13BB77611498","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32815abe1b1155843b0bd708ce07d5958ec98110","datavalue":{"value":"W1995130513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$D08BAEF3-0575-4CDF-B6BF-23162892EC9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b620904076f85aac60afc82ac685ef67fae15bf4","datavalue":{"value":{"entity-type":"item","numeric-id":2910991,"id":"Q2910991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$D5E54D24-5FB6-475C-9B98-A0B8A5A353B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$F6B65BF3-3FF2-4858-B896-175A2A9789A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$B483632F-DD4B-4F37-8D20-A9CA1D5C5CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70de28c5744e3d74f5cb50c3c7187b1579dc8426","datavalue":{"value":{"entity-type":"item","numeric-id":3104817,"id":"Q3104817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$033AE077-9573-4FCF-A94D-4385AB839B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2d5cf70957811b3c1a72086f7c66b724e20b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3559969,"id":"Q3559969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$B2C7D4C2-AE62-405E-8DF9-75C4EDCED57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d8a1d1e241aced44f331721f2320ad6a6af4a0","datavalue":{"value":{"entity-type":"item","numeric-id":5481588,"id":"Q5481588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$69CC9B01-4F39-45E4-8190-AE54D9A184BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351be49573d77a34add2d2e5618ee3ac9205fdf3","datavalue":{"value":{"entity-type":"item","numeric-id":400424,"id":"Q400424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$9CB39769-B7CA-4FCD-BA01-90FA5668838B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"353ce6fcc602aefc60f07dd237eff906c90925d8","datavalue":{"value":"10.1017/JSL.2014.82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251356$70DDA056-48DB-4313-89C4-9AAE61D1270C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251356$C77F5E2F-9946-436A-8B4E-9A32488B4E0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5956087ec7c6e66f3d37f7afb5d5e842d740d9","datavalue":{"value":{"entity-type":"item","numeric-id":2910991,"id":"Q2910991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a3b801db861646e041ff4f8459b93ed8736f45","datavalue":{"value":{"amount":"+0.8354721069335938","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":"Q5251356$07CFA659-7BC3-4108-A127-EC3D1B49218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b47cf82ef6f4afa58ebc91b7702bdba05b8837","datavalue":{"value":{"entity-type":"item","numeric-id":515562,"id":"Q515562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fc628c79e51328470ea644effc518172a32057","datavalue":{"value":{"amount":"+0.8302168846130371","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":"Q5251356$288C13F9-106E-44C5-8664-43386B937F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf56209f9ca72c463c2317f60116642358a38e86","datavalue":{"value":{"entity-type":"item","numeric-id":2915685,"id":"Q2915685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6271e09cbb8b79e8c8229b3745a996a3266047e","datavalue":{"value":{"amount":"+0.8202834129333496","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":"Q5251356$84EAC4B9-74AE-4259-ABDE-BDA6767CCDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff467da82d6cced4e8f3832d43086d25fb22e85","datavalue":{"value":{"entity-type":"item","numeric-id":5481588,"id":"Q5481588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52af7626a3cb34d84354b06123985cb2a57a879","datavalue":{"value":{"amount":"+0.8142764568328857","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":"Q5251356$FF4A1387-0F98-4AF4-AF38-370EA789F4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d95a0d8019ff379587790214f720c9b0addc733","datavalue":{"value":{"entity-type":"item","numeric-id":400424,"id":"Q400424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf12e8e900dc3cd5d6b56c838ee05f07fe7ae728","datavalue":{"value":{"amount":"+0.8024033308029175","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":"Q5251356$B7612EB7-3B40-430C-A19E-392A74D32E63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5251356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5251356"}}}}}