{"entities":{"Q1330311":{"pageid":1341061,"ns":120,"title":"Item:Q1330311","lastrevid":68484186,"modified":"2026-04-13T00:00:43Z","type":"item","id":"Q1330311","labels":{"en":{"language":"en","value":"Proof-functional connectives and realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 606915"}},"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":"Q1330311$782B5C9E-7906-4875-A872-D3414D2CA1A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"617b7da81444d39b46af207578189dc6fa0b73c6","datavalue":{"value":{"text":"Proof-functional connectives and realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330311$9A500CE8-A075-4348-B16A-4A7CF50296F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b47c471a6342465d512e111f6d19e763b3f4fe9f","datavalue":{"value":"0801.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330311$5E178F5E-C724-477C-B95C-8F60794BEEE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9da34fb2903512d966ea343e8e86e60d0c55a19","datavalue":{"value":"10.1007/BF01203032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330311$22DE59B9-02D1-4E36-B567-C9512CFAD192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$B812A24A-B556-45B2-8DEE-1879C5F17B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$F378A5C6-AE22-4E8B-9762-B06318AC69B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$3784B196-197A-4585-ACE0-719B35D70C85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27e26720c3a5ab9bcb71917b45ea4b2894dbb467","datavalue":{"value":{"time":"+1994-12-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":"Q1330311$AE772E94-1F79-4413-A9F6-D2FEF467B5A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a8d6dd0f5ac57bb608481f3ec0c5148625ba54b","datavalue":{"value":"The paper analyses and investigates to the so called ``proof-functional'' logical connectives, building on and developing previous observations and results by \\textit{E. G. K. Lopez-Escobar} [Lect. Notes Math. 1130, 208-221 (1985; Zbl 0615.03047)] and \\textit{G. Mints} [Notre Dame J. Formal Logic 30, No. 3, 420-441 (1989; Zbl 0704.03004)]. Proof-functionality is an intensional concept related to connectives whose meaning depends on the actual shape of the proofs (realizers) for the components of a compound formula. Such an undoubtedly debatable concept (some hints and suggestions for discussion are given in the introduction) is embodied in the paper in two particular connectives: strong conjunction and strong equivalence. In the former, the two components of the conjunction have the same realizer, whereas in the latter the equivalence is established by means of realizer-maps which are one the inverse of the other. The main focus of the paper is the realizability analysis of such connectives. For each connective a formal system is provided which is sound and complete with respect to provable realizability in intuitionistic logic. Such systems are shown to have an interpretation in terms of computer science concepts, the system for strong conjunction being equivalent to a particular type assignment system for lambda-terms with intersection types, and that for strong equivalence being related to systems for provable isomorphisms in typed lambda-calculi. A connection is also established with the connective of relevant implication. The provable realizability completeness results are also shown to imply the semantical completeness for the type assignment systems mentioned above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$F94743A3-D80E-48FA-B21F-CC23D52F859C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330311$A784B3A3-5A71-42F7-82FD-9268D4501EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330311$8BA7AAED-0E73-4E41-B294-67DC68F05E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"298b59955107ca41fc7fd1cfc2ef3bfecec5ddf2","datavalue":{"value":"606915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330311$42CF3EB8-E8B5-4F3F-9A91-4F8112102390","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09e45d3477224514ae649f216cca55686e165f6","datavalue":{"value":"proof-functional connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$E38C53D7-891B-4EC7-B9C4-692151013D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3490a4ac34260a462041f46e10f63ed5d429b5","datavalue":{"value":"strong conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$62135297-D697-46BC-ADAD-6B3AADA0EFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$433EB37D-DFF7-4126-92E6-AAE2239078A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$F61A9A2A-F3FD-4450-98B1-02B28824BD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$6E076D5A-0D8D-4FAA-979B-DDE1489AD8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"143eac005caf33a6943368b26af2942c0e3b4807","datavalue":{"value":"type assignment system for lambda- terms with intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$ACB6B543-AA30-4D1C-8BD7-E90DC5677C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c4e267f577f8def1de0a012f0d952ee0fab206","datavalue":{"value":"provable isomorphisms in typed lambda- calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$53B15F40-915E-4787-ADB6-CD7CC7B88583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c3921d666dde100f7140651a610dee9b25f20f","datavalue":{"value":"relevant implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$1E2096D4-4672-4320-BFA8-AC18F02F3C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d54771bfe51e9d10f494511c79abbe7d90cd697","datavalue":{"value":"semantical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330311$741698BA-6EFD-46ED-885B-2EB6261FEF08","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00ea4a5ed8879c1a6adc0802c8c4ce48d27b9055","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$3EEE6C2D-2ACE-4FC6-8694-7AEF5002761A","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":"Q1330311$B0B9D2D8-66B1-44E6-BFE8-663A524F086F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1a0a2327301d6b7d392f56d6312d170cd0ea93","datavalue":{"value":{"entity-type":"item","numeric-id":4035227,"id":"Q4035227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$9D80E9CE-477C-401B-AEC4-092F789FF801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$6625C491-A9A9-4C0B-8E8C-6D0CE6E051D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$3166E817-1021-4ED3-B85D-CE97C3987CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308895c836b930be70b0ca58cc1956e776eb29fa","datavalue":{"value":{"entity-type":"item","numeric-id":4017461,"id":"Q4017461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$2377CF5E-32AD-48EE-87D6-F38B23CE67A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$43602EAD-6A38-4891-9EE9-CFB21E999AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$FE06F1B4-727D-4E49-B44D-57FA5C7A5690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$A1076387-CE57-4110-A809-57FF2F5655E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89e1dea9ae54da61df976210a8364498b414bf","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$15504C0F-5557-4216-80A8-47E23AD57E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$3F084199-DB44-4AC3-8A16-CB2216A50E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8192a60062b4ffd5625199647ad409694386fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4723730,"id":"Q4723730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$3E0B0115-AF07-41DC-91C6-211B3A99CFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$A5E3B1E5-8D9E-45FB-8EFD-FAC7C38C8EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$07260FB6-3EA0-4A6F-BDE1-07BDB67F8C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$D7AF109A-1FB2-4F8F-A996-E8E8E5BE38B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c81e5d29138fadaa0991012a6b61d4de992c19","datavalue":{"value":{"entity-type":"item","numeric-id":916636,"id":"Q916636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$D7809FBA-78C4-4717-8A66-C2C310F8C6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730ba20c9991a2568e17ae9a2be1ca0275d298e","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330311$599C49CD-CAAF-481A-89C7-DE486946DF37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81249822ca9f84e1177c7483b73865ca053b66c","datavalue":{"value":{"entity-type":"item","numeric-id":3179292,"id":"Q3179292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adec65b49cabdb5a832a24c512a395bcf3e38bd1","datavalue":{"value":{"amount":"+0.8909823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$CC49E316-2191-463B-9A3F-2348325DB2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3730caeef5f657afff89553d6b6eeb732d93ea52","datavalue":{"value":{"entity-type":"item","numeric-id":4035227,"id":"Q4035227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30af93fd58d6054ce80a844976d59fac3d2a72de","datavalue":{"value":{"amount":"+0.7829224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$FBEFC5D7-1D24-4996-A124-8D4704EB3986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90fd1b5bb8d4e684ef9cc53b2f52e082c4796da7","datavalue":{"value":{"entity-type":"item","numeric-id":1802397,"id":"Q1802397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2625281ac5b724c956dd550ff1b6bc625f97678","datavalue":{"value":{"amount":"+0.76703954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$FA845DDC-4202-4B81-A4D3-DC766F1B6533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bab33bbbf821057d24cedc645d121799793c7c9","datavalue":{"value":{"amount":"+0.76195765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$A41655EC-CEC0-4E04-A1B8-346EE1162B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c2b8ffec15b1fc4d5cdf7a6ad54879ea8adc4a","datavalue":{"value":{"entity-type":"item","numeric-id":2996174,"id":"Q2996174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b04f5666d4758584940efacacd0f49b34a2d26b","datavalue":{"value":{"amount":"+0.7558883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$7F01746B-1488-4161-A20F-8344EF3BF9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5147d54cbd0ddae3b251fd64adafe55956332438","datavalue":{"value":{"amount":"+0.754377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$CEA6D470-7FF9-4B15-ACD4-00A3CE947065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97650e096cd8fc874b01c43330063955389b285b","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291f73e4101d008291e56b93c84bd64fd3259389","datavalue":{"value":{"amount":"+0.75094366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$678A2CC9-F414-4064-9661-E3BFB1210231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad98dadb20f9e2d0ee31da95f72ae796333f8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1049689,"id":"Q1049689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09e745e6fea3a651b2fa547660ffdad3b27dd9f","datavalue":{"value":{"amount":"+0.7483252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$775F2EDB-A900-4F85-A8E8-5ACEA7C145FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020bcfc3fbd1129bc1dd32f1007f4fbdc388c622","datavalue":{"value":{"entity-type":"item","numeric-id":3830972,"id":"Q3830972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ccb9491474e56b62f256764c3bf695362c30b52","datavalue":{"value":{"amount":"+0.74780214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1330311$D987A9AA-7E1D-4EE0-8FD8-0973D1CC5664","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-functional connectives and realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-functional_connectives_and_realizability"}}}}}