{"entities":{"Q454378":{"pageid":456145,"ns":120,"title":"Item:Q454378","lastrevid":62027994,"modified":"2026-04-11T03:17:56Z","type":"item","id":"Q454378","labels":{"en":{"language":"en","value":"Extendible formulas in two variables in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088854"}},"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":"Q454378$2F1280DE-64C0-4818-BCEB-250561E6977A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7add698af87ba2b2fe05022d4184db74fa19f57","datavalue":{"value":{"text":"Extendible formulas in two variables in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454378$452FD98C-7551-479F-84C1-96CB96EA60AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f16b47ff417d76aa9dd5cb3315e76d07b1c0a3a","datavalue":{"value":"1256.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454378$EF449374-8B80-4908-B8A1-E08A0101BBF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$E9919CBD-8471-4C5C-B133-CE4D67920103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$9A6B7F2B-A46E-414B-904E-FB391AE59004","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":"Q454378$C1EF98EF-F236-4BF5-8A94-86F4DC6769A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454378$0427E38C-B0F2-4494-9FF6-92A6EE45A343","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7590e11d5514eb3f7adbbf0210dbb02058e7007d","datavalue":{"value":"The paper presents alternative characterizations of exactly provable, extendible and projective formulas in intuitionistic propositional calculus (IPC) using \\(n\\)-universal models and definable \\(p\\)-morphisms between them. The notions of exactly provable formulas (also known as exact formulas) of extendible formulas and of projective formulas were introduced respectively by the second author in [Stud. Logic Found. Math. 110, 51--64 (1982; Zbl 0547.03037)], by the second author and \\textit{A. Visser} in [in: Logic: from foundations to applications. European logic colloquium, Keele, UK, 1993. Oxford: Clarendon Press. 187--213 (1996; Zbl 0857.03041)] and by \\textit{S. Ghilardi} in [J. Symb. Log. 64, No. 2, 859--880 (1999; Zbl 0930.03009)]. For an overview on \\(n\\)-universal models of IPC see [\\textit{A. Chagrov} and \\textit{M. Zakharyaschev}, Modal logic. Oxford: Clarendon Press (1997; Zbl 0871.03007)]. From the new characterizations above, the authors give an alternative proof of the fact that every exact formula is extendible; every projective formula is exact and extendible; and they obtain an alternative proof of Ghilardi's theorem (for the restricted case of formulas in two variables) -- every extendible formula is projective. Moreover, a new syntactic description of all (infinitely many) extendible formulas of IPC in two variables is derived.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454378$884562C5-9060-48DC-8A3E-49536B5522EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"15a5be954de63b9a09120e92802adc210813c3df","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$B4C7CAD6-244F-47F2-BEDF-57E838C3728F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454378$10788C8C-A2D5-4E6F-8E1C-956A28BAC5D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d05879e19bdfac8936661df710c10a424fec17b","datavalue":{"value":"6088854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454378$1AC716A1-3BC8-4E84-9849-972B681420D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q454378$41B1BEA2-B15D-4EDB-91EF-6BDA9F4EAEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f9b6115196125d8bbfc147c690a4509dcd86d5","datavalue":{"value":"universal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q454378$EF25E6FB-BA00-4326-854B-CD39592A96BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c37ac9e8a9dae9e4378a9f4d0d66af7903a2ef","datavalue":{"value":"exact formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q454378$0881F029-5533-4AF0-9A9B-504C1C769866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1890ddb99f7e52045cf674e1c495a0201f6ca3dc","datavalue":{"value":"extendible formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q454378$DFA8D113-DBE1-4931-BF58-67A1E4CFA8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef7c6e5058a01f0c1f2ebc2df54c95d1e680e8fc","datavalue":{"value":"projective formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q454378$520FFF16-95AF-40CA-874D-2FE6A38B7E6D","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":"Q454378$0C77700F-D9DC-4EFA-A140-C6681E9E93C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39a847e5fb47f8dd53c692cfd441f2c836df733d","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9389-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q454378$8B81C548-3921-41A7-98FB-911BBD34104B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74d42c419498cdf1ac306190be45b3554e071503","datavalue":{"value":"W2101864442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454378$7A574ABB-674D-4C9E-A1A4-F0766F1A1A7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd924493e9168b7d214036453195d2e9622e00a0","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$548F6FAA-160D-4B0E-A94A-7E37A89F7CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$45B5493C-1F3A-4672-A816-CC6A8A02FBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c465e3220f9229b4b5469019142cc9e4590fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4193453,"id":"Q4193453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$A2447246-BF26-44B6-96B2-B04626BC9BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$23334D7C-DCC7-4B47-89BD-397B3FC55DDC","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":"Q454378$C3440C5B-ED14-4A4F-9E0C-FFA285E03955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932eb9f75e23d79158ee6b26a933dbdd68025fed","datavalue":{"value":{"entity-type":"item","numeric-id":3338239,"id":"Q3338239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$D0153E89-41D3-442F-9708-50E7E1C18EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a24a9713ace11386ba61270909023ada611cff","datavalue":{"value":{"entity-type":"item","numeric-id":4842626,"id":"Q4842626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$2A659499-1742-4878-A725-FEA30B812E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bfe3001d1a2208bc5597c1ea98a2da5a3f7e82","datavalue":{"value":{"entity-type":"item","numeric-id":3837730,"id":"Q3837730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$6611F076-7973-4BC5-9D28-A39D8A290A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d95e7df95ccc0405a4eec4819449e6ad472b05","datavalue":{"value":{"entity-type":"item","numeric-id":3019970,"id":"Q3019970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$A40DDDF0-5FDE-414C-8104-26444C2E38F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$58F7F4E4-C778-4AEE-A457-345A74543E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09242c66e9de738abf006bc653cd2c2ed81531b9","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$4B9019FD-D8A3-4735-9BAF-8919EAA52AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e04418175c987dad1abf52407873a3edc2c40a","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$D8C3F2C3-FCC5-4427-B00F-B4E852F204B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df483b15cad4b0f21fbe5ef1b2ce51714071ee1f","datavalue":{"value":{"entity-type":"item","numeric-id":4198475,"id":"Q4198475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454378$43096CCD-6515-4B78-A273-6F8E0F6255DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ee1e020551892634b382b6832737fa507f5c8e0","datavalue":{"value":"10.1007/S11225-012-9389-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454378$7848AC0B-CECA-4EE7-B673-12F23F02722A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cb3e2a1ab12c8c2843eb69f967b35a6b8245b","datavalue":{"value":{"entity-type":"item","numeric-id":5413327,"id":"Q5413327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bc0ba396d82a062dc69ab2612611cb5b350e9d","datavalue":{"value":{"amount":"+0.8998759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$6E144527-3A18-4C5B-BB9A-5C61E803ECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7de76325e8ee7d438443eff10240d360d3168f1","datavalue":{"value":{"entity-type":"item","numeric-id":2345400,"id":"Q2345400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f3433b036973c64cb29ec18b5b95d96116b8c1","datavalue":{"value":{"amount":"+0.8875677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$684BB550-F80C-46BF-AA1E-B74573CD8A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf8fda8c6313c06df19da93c145a4e5eb7b83ae","datavalue":{"value":{"entity-type":"item","numeric-id":5757935,"id":"Q5757935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840c5ea419b53b1c55966b43c6957dee53fb14e2","datavalue":{"value":{"amount":"+0.8844018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$A30AAA02-441F-4DDA-B7A0-18864FDCD658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2142d54ec6bd34ea6158405c365882b6ed200bac","datavalue":{"value":{"entity-type":"item","numeric-id":1782236,"id":"Q1782236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2faac1d02ce30076d721291032a05e0f1eb289d9","datavalue":{"value":{"amount":"+0.8841117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$3635A7F7-DA5B-47DC-967C-5362CBE7A6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffd3255c50569f31c6d8e8a4c385c0bc099a4d8","datavalue":{"value":{"entity-type":"item","numeric-id":3224007,"id":"Q3224007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b6e47d04c5333b6ffc1eb10b3c1fc9253c35f5","datavalue":{"value":{"amount":"+0.88398534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$91092906-0B1F-4266-9D6C-B4E69AD82F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bab6436134a5b45f4f826f561361d8cfc9060d","datavalue":{"value":{"entity-type":"item","numeric-id":3534984,"id":"Q3534984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa894c7d8f6541ca4878bd4a022a181fb358404e","datavalue":{"value":{"amount":"+0.88177514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$F88C8BE1-9481-451D-80B4-1E7EF8D7546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494ada152450deb91fa0c6568addd017fb55e8a2","datavalue":{"value":{"entity-type":"item","numeric-id":3338239,"id":"Q3338239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bbf56b5a8cadd4afa28037e82496e02516f25f","datavalue":{"value":{"amount":"+0.8810995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$5DF4866C-7301-4059-AC16-C386308ADFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309b07b5b416ab2fedfbe8171862759e16a28fc","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d14bfa39b6d8daa7e8eacef0912cf8704edeb9","datavalue":{"value":{"amount":"+0.8809837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$F8C15EA9-A725-471F-8861-0AC24CCDE532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7063c313b0e6a94cfd5f6c2cdfdd69b8e5340337","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62570f81f3317e464f132d7b6fe74d0dbd715c98","datavalue":{"value":{"amount":"+0.8799855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$5889FE41-507C-47F2-8321-A5ADE7982F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3463e9ae63c8fc7ebd9658de0da5ab38f712f4","datavalue":{"value":{"entity-type":"item","numeric-id":5414971,"id":"Q5414971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b47c706e17f484955d7d30ca425d46558a46339","datavalue":{"value":{"amount":"+0.879117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q454378$C3E41A57-2176-42E5-B527-3390D6C0DFD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extendible formulas in two variables in intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extendible_formulas_in_two_variables_in_intuitionistic_logic"}}}}}