{"entities":{"Q3211279":{"pageid":3221987,"ns":120,"title":"Item:Q3211279","lastrevid":49472995,"modified":"2026-01-07T05:27:25Z","type":"item","id":"Q3211279","labels":{"en":{"language":"en","value":"Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191591"}},"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":"Q3211279$1915B0D3-C88C-415F-ACC3-BEBFED3E4F68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa35508b2baec8a6a4d675e8ad392c7d40b3710c","datavalue":{"value":{"text":"Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3211279$3E1EA085-41B0-4B2D-9B5D-D0CD898646A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d1da50f92afb36c33f5db4ed16913b91ee80a83","datavalue":{"value":"0723.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211279$0BDAC3D6-E319-487F-9CA5-EF29FB48114D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211279$D8E3E400-3731-4A23-8B12-6086B5CEB543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211279$CB709564-AC3D-45E8-AC5B-43C53E806100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3211279$74DEBA7B-DFE1-4C54-B35B-4252E724A79D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211279$2A80E15F-67BC-436C-9343-BC4A11E44773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211279$EE1CF534-3D5C-4869-8E37-3F94825903C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"749f9323e8bec00ba714b1a94bb772eafad9d051","datavalue":{"value":"4191591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211279$C2781114-967C-4B4E-A29E-C32A7D5E8578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99146fe5669094ce3209b84da429adc6cdc9c204","datavalue":{"value":"logic of simple logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211279$95A689F6-106E-40D1-BC2E-46E28E3F115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bc05e9af6bac47d9ed703736b77875317bfc81","datavalue":{"value":"subsystem of second-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211279$FAC45202-3D48-44A9-93E8-B6DF239CA089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f8f6d5b53f756c392009b630eca7276190d249a","datavalue":{"value":"introduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211279$3BDEEBC4-7880-4F97-A88B-C65BD0CE8A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f04b632675d81feb665d10294bd97648d2bf57b2","datavalue":{"value":"generalized Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211279$ABBBBDF9-EC31-4913-A83E-047445AEAB45","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":"Q3211279$D3FC3763-31B3-45DB-A7EF-C38EE337F26A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f34c40fd4aa0c9d43aa76d5c93840b3eed9e8c7f","datavalue":{"value":"https://doi.org/10.4288/jafpos1956.7.163","type":"string"},"datatype":"url"},"type":"statement","id":"Q3211279$AC984A43-A2BC-4417-AA5A-99062E3D1A3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fae86d9ec4d466634896ebd89d3aa64a0959678f","datavalue":{"value":"W2004395686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211279$4CA3B8ED-580D-4E14-8065-3605A656F4AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d3532d15321cbefffe1138b43da40b4577f821","datavalue":{"value":"10.4288/JAFPOS1956.7.163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211279$C058372F-CA13-4276-89A8-8BFA0FAD6F59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa352f7f5afd28c26ac342d6e05c5e792e3ccd4c","datavalue":{"value":{"entity-type":"item","numeric-id":1582231,"id":"Q1582231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359c20575fa7bc085fce02bd377a4c02b7d3bac0","datavalue":{"value":{"amount":"+0.7292987108230591","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":"Q3211279$E0D83B01-B9C9-4AEB-A46D-7381AE7715C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d47ccb2e43b8d787425433bb81605fcb4a8490","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588a65bf71bd0ed237709a08183895fb910ee8a0","datavalue":{"value":{"amount":"+0.7279135584831238","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":"Q3211279$FACCF9F1-0CB1-4B9E-9EAB-514F3151810D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32adbb07749b37ce68fa8b803658ab6f73e20c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3794150,"id":"Q3794150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1118ff91d08c0ec98b6401946314f4bd402bda","datavalue":{"value":{"amount":"+0.7221522927284241","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":"Q3211279$72CEA785-5679-4F06-A986-7E9566B8440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28069bf629f24e37acb80b97f6ba07029d5decc5","datavalue":{"value":{"entity-type":"item","numeric-id":1884882,"id":"Q1884882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ae7a79672e549f0fdb78dd6a91892f55f8da47","datavalue":{"value":{"amount":"+0.7155834436416626","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":"Q3211279$472E2493-0593-467F-9349-2D81461B7C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bda418b7f38f9da45e7498e7a307f18fadb1f72","datavalue":{"value":{"amount":"+0.7133342027664185","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":"Q3211279$A937B26C-0C95-48D6-BA67-E366B8783449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3211279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3211279"}}}}}