{"entities":{"Q2276947":{"pageid":2287690,"ns":120,"title":"Item:Q2276947","lastrevid":49478113,"modified":"2026-01-07T05:39:55Z","type":"item","id":"Q2276947","labels":{"en":{"language":"en","value":"Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193649"}},"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":"Q2276947$80EC9CD6-926F-40CF-8CC7-D0AD23275A09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c2cf499efedacf95a9588fdb803d1c82c6c1e7","datavalue":{"value":{"text":"Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276947$B2A68829-3492-443D-841D-09859057C3B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a79793c231d4f3ae9980dfdd34b4a8d13e8e744e","datavalue":{"value":"0724.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276947$8BB6B03D-E7E1-45F7-9EEA-33DE3D8BF4D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa3b114aa1e15f54f876c2576fab2a8b1ee5bffd","datavalue":{"value":"10.1007/BF00370370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276947$597F3389-CE50-4E22-8604-8740431450B5","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":"Q2276947$04BDE1DF-E317-43B1-87E7-CDAC6671A01D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2276947$2F931E15-602A-44E5-8E72-7D0A5F95BEA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24616ac381831aa18c5404d074cb2de6131e2f66","datavalue":{"value":"The author considers modal logics whose intermediate fragments lie between the logic of infinite problems and the Medvedev logic of finite problems. There is a continuum of such logics. He proves that none of them is finitely axiomatizable. The proof is based on some graph- theoretic constructions (operations on coverings, and colourings).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$6FEE27E7-ECD9-4870-994E-56745BC8BAB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276947$B3A866CE-3B6F-42A6-876D-822A0D145D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276947$AA738E4F-569F-4C53-BDCA-797DD4E2F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276947$2771B6DF-6D3C-4336-B52B-FB4D7229ACEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad5f222e3fa26c9afee5bee5bd17af2239209fe2","datavalue":{"value":"4193649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276947$59255D08-BBFA-4CB3-AEC9-90882C7CDEED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789b5adc82e1d0fba899e282692cdcf9f814b661","datavalue":{"value":"Prucnal's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$42D76B58-58A4-4678-9ACF-5045C9A1AF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$956A538C-D996-408B-A028-07E9AE7241CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e2bb02f9faab5fe0028e388e9495047baa5f71","datavalue":{"value":"intermediate fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$A489E6A3-214A-456F-8FF9-3B7CFD120D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2091eef8569c9cfc8bc6f462d08f90569e46dd7","datavalue":{"value":"logic of infinite problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$6C85D8A4-00D0-4152-A103-CA45F98615CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f63b376c12378f657cae58372768d364b2a25e8","datavalue":{"value":"Medvedev logic of finite problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$A5EA41AB-858B-4DB7-B80A-29CB541305D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ca513d79a42851dc819987381fef83d86117ab","datavalue":{"value":"coverings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$357B759D-CD57-416A-B476-DE9221D8BC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568a80ce27cf206315133275c8b2f8046200abaa","datavalue":{"value":"colourings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276947$E1094AB4-6FE3-4BF2-9F88-0F9546A207D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$31B7EB72-C6E7-4B69-883F-155AF06C3565","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$4D5C16E7-FD4A-43E2-A055-F55736876265","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":"Q2276947$F1A46E74-3419-4A46-AD0E-8A994AF907DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$C160D3DD-B84C-4952-A70A-E9D4D69B18B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$42DDED6D-52A2-4514-821E-156F07C24672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$1A9522F2-DB62-40EE-B397-5E77919C42F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$7BAF0AF8-C40C-415C-BE7A-EE187B0B6967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577776df3aa92f9f40afa80ef3e4a3f282cb55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5635427,"id":"Q5635427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$BB5E5E6B-D8DA-46D0-ABF5-5592FF392697","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":"Q2276947$7153F561-D710-4385-B864-2EFDBC864DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bd3b3b932e2906f8850be14dad2c5749215613","datavalue":{"value":{"entity-type":"item","numeric-id":1140629,"id":"Q1140629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$79741C47-E873-4514-AD6B-2EB1670BD917","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":"Q2276947$688563FD-9CD0-4F71-9D01-FB8D582E382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$A158256A-52DF-4A14-B0D7-C9C6F7EB4E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbba5db08270228dab6b7e6814cd76154a21fb3f","datavalue":{"value":{"entity-type":"item","numeric-id":1820765,"id":"Q1820765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276947$CAEEE4CE-F7CB-4D39-8C3B-209C266E60E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f99d098fc7ef614db4fa26bb43d09077302067f2","datavalue":{"value":"https://doi.org/10.1007/bf00370370","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276947$F3414185-991A-4DF9-8DC4-0E5D7E5C867B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eef7774280bf572ae6d4d7c5397e522a0a2b3a14","datavalue":{"value":"W2074144566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276947$745B6294-352D-4702-90F8-D5EB59BD9CA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826f3f6b8fd792c22aca7c58420fba06d1eb0bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4835534,"id":"Q4835534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4e2ddffaa514978d8e46834d4fee230f212f2d","datavalue":{"value":{"amount":"+0.8115149736404419","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":"Q2276947$943C9776-C1B1-4B61-BDAA-87E3C9BAC785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd0204cadfbbfa08b5971765237aefa1104065a","datavalue":{"value":{"entity-type":"item","numeric-id":3830978,"id":"Q3830978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4e2ddffaa514978d8e46834d4fee230f212f2d","datavalue":{"value":{"amount":"+0.8115149736404419","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":"Q2276947$84B9EE4B-F2AE-4871-9CE5-6EF432DFBA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0e869b0f9bb0f208316e939c5d5c4ae9dbc94e","datavalue":{"value":{"entity-type":"item","numeric-id":5073942,"id":"Q5073942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221bfcd1eda9d60962dce183d54dd670c8ffcfba","datavalue":{"value":{"amount":"+0.7924125790596008","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":"Q2276947$21D40EC7-46C7-4E97-856A-F2F2B745787D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e4095fd2f8671743c45ba21a1f16d5aeda902","datavalue":{"value":{"entity-type":"item","numeric-id":2915901,"id":"Q2915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e64b309dd9fc60a28ee955fcbd31d7b8760f5a","datavalue":{"value":{"amount":"+0.777427613735199","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":"Q2276947$F032E8EE-B355-4765-B3FA-42E4702770DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37da83edc787541f76ae1b71740ffffe6286de5","datavalue":{"value":{"entity-type":"item","numeric-id":2304538,"id":"Q2304538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ce80b7d8807644ba2616c5bae7f49670a9307f","datavalue":{"value":{"amount":"+0.7745208144187927","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":"Q2276947$3D3A629A-56F9-4554-B6D1-DC2DF6F6CA38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276947"}}}}}