{"entities":{"Q412013":{"pageid":413780,"ns":120,"title":"Item:Q412013","lastrevid":61656114,"modified":"2026-04-11T00:46:00Z","type":"item","id":"Q412013","labels":{"en":{"language":"en","value":"Intuitionistic logic and Muchnik degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6029771"}},"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":"Q412013$51BD5F48-449A-4EC3-8840-6AF81066D6BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7bed42d4ea90495ae2e148439a7964e77b70090","datavalue":{"value":{"text":"Intuitionistic logic and Muchnik degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q412013$3567F787-58AB-4C58-8CC2-875FF2D5EA0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2785524f238af1e52c8474fe03ba9c9c22dc805e","datavalue":{"value":"1252.03101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412013$394D55E2-F262-4953-B158-49D50BB9EF49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb78a179ab7f7671775d8afe3c2e6cdc5cf26c4","datavalue":{"value":{"entity-type":"item","numeric-id":242615,"id":"Q242615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$52DDE65C-093A-4404-8362-17ECE58C2963","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":"Q412013$09AAABB4-82D6-45C0-A4E0-46C68295FB58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$53843615-A9BA-4C21-9614-4347A8BACC65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97df402d3a91ac31bfea85893aa349af566173be","datavalue":{"value":{"time":"+2012-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q412013$DA6E036B-F51D-4356-8105-E2295ACD8901","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e782583f14ca9a8c3bb4676037d75a53729670d","datavalue":{"value":"https://arxiv.org/abs/1003.4489","type":"string"},"datatype":"url"},"type":"statement","id":"Q412013$2CC9BCFF-4477-4F04-994B-16BD983CFE08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412013$614CD9ED-6C53-4D95-B803-3857D53D54ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412013$AF4E7434-ED27-428E-B4C7-CED07F333727","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"493e2750b68e0e6458e92d7b30ae9f955edf11dd","datavalue":{"value":"6029771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412013$81EE3489-9765-4569-ADEE-BD68FD1522D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca92db9d315a3056fa79f960c04af98fa0003f3","datavalue":{"value":"Brouwer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q412013$35C722CF-A6AF-44E2-B56F-B23886D93C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250acc0948c2f8fa40efde32e791b6a565cd246c","datavalue":{"value":"Muchnik lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q412013$CC843585-877F-45C1-9560-129CD0525CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q412013$158574B3-35BF-409F-9234-7AF3D443B75C","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":"Q412013$A7ACFA26-38A7-4875-B6C6-C892C6672044","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"232d307b4e53c18a373d482c0e0658ccb5b51125","datavalue":{"value":"W2111939197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412013$FC6D0BDA-E8AF-40F8-ABCD-83981E60B7C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$6B78D250-0B81-4F33-B7B8-8B1C27D0F2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be90c036b9866063421eeee88537ad540e758dd","datavalue":{"value":{"entity-type":"item","numeric-id":5502720,"id":"Q5502720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$4244CCF6-64D9-4CDA-B696-92A0FA81C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58bcd6186558a372ee5a60748dadd758d337f40","datavalue":{"value":{"entity-type":"item","numeric-id":5579000,"id":"Q5579000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$2B304E1B-90A6-4854-AC1F-02B537A837FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae22f59a9d8b372dac8852ad5d55e32ad5b3521","datavalue":{"value":{"entity-type":"item","numeric-id":4133961,"id":"Q4133961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$78FF8BEC-0A30-4E24-8AD9-BEA30AC9AA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$2EDE46E5-BAD7-468E-B3A8-8B103BFC56AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$1BB065EF-7173-4626-A9BB-FFBC074FE541","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":"Q412013$04A655F8-4672-45BC-B3D2-284C0474B2B7","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":"Q412013$8E4113F1-770A-4E1D-BA31-6356E6479D43","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":"Q412013$F759F323-86F3-43B1-8B11-F346A0E88A19","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":"Q412013$92F8F9A5-78A2-4C8F-9F53-E59634E08793","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":"Q412013$CEF5F787-B20C-4770-8B7D-2D838671B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727f1d430ad6998fe198db28267ceafd5a86d4b4","datavalue":{"value":{"entity-type":"item","numeric-id":952483,"id":"Q952483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$C5126057-AFA1-49AE-9B94-D28A82986EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e480091834b80af93be87d520dc5ee62325e01","datavalue":{"value":{"entity-type":"item","numeric-id":1165841,"id":"Q1165841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$F7363508-5813-44B2-9B60-91A788D21B1B","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":"Q412013$FC1FEE15-7F52-49A2-B1DC-1EBD00DC502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3aff0adebda1386ea31cca356a1664f1800ecd5","datavalue":{"value":{"entity-type":"item","numeric-id":5390250,"id":"Q5390250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$A261FF04-FE46-44A9-B942-782A8578B3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8e02cfe97cc01f6f17cf6355854c168f0a78db","datavalue":{"value":{"entity-type":"item","numeric-id":5518356,"id":"Q5518356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412013$D79639AD-0E90-4DF7-9756-8C73D0196A60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a63672c3ea40413cee5c52c2562684e8a7c79ea","datavalue":{"value":"10.1007/S00012-012-0176-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412013$3C80D39F-8368-42CD-A621-6E852F46E89C","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":"Q412013$BE580D9E-C034-4236-BBFD-781A20B3B506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic logic and Muchnik degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_logic_and_Muchnik_degrees"}}}}}