{"entities":{"Q818514":{"pageid":820362,"ns":120,"title":"Item:Q818514","lastrevid":64570500,"modified":"2026-04-11T20:47:08Z","type":"item","id":"Q818514","labels":{"en":{"language":"en","value":"The Medvedev lattice of computably closed sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013635"}},"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":"Q818514$144CC34E-5A47-4D08-A8CF-0792EEE0F1A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92a842f0152cb58316ae54040ce9119ce2da9d6d","datavalue":{"value":{"text":"The Medvedev lattice of computably closed sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818514$1F1460E3-B3A4-4168-BEB9-5AF84D565938","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9db014f981aaf444a4963eec556e6d7d86200c79","datavalue":{"value":"1090.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818514$47B102BB-3373-4443-AA73-10967649AE2F","rank":"normal"}],"P16":[{"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":"Q818514$1BBB1A37-FDFE-4159-A198-A8330DFED2BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$260FEBD7-8396-49A2-A4F8-39470C53C57B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"772948f2487b02c578217863cb0a65a1011ee253","datavalue":{"value":{"time":"+2006-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818514$966C7219-2CAC-4CA7-88E9-190BC9575C9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818514$A6F22471-BCF6-48EE-AC22-096754B044CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818514$709BD15C-6252-47F5-8215-9C4915D03910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af505fa3eaf1495e984936d5e38ed9b1352b300","datavalue":{"value":"5013635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818514$3DACD866-6DB7-492F-AB37-D79EBEDE6AD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17866a848f6ccf1481c171a51ff33327894d4f8","datavalue":{"value":"Medvedev reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q818514$1D61F0FA-B1E5-41F0-8D32-206F67523838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q818514$9703D78E-F4A1-4D84-A50A-B2B683567A3F","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":"Q818514$093C62A6-579F-4641-9DA5-4CA14B480F02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c82283e0e30655e509b231d2d47a90bfecf4e61","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0278-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q818514$6E080902-457B-4BEA-AB2F-A52654899F75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea0f354b996f2b2bd7403bcd212d7112c21e1fa5","datavalue":{"value":"W1986089430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818514$82382C3C-A6DE-4BA8-963D-B43706111289","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$BABBFC88-A07A-40C9-8075-E91433BB7975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffedddb6f293e27acd2bd482492b17ada9c7c2aa","datavalue":{"value":{"entity-type":"item","numeric-id":4419261,"id":"Q4419261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$2D3DD0F8-04C0-48AB-818C-5A57341FC27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c4b7dc773f2cab6f4a09074f0a20e9496c47e","datavalue":{"value":{"entity-type":"item","numeric-id":701736,"id":"Q701736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$8000928A-8B5A-4DE4-8B92-B707D8B3E9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a20f12a74f14830dc0b5eb24b309dd30cff81b","datavalue":{"value":{"entity-type":"item","numeric-id":4934277,"id":"Q4934277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$4AA079C9-A907-4D14-8A01-98BD8E3FA09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79fad86482c3e0239b0aa56ae74cd34945d945b","datavalue":{"value":{"entity-type":"item","numeric-id":1407612,"id":"Q1407612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$7D6FBB24-B498-4510-8D98-17F762E4B55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf67e5c77bdefcc878c1a3ad7fdf95f68a51bea3","datavalue":{"value":{"entity-type":"item","numeric-id":2534881,"id":"Q2534881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$9BAD5F8E-925D-40FC-B69A-2E265DED4857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$925D544F-E37B-47BF-8F29-DE4CBBF387B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$8AB8111A-9586-40B2-8E15-2F50CE2A9627","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":"Q818514$DD00F223-BD57-4215-A2B5-33ADAEA4A087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$A28D2333-7842-4A86-8EAD-3B19205C6CB9","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":"Q818514$4840E938-BB78-4BBD-A5A3-78FDBE317131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85af925e3d081184ee15c262fdb4ccc39a0aa6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3794148,"id":"Q3794148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$A998D1D9-6B79-45B1-8549-A62380E4E40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdf38218d2fe682a7987d3693144c71ac5ae3c4","datavalue":{"value":{"entity-type":"item","numeric-id":3481688,"id":"Q3481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$1E6590EE-B1BF-4B54-83E4-22C0866A8A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164423293cb6a7e75f2cbad09671c93bbf045011","datavalue":{"value":{"entity-type":"item","numeric-id":1812988,"id":"Q1812988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$B0434A2C-45F4-4EFC-89E3-7B9FCC1E5872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998be4425e6a6a1694b08cc8325272a445716ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3480025,"id":"Q3480025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$65945723-6072-4310-AEE5-40F6D81D3521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ff3ee344aec79594763bc8e30b4387c6e576b5","datavalue":{"value":{"entity-type":"item","numeric-id":4863250,"id":"Q4863250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$1279F3D1-7096-481A-B0FF-D0563029EAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1af0cae93941d2a6897f0d3e6e81d4681c0223c","datavalue":{"value":{"entity-type":"item","numeric-id":3418262,"id":"Q3418262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$78F8846B-0B0A-40F2-B5D1-F5AC978BBDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8e6a489a21cae1b2fbfaef62c865f7b53e67e6","datavalue":{"value":{"entity-type":"item","numeric-id":2505132,"id":"Q2505132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818514$A1894646-82EE-44CE-B837-EDDEAE9B3887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b839ac2b21c1f46957fa24ce6ee2e75273f32980","datavalue":{"value":"10.1007/S00153-005-0278-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818514$7A44EFD6-34C9-4321-B304-77039EF1B214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc22543ef32b632b16450a090c5ec79907234a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1407612,"id":"Q1407612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6412d0d2a47c9ea375ec613ebf05760ae597f60e","datavalue":{"value":{"amount":"+0.8194090127944946","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":"Q818514$A9933CAC-2377-4810-B0A1-05358A843D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7e92d0a446fcfb18fa6cfb70ede7b6b183f9b5","datavalue":{"value":{"entity-type":"item","numeric-id":408163,"id":"Q408163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532d3d26d568ffc6e27d1f5f84f8f12e5abc1fa4","datavalue":{"value":{"amount":"+0.7952052354812622","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":"Q818514$22AC3C11-94A1-4506-8A72-6A6BA85A936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd31fc8248caac497903ee29afd07edda0e6c21","datavalue":{"value":{"entity-type":"item","numeric-id":2505132,"id":"Q2505132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7175ac9c86f216a7e7a19a217e4159756fb89748","datavalue":{"value":{"amount":"+0.7944430112838745","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":"Q818514$DAFB6219-FCE6-4134-B7E9-6CE5011BDCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1dae0026f0989344405147591e0fbc262b907d","datavalue":{"value":{"entity-type":"item","numeric-id":535142,"id":"Q535142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56362858901450005943c1da25a66e886d811412","datavalue":{"value":{"amount":"+0.7900689840316772","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":"Q818514$7398598B-BDCA-4BD2-AC8A-0CBFD7D24783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38410a735bdceff5dd8686b070ef2402fbe7854","datavalue":{"value":{"entity-type":"item","numeric-id":409326,"id":"Q409326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51075abb3926ef3c0ee5e3d9c0c3bb2472b3a030","datavalue":{"value":{"amount":"+0.7870101928710938","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":"Q818514$B4B925B2-632F-4623-AD20-CD6688DDCAD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Medvedev lattice of computably closed sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Medvedev_lattice_of_computably_closed_sets"}}}}}