{"entities":{"Q4254626":{"pageid":6284227,"ns":120,"title":"Item:Q4254626","lastrevid":88742390,"modified":"2026-06-04T15:20:26Z","type":"item","id":"Q4254626","labels":{"en":{"language":"en","value":"Non-distributive upper semilattice of Kleene degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310700"}},"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":"Q4254626$FC193496-EC81-4765-B0CB-5DB97B041AA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b832d92864ce295ae6f5a71db5e634ad7b7bb6b","datavalue":{"value":{"text":"Non-distributive upper semilattice of Kleene degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254626$471256D1-5F68-4DD6-9D45-6D55B812FD0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0a94851f675fda1133627f7d40cd01073e43986","datavalue":{"value":"0926.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254626$C3BF639C-5F98-4798-A945-CB7ACAE67226","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70cdb337d44e0378366ef701640310f87c56fbd3","datavalue":{"value":"10.2307/2586756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254626$77033951-5C00-4823-8E7C-0A1433BEBFFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e2ed78f8b0f3493fdb6ffa0a4dbf7ec8b6e1b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4254625,"id":"Q4254625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254626$542959B6-9A90-4315-97DC-2385D22DEADF","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":"Q4254626$4FE65432-9A53-44EC-BB92-53ADE0C0A337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254626$9910C29D-1DD0-44F3-B884-D02105B58293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254626$D9B553BC-FFDB-45B8-851F-0FFF3735C938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254626$5016A93A-60AC-4C0F-B8DF-9D09057495FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254626$517D6B02-9B6A-418A-8E17-EA9297403082","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d01061f9d8ed01aa39e4ead4e9e234963a2e611","datavalue":{"value":"1310700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254626$D14BD467-9E7F-4A37-AE29-3DF37257BDEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d451d48ec6bea33e6f5638bb74e6420fe45f307","datavalue":{"value":"axiom of determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254626$D8AAD055-EF00-4DEA-B5BA-AEAA4C7B72D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ebd1e2975a01c6515183d31ace89f137d860d35","datavalue":{"value":"upper semilattice of Kleene degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254626$8C474EF6-9402-464D-8D90-D7266F12AFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d03e702ee79e6ee5a568d6f005b9fd4b8ecfcc1","datavalue":{"value":"Kleene recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254626$A4BFE2EF-6530-4169-819A-1E177A8CCB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66472de6cd8e9a2c244bfbabc9d8d08e5d2d59e","datavalue":{"value":"Kleene semirecursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254626$BB419505-B55A-45F2-BCC6-69D1996454BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4136b67f8fef11dff1bf151dff3187bb28cd9ee4","datavalue":{"value":"non-distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254626$90731A10-76C4-4870-BFCC-1C00F136A2F7","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":"Q4254626$836AE094-D0BC-4A48-9678-EFEF472055CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727b70387db56feb001f754f4c0348ee385ee87f","datavalue":{"value":"https://doi.org/10.2307/2586756","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254626$86515AF2-CF08-4967-A81A-107DFDE2583E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02a4130edb25f905106eb8f1a39845fb19a6f5cc","datavalue":{"value":"W2010276278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254626$A4D884E7-6456-4517-9AC3-B88CE93023A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254626$1CC73BBC-D425-4706-9B8F-95F7ABC7D6E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51d68b8618244b0b53eea4148d39567cd381cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4351927,"id":"Q4351927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1b22c7992d70b8b17463cf5cfc1c2b9fb4f522","datavalue":{"value":{"amount":"+0.9143397808074952","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":"Q4254626$D03644D9-45D8-4760-8E62-C56472B33339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bb70f3b846e530d764725503a479d889c62334","datavalue":{"value":{"entity-type":"item","numeric-id":4935741,"id":"Q4935741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3380edcc05e19d1a34b6215332ff9c76b60168","datavalue":{"value":{"amount":"+0.7759618163108826","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":"Q4254626$B1F0C311-EAC4-4209-A7A2-169AF7537A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea4fb6aab73f47dda50cc9d0b6adfa316e04201","datavalue":{"value":{"entity-type":"item","numeric-id":1902712,"id":"Q1902712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a02a558112210a8cf66d3521dee0c430ec9ffcd","datavalue":{"value":{"amount":"+0.7718726396560669","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":"Q4254626$E2E2EECD-6F3E-44D5-9DEC-C734A818C7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6faa877f2ea44ce7c5c69787bda7f529e2aee2d6","datavalue":{"value":{"entity-type":"item","numeric-id":3029002,"id":"Q3029002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6328b9db2bc28f8920cd9a32510409bdb38e8b","datavalue":{"value":{"amount":"+0.7630817294120789","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":"Q4254626$9702E104-D8E6-4D54-B0AC-DA09E797A7FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-distributive upper semilattice of Kleene degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-distributive_upper_semilattice_of_Kleene_degrees"}}}}}