{"entities":{"Q897478":{"pageid":899326,"ns":120,"title":"Item:Q897478","lastrevid":57207945,"modified":"2026-03-27T11:44:16Z","type":"item","id":"Q897478","labels":{"en":{"language":"en","value":"First-order logic in the Medvedev lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516812"}},"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":"Q897478$7781EF06-23FF-4E22-A798-B49AA58426F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ee4554f1dc0153b19114ac94fe158f67059c9d5","datavalue":{"value":{"text":"First-order logic in the Medvedev lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897478$80DFAC4A-1A28-4ED4-8DFC-77CF82B23E70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1211b623e79c5955b4a9a1b3773f1f223b836cd8","datavalue":{"value":"1378.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$DC064034-80CB-421D-BA3D-7D7A66C9B460","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5d88debce42ef8e4a29754bbee78fa1af5bf088","datavalue":{"value":{"entity-type":"item","numeric-id":385808,"id":"Q385808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$FAE19B80-E2D0-4B63-873A-CA5C692F1191","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$3434CBCE-290E-49E1-AFCF-325E20FE541D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897478$8AD27805-76DC-4C1D-8460-0B47E3A17196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ea20e031bfec6ae78bdf9d642c9cb93e915ebc1","datavalue":{"value":"https://arxiv.org/abs/1408.5311","type":"string"},"datatype":"url"},"type":"statement","id":"Q897478$BDA52D7A-F602-4476-B974-169682AFDD65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$5C93A24B-4394-4996-B3F1-88564415C755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$E8BD20CF-3DB2-4BD4-9345-122DDA523645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$2CAAAD8B-D966-42B3-8A51-B84C56F34069","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0eecdc9979e98a7bb80be0242391b9d1f6b822","datavalue":{"value":"6516812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$27981061-6A14-4639-A4FB-AE747FBFA18C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a92495392bed52e1f223f3d58a2e579dc55ffbc","datavalue":{"value":"Medvedev degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q897478$EFC24B0B-C406-4520-8D8F-5988138C36C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897478$476F7862-4704-49E4-B613-6604FF145E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897478$91475BD0-6935-4B6E-A01E-38B4CCAECE94","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df24950d864dcc54a658db6ed069a28782a83b2e","datavalue":{"value":"Q59431839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$FBACD685-B9B5-4471-B8F4-E24C2779814F","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":"Q897478$8C6AFC5B-526D-4D65-820E-08EA508059B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b5e470e5f5818aa27847050c3c51cec9d16fb4b","datavalue":{"value":"W2130837870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$DE32849D-E948-4297-AC3C-08A9021988F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2338c71ce982b057a2449c0603a33df0f5dc8f72","datavalue":{"value":{"entity-type":"item","numeric-id":2799749,"id":"Q2799749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$A40B816F-68C2-453A-8180-DCD2C40DB9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$A310580E-8608-4D28-9CDF-255ABE556729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0f7ac82b9ce598159a34df89843e2bc6dc1ade","datavalue":{"value":{"entity-type":"item","numeric-id":4093415,"id":"Q4093415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$6805839A-7662-4EED-93DD-F28D98657968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$F9DB6C99-46CA-40C8-AB54-DBA15B7B0A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e72b18c6587c63a6b70ac6ef2177809c684380","datavalue":{"value":{"entity-type":"item","numeric-id":2893281,"id":"Q2893281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$BFF2D3C9-10CD-4AB0-BD9A-66B6C31829EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008e8f2c207ccb44e7bb3f9b0014cbd1b7f40944","datavalue":{"value":{"entity-type":"item","numeric-id":1271561,"id":"Q1271561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$4CFBBB1E-D702-45FF-9362-CC1A8D1324E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd45668f5c7df10e41357180dce692a684f32ed","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$D8DE123F-1D29-47D8-BBC2-71FC4EBE2C97","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":"Q897478$35C8A6E5-700E-4AC8-B2E1-720EC3C9F8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7d3938191910b4560c168a326b0febb423bf4d","datavalue":{"value":{"entity-type":"item","numeric-id":1565791,"id":"Q1565791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$203654D1-460A-423E-8822-A36105B73D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6762b08338005e2ecd85c03ec8e8dd822d8b28","datavalue":{"value":{"entity-type":"item","numeric-id":4000005,"id":"Q4000005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$5FDB45FB-C0BF-4DB1-8344-7F16B46411A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a31b5649379c2ec024bb3057b4763138d9815","datavalue":{"value":{"entity-type":"item","numeric-id":481874,"id":"Q481874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$C72F9DFF-5E69-408D-B3C7-BF799BF0028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$325B71E0-C12D-4DF2-BD3C-EC35082857AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e83d58408432b2faa8b3a69e5e6f4b630c4531","datavalue":{"value":{"entity-type":"item","numeric-id":5848894,"id":"Q5848894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$2F593676-59E6-46E7-BF97-1A4B39285FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9518dd7f95b2c4defe343ee2db5f10db3d13b99","datavalue":{"value":{"entity-type":"item","numeric-id":3146242,"id":"Q3146242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$31A472AF-5A14-4753-90BE-A47BB2318D56","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":"Q897478$11A605C0-B826-4560-B417-82DAD954A878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$D3F602D4-A59D-4510-A72C-F1D57F796425","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":"Q897478$9B3DF08A-9831-4BB4-9713-3678909BCCB7","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":"Q897478$C2CB258A-97DE-4038-B6EA-F9A83FDDA173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897478$5E17EDE0-1694-4B6A-B042-3876564C4B15","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":"Q897478$DD211A1E-F4F5-4C35-85F1-9A3640653F68","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7aeedbd43a40c467cd7fa169c65a7285d17bdb32","datavalue":{"value":"journals/sLogica/Kuyper15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$61E465CA-6B5C-4433-A466-17DBE6426EAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3bce71f77511f35c0889237fcc1fe2d7d12f980","datavalue":{"value":"10.1007/S11225-015-9615-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897478$1C9217FF-7707-48C6-A919-EB87588CBCA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc1a9d6be4795a4600d688c3cd68e23baf57ebf","datavalue":{"value":{"entity-type":"item","numeric-id":952483,"id":"Q952483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3884cec6821ac09f1e1ea2fdda9f04160241d5c7","datavalue":{"value":{"amount":"+0.8073516488075256","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":"Q897478$6B044F64-82A4-41F6-B57A-DF7287FFA3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd2a9cc7afb2427baa828a682b4aaeb499651a3","datavalue":{"value":{"entity-type":"item","numeric-id":3794148,"id":"Q3794148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07247ab03bf6b931379920f6821245bc0f8cfe6","datavalue":{"value":{"amount":"+0.7987238764762878","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":"Q897478$6D0B6CE0-F975-4CD6-B0BA-E05D1BF0BDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3707f1471385f1e74008a81e1f10714480571fb","datavalue":{"value":{"entity-type":"item","numeric-id":2799749,"id":"Q2799749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f70940b134004d998d3de9b9cb6a2609997f808","datavalue":{"value":{"amount":"+0.7670440673828125","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":"Q897478$8D5F0C02-DF79-4242-95F4-0D674F5780A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723ef59a653a803258a6fc03ee43f8760e561795","datavalue":{"value":{"entity-type":"item","numeric-id":995672,"id":"Q995672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7a54a142fc751574f4f6ca5da637bb0776d1d0","datavalue":{"value":{"amount":"+0.758289098739624","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":"Q897478$25B9523A-874D-4496-8E7E-32921CCAA0E6","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":"972263f56c67fd3e4ccff94753ff44f8e6491b0b","datavalue":{"value":{"amount":"+0.7485990524291992","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":"Q897478$4043485B-5F85-4E6F-BA9A-A81E92A48095","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":"Q897478$A351CDF2-47D9-4EEA-B2FE-88E9B5A6662E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897478"}}}}}