{"entities":{"Q2710597":{"pageid":2721336,"ns":120,"title":"Item:Q2710597","lastrevid":82801424,"modified":"2026-05-06T22:06:56Z","type":"item","id":"Q2710597","labels":{"en":{"language":"en","value":"All intermediate logics with extra axioms in one variable except eight are not strongly \\(\\omega\\)-complete."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590604"}},"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":"Q2710597$0CAA7AC6-5E22-478F-9D10-008C6DDA2C70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9157106f8635214abd9c3a4e62ba4340de58666a","datavalue":{"value":"1045.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710597$321831ED-4240-449B-A668-ECBE41B12C15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f03f9ed88b19c7bd108851320cc2f3a949ab1acd","datavalue":{"value":"10.2307/2695065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710597$A288DDC8-F99A-4ABC-8AE1-0F8089C059A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$948D33C1-2E8E-4DB4-9735-D433BD438611","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-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":"Q2710597$FD51E6D3-9163-4FF9-B185-F9212F7DA175","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710597$8CD2C987-9CB2-4AC6-BC9C-CDF5A6A267F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca733e10b8eb2fbd9a57567dfbfb323d9dd53d1b","datavalue":{"value":"1590604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710597$ACAA5F99-84BF-42D2-9909-B3AB22770714","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":"Q2710597$D083A01B-1F35-4F86-B2C1-854D32BED707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"331968cf88fd72cd253c181d47ae0b4e46ee33fc","datavalue":{"value":"https://doi.org/10.2307/2695065","type":"string"},"datatype":"url"},"type":"statement","id":"Q2710597$3D8A2397-2C7F-478E-83E5-5FB29A18BFCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3b7780bbad7b959a28f632f99a07019f0952557","datavalue":{"value":"W2137263692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710597$2937AE39-5FFE-4AC9-9353-E7EF784FEA5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"11cd4b11f519ffa79307b92daa8fc3d2cacbc5ca","datavalue":{"value":"Q114588310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710597$8E4539DE-2113-468D-AFA1-AE494F3757B0","rank":"normal"}],"P223":[{"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":"Q2710597$F91574B6-E20C-4C23-8DB7-E61E823AE1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e123cb5f005ec2c984fe8ce0580a9e75d8976db3","datavalue":{"value":{"entity-type":"item","numeric-id":1181482,"id":"Q1181482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$784A6A3B-34DA-4021-919E-F97397DA3101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0310e42cd89ec966ff0db04df83f2f80f9957748","datavalue":{"value":{"entity-type":"item","numeric-id":5658080,"id":"Q5658080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$28117A28-B90B-4C7D-9A59-C54C70512EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$AEC37174-0069-4408-801C-2A7A20002ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3f1d13d350acdd2a030d914bba20c3f2f97e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4166740,"id":"Q4166740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$2EF81B80-0D3C-4BB9-BDEE-5FBD9039475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af63bd8d72051e1344252b9875b47c288e2438d","datavalue":{"value":{"entity-type":"item","numeric-id":1902974,"id":"Q1902974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$0649535C-72C2-4A60-86B7-DDD28FE4E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$6EB9F7DF-00C4-490A-9B33-6A910E3FDEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336b3ce90c4deb9f6127a52a430d218ebd8c1f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4858826,"id":"Q4858826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$ECBA8570-A24E-4639-B2DC-9BCE889149CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$0DDB12AE-BFF1-4030-A11D-BED7A89F75C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c391b49481678b15aa450be78bd6a54e6eb3f6f0","datavalue":{"value":{"entity-type":"item","numeric-id":1970920,"id":"Q1970920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$80A8F133-5E34-4A50-9796-E87E6A335F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4f453c65e52d42ef97810e35dc2ca57eaa0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1902977,"id":"Q1902977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$964FBC5F-EE5E-453D-88BF-9129BCB164FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d2a94e1771bd74f70ef3e0b5744b247e09d040c","datavalue":{"value":{"text":"All intermediate logics with extra axioms in one variable except eight are not strongly \\(\\omega\\)-complete.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2710597$5C3801A3-FA2A-4988-A16B-AED4D36BB7CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$3560DC26-6669-43BC-9FF1-8F2FBE322772","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710597$DEFA3506-C3B8-41E1-95BC-1D6563978115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8880270cef0eb55e107d9d624790ed0fea244485","datavalue":{"value":{"entity-type":"item","numeric-id":1970920,"id":"Q1970920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde4234a56c76cae90779bab36f3acacb254a139","datavalue":{"value":{"amount":"+0.8276721835136414","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":"Q2710597$8800F9DD-EBFD-4EC9-9AE5-903B53E9F8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d4a22538e9998a6cc842681c3bbf58ed27874f","datavalue":{"value":{"entity-type":"item","numeric-id":1790607,"id":"Q1790607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8fe3dd721d86b6342e4e301f276338b2d01287","datavalue":{"value":{"amount":"+0.8271753787994385","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":"Q2710597$2134A69B-9732-458F-83B3-294DCC2128DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bc0d37caa81caac51790599bc85f9ea85c4a77","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefaea4173334064e5fbacfcce1a4b9a7cc79b60","datavalue":{"value":{"amount":"+0.7369968891143799","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":"Q2710597$7FCBEC56-8D44-4F01-9A90-40E16B929579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93dd94830d70a44ba40c52c5c9be351f140438f","datavalue":{"value":{"entity-type":"item","numeric-id":2772901,"id":"Q2772901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96eb74c2b5be2d38bfcada4147cfab19de3bd297","datavalue":{"value":{"amount":"+0.736235499382019","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":"Q2710597$97BEE5E4-E582-4E2D-AEF4-7589CFB7ECE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d67063b2c37fbf80d12f7dfaa0eebca4f0db919","datavalue":{"value":{"entity-type":"item","numeric-id":4025000,"id":"Q4025000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4ef365334fa44f327de090e48bc038876d2c49","datavalue":{"value":{"amount":"+0.7301761507987976","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":"Q2710597$B4FB08BC-8D34-496A-BEAF-3D82AEB7FB80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All intermediate logics with extra axioms in one variable except eight are not strongly \\(\\omega\\)-complete.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All_intermediate_logics_with_extra_axioms_in_one_variable_except_eight_are_not_strongly_%5C(%5Comega%5C)-complete."}}}}}