{"entities":{"Q5015728":{"pageid":7045305,"ns":120,"title":"Item:Q5015728","lastrevid":57099351,"modified":"2026-03-26T15:23:39Z","type":"item","id":"Q5015728","labels":{"en":{"language":"en","value":"Ordinal analysis of partial combinatory algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7442023"}},"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":"Q5015728$1236C5FB-7A11-4148-A348-6758C1099F2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"873746917990b8998e3a11804d4cd0a7a500bd4d","datavalue":{"value":{"text":"ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015728$FAD5A979-ECB7-4E98-85F7-B20B30A72054","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e534880849b93db09a5c4bf78c5b4ca1b817f6f","datavalue":{"value":{"entity-type":"item","numeric-id":283111,"id":"Q283111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$33BEC9E1-2186-494D-9CF4-8F9FC22DEA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1b56d11bf58160c554d30c20f124cbee3f9201","datavalue":{"value":{"entity-type":"item","numeric-id":412012,"id":"Q412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$E3116F4C-EBD1-47C7-A2FB-045DEF84E00A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015728$70C050AA-257A-4EA6-AD0B-1E691FC68F44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc8660aa021ce8722e1756684064daafca5585db","datavalue":{"value":"https://arxiv.org/abs/2010.12452","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015728$0F3E9FBD-5D4F-412B-9DAD-9D2223E4CC42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015728$EA2A7642-ADDC-4B0A-A7CF-8376DC4C0907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015728$48CF0C89-1462-4A20-A331-4762C80E951D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015728$CB17D1EA-8B7C-4FB9-9226-6689AA34A9D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0fce52cba75816dc12c7cb35d6b93f941c431b6","datavalue":{"value":"7442023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015728$41A3CDFD-39C2-4CF8-840B-5A7F2789C38A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c95942ab172c120cf5c0a061ffa7c68c666aad","datavalue":{"value":"partial combinatory algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015728$8D803492-D1B0-4D37-9BCE-E62DCE46CDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015728$F24BC38D-1E8D-4EE0-BB0F-581354C98E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b837f705758d854f5464cc4fc37be56122bc1282","datavalue":{"value":"hyperarithmetical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015728$91841375-5CC2-491C-A052-D6DD7A75BF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015728$FA00F590-AC83-462F-8275-22F78B87888A","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":"Q5015728$3A671876-0415-42A0-A784-05251C88289A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4f0fe867dffde108de0088b6a61db255bf5ba2c","datavalue":{"value":"W3171268278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015728$AB717727-8EBD-4A5C-8948-8F6A1D33382E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$800D9883-0BBC-482F-AD56-B2AFD6F9B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47076331759f77e665da9abbdf840f7a533543c2","datavalue":{"value":{"entity-type":"item","numeric-id":2311209,"id":"Q2311209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$F352798F-14A6-4D2F-91CA-4E4AF90D6584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$E8250532-4C66-4089-A185-40A5E73930BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$2D66808D-8871-457A-959A-CCB6DC2C5A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef547918322aa5df163a888d528c53ec49ae3604","datavalue":{"value":{"entity-type":"item","numeric-id":3787976,"id":"Q3787976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$AE7ABDB1-F313-46C5-8F03-6505F06D284B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546f2d44d53392d4f6f9a93f5cf2337f441d76de","datavalue":{"value":{"entity-type":"item","numeric-id":4111547,"id":"Q4111547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$C9D08058-EC50-4D9E-A669-1B62A2D88E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740895d5109dff86c7f5d44943156f3dcaf3d6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1295386,"id":"Q1295386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$9D5DA120-F791-4715-8210-B5DCA2A6F401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$181810D8-4701-4338-9419-E9BE49452BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af5363882d62f29aa1051703777357252de619f","datavalue":{"value":{"entity-type":"item","numeric-id":1430995,"id":"Q1430995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$13E9B87E-D3D3-4023-BF98-19161DE44BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$AEB25689-2DD7-4FFA-9325-730D43C122CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$89FC0098-C715-4D7E-BA42-88F44710C1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$9B2081EC-EA5E-41A8-A7DE-45CEF2AFAAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$5B59A2EB-A0A5-44EF-9B1D-0200F3F7AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4728bbf4ebc73968509cfad0b519e5cc921654e8","datavalue":{"value":{"entity-type":"item","numeric-id":5718664,"id":"Q5718664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$5E55A5A5-722E-4073-B4A6-36DB76392EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00725b4eeb8205e67edf7ddf1d9c4ba947e9cddc","datavalue":{"value":{"entity-type":"item","numeric-id":3305318,"id":"Q3305318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$CF780A0C-94F1-4DAF-B0AC-C639B025D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$143BAB90-5A9A-441E-AE31-DE393D391D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d42c7fe9e08e949535125d9db7f6febeb811e6","datavalue":{"value":{"entity-type":"item","numeric-id":866493,"id":"Q866493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$E9324701-3ECD-4CBF-8582-88E3479E07E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$377E11A4-29D2-45E6-A53C-BE50AFE16392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$E7720C7B-E32E-4EDB-B9A9-F2A7DCE1D192","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":"Q5015728$F1932531-0D75-44D7-90D8-DBFA6F014285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$08B5C59E-94E8-4CF7-BAED-0FCB452F5A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453f8a79df3d183d0b1ce6ebed18dba7a8e4ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3227571,"id":"Q3227571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$E5C8165A-A6E1-4E0F-B7D3-A89CF8ADFE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$A8CF11E0-7DD9-4E07-9A0C-08B7889416C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e006647b4d163ed80975228b7c662b63377fa01","datavalue":{"value":"10.1017/JSL.2021.50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015728$177A5D9B-C2DD-4176-ACB1-71FD9EA3291F","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":"Q5015728$71204473-D2E3-4176-846D-2F36654E74AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2613c3e87d01a11ddc30b28a2042faccc25e1283","datavalue":{"value":{"entity-type":"item","numeric-id":3787976,"id":"Q3787976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e847e676a06ba8cbfb58d06da867e3d9544b1b","datavalue":{"value":{"amount":"+0.7785869240760803","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":"Q5015728$028C490B-74EE-4F76-BB85-D2DCF628AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf12dea13b43bdc5eaac6a903d35521a2552843","datavalue":{"value":{"entity-type":"item","numeric-id":4984865,"id":"Q4984865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b474e706c1bf385f141e62c08a61c78fddfe0f","datavalue":{"value":{"amount":"+0.7746561169624329","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":"Q5015728$5F2FF604-430F-45A0-94C6-3C61DE29FC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978871a63ceef4da987332db8d1687bff3ac84de","datavalue":{"value":{"entity-type":"item","numeric-id":1688948,"id":"Q1688948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b3673fabed481a2cbcc884ba9415c5e6f9a323","datavalue":{"value":{"amount":"+0.7634336352348328","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":"Q5015728$97B84BB4-1C52-4EE1-B05D-47334EA7A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77204bac7eeeb14f5507d487474f2f9d42d5463","datavalue":{"value":{"entity-type":"item","numeric-id":4922121,"id":"Q4922121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfa79032122ac931912311ab3e37ae5069b5ebd","datavalue":{"value":{"amount":"+0.7583936452865601","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":"Q5015728$63228758-0FBA-40B0-858E-20D2BCA9EB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f68b1db2f41f8888aac6967e6d605660656cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2105095,"id":"Q2105095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cee2c85e85b04aa71daf2a42cb2596ad4e4a10","datavalue":{"value":{"amount":"+0.7558645606040955","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":"Q5015728$39BDE7E9-0128-4348-859C-B2F07325B6DC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015728$C4FCE141-A29C-480E-9042-476EBFFE7E3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015728"}}}}}