{"entities":{"Q792319":{"pageid":794167,"ns":120,"title":"Item:Q792319","lastrevid":64374003,"modified":"2026-04-11T19:25:43Z","type":"item","id":"Q792319","labels":{"en":{"language":"en","value":"Realizability and intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853070"}},"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":"Q792319$026378FD-9C23-4DA5-98BB-441BFD75A5B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d607fb17c47d3888f00e935b0f0bf49610515a9","datavalue":{"value":{"text":"Realizability and intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792319$62D51A21-270E-4E91-9DDF-66B97DB2C867","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"501ff907392cb60879ec647ab2d0ebcd51cccd75","datavalue":{"value":"0537.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$A8CBA3C7-C50E-4DA9-A998-3ECA39C145B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1456b9ee96df7e6bf3c629c2685ac18c3e166990","datavalue":{"value":"10.1007/BF00485463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$05C6742D-1898-4C83-AB22-C44B600D8C15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$7E137D37-02FC-4C2B-8179-E585936E5214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"596ce5d9f12334d5b503e9ca575fe131d2a47d15","datavalue":{"value":{"entity-type":"item","numeric-id":234587,"id":"Q234587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$6F81052E-785A-45CA-B692-76857E600D09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$12F266C1-F46E-4348-B63D-D2F916F5333D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q792319$7FB1572A-BFC5-4C70-9E70-2B8BBE85E874","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40e9c78c256b0d8b0c5a3f6467e0f9c29239ffc6","datavalue":{"value":"The paper is largely expository and attempts to clarity the relationship between the well-known proof-interpretation of intuitionistic logical operators on the one hand and realizability interpretations on the other hand, in particular in connection with the theory of types as formulated by \\textit{P. Martin-L\u00f6f} [see his paper in Logic, methodology and philosophy of science VI, Proc. 6th int. Congr., Hannover 1979, Stud. Logic Found. Math. 104, 153-175 (1982)]. Two typed systems are considered: \\(\\underset \\tilde{} M\\underset \\tilde{} L_ 0\\), the fragment of Martin- L\u00f6f's theory without universes, and a weaker system \\(\\underset \\tilde{} M\\underset \\tilde{} L^ i_ 0\\) obtained by dropping extensionality for equality; these systems are compared with \\(\\underset \\tilde{} A\\underset \\tilde{} P\\underset \\tilde{} P\\), the arithmetical part of \\textit{S. Feferman's} theory \\(\\underset \\tilde{} E\\underset \\tilde{} M_ 0\\upharpoonright\\) [see his paper in Logic colloquium '78, Proc., Mons/Belgium 1978, Stud. Logic Found. Math. Vol. 97, 159-224 (1979; Zbl 0441.03022)]. It is shown that \\(\\underset \\tilde{} M\\underset \\tilde{} L^ i_ 0\\) can be interpreted straightforwardly in \\(\\underset \\tilde{} A\\underset \\tilde{} P\\underset \\tilde{} P\\), in such a way that the interpretation of logic in \\(\\underset \\tilde{} M\\underset \\tilde{} L^ i_ 0\\) corresponds to abstract realizability. For \\(\\underset \\tilde{} M\\underset \\tilde{} L_ 0\\) an embedding is defined such that logic in \\(\\underset \\tilde{} M\\underset \\tilde{} L_ 0\\) corresponds to a form of extensional realizability in \\(\\underset \\tilde{} A\\underset \\tilde{} P\\underset \\tilde{} P\\). \\(\\underset \\tilde{} M\\underset \\tilde{} L^ i_ 0\\) is similar to the fragment without universes of the type theory described in an earlier paper by \\textit{P. Martin-L\u00f6f} [Logic Colloq. '73, Proc., Bristol 1973, 73-118 (1975; Zbl 0334.02016)]. It should be pointed out that the present paper gives no adequate description of the semantics associated with Martin-L\u00f6f's theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$CC4BF482-3269-461B-A52A-B475FF89FBE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$94886EF8-FF4E-4300-A0A8-6CAA797D1102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$71A83DCC-641B-4849-935D-225DC7D928D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$82EEFA2C-662B-4B2D-825B-DCFC46644029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$FE2BCBCF-4F3B-41EA-BC2A-4AE25355EAF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acd7ddbe87aba1f16adc0bdaca514666897fe3dc","datavalue":{"value":"3853070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$50225553-E12A-474A-9CE2-781D738FF64F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77829b352c8955b582a46936c4c045ed330c71d1","datavalue":{"value":"proof-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$20AB0E0A-55AC-4272-92E0-C6FD22646F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f584cb3d8f8178773104230a72651456e9a168","datavalue":{"value":"formulae-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$166B5B7C-FCC0-4DC8-AA86-78271A84BE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f81cbd74c46f0fe995763a10e637fbfc26ff8c","datavalue":{"value":"proof-interpretation of intuitionistic logical operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$95F124A3-242C-48B4-B5EF-D21C0739C97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f409c1be3ec6fc07ce149a5b3ab2458d6a62db","datavalue":{"value":"realizability interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$028AA7B4-8C49-48E1-8E1E-A6F124DEB595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cd5afc7ea4806aadfe910a66e98852c6ed7cb64","datavalue":{"value":"typed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$7DC94CB0-F62D-44BE-973B-F17E599CBEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e951512a0dc01984832295ab8143e85176e54509","datavalue":{"value":"abstract realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$8E92D6DE-2D76-4B18-B9BF-D497A2A47CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6f6e67ee5e792487516ab5a5c3e9493e62d8c4","datavalue":{"value":"extensional realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$B757C0E8-9D0B-4B57-8A4A-0C9E4120C68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q792319$B2A15FDC-F7AD-46AD-9EAA-4B4C703F6F1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$00CF8383-CAE4-4F68-9CB2-9225A16023E9","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":"Q792319$979CF00D-8BC0-4374-BE64-1AC1DF068066","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed62f77086cc482760f4f0947cecfd1cf3885b1","datavalue":{"value":{"entity-type":"item","numeric-id":1139042,"id":"Q1139042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$05342633-AD0E-447C-B1B6-800D0A9138CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5d0181b6f38e4706e84c751511e0729994771b","datavalue":{"value":{"entity-type":"item","numeric-id":3898494,"id":"Q3898494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$5921BEAE-DF5F-4D05-93EC-60A5E5220A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$B7929FA7-DA2B-405C-9438-EE30938774A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$D47CB1EF-3C40-48A4-8AEE-CCE5753932EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$9B4A1175-9F96-4520-AF00-D22DFC272675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$1CD3A9F2-4CFA-4246-AE4D-25FE4DE1DD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$7DF44405-4AD7-4660-AE8D-3144F637AE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$2B555044-7C83-41DA-9109-A66A3773048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1458bfac42ad286313aff266819d8c1ef7aaaea","datavalue":{"value":{"entity-type":"item","numeric-id":5613908,"id":"Q5613908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$219955C9-90DC-49C9-B1A6-805DE4203E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$84A33A7E-19AD-43AA-BD4F-4400AB31AD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32532305a8ba8970cf961b1f2de17635bfa69183","datavalue":{"value":{"entity-type":"item","numeric-id":4077976,"id":"Q4077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$5A5E9F5D-5DEC-446D-8278-E5A4554C5944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$6F7F3975-8EDD-4FAB-87E9-56130FA1C736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$88362FF2-F556-4FA0-8D0D-DC365F128069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c396d1202865fa3b06dea56be51cdc2ebb0df7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3214888,"id":"Q3214888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$7EFB6528-4903-4A7B-9EA6-23DD9A612B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82da2224f14e03ddf985d14a87269f3e0107f66c","datavalue":{"value":{"entity-type":"item","numeric-id":5597507,"id":"Q5597507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$57BB2C26-5D76-4B46-8A88-5CEAD2903A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$C11059D1-DFEA-4062-B12D-0AD680ABE320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$6A35C250-5596-4A2C-B3AF-A289AD66B7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$34E6E21C-E0AE-4255-9B0C-04FDC2688D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$F88DF7E0-F162-4D21-9896-8C627C6636B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72f703dacae0c0f30fbb319a38846351366c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3924898,"id":"Q3924898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$F74FE179-C3A1-45D8-99AA-8FEEF323D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$AA12D40A-9EE9-4C1E-8627-29B4230783C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$52365FD3-8111-4DFA-82A9-3A23ED243088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f1c40bcd9da2db7fb9df2cb404605273e31214","datavalue":{"value":{"entity-type":"item","numeric-id":4145690,"id":"Q4145690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792319$1EFBD19E-E535-46BA-BC56-C3DD3BA9D535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"531365d37434dd70c14445084464008fe21637ec","datavalue":{"value":"https://doi.org/10.1007/bf00485463","type":"string"},"datatype":"url"},"type":"statement","id":"Q792319$B7642B6F-4AA6-41A8-A0A1-EC477DA19138","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fece72b7fde33cb72c21078c0c23b4fdb940cc9","datavalue":{"value":"W4232423688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792319$204B2B38-9DA6-4EC8-A6C9-49C78AAD29E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe72e63a52da899d4122dd906696a13d4dc03324","datavalue":{"value":{"amount":"+0.784209668636322","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":"Q792319$91314F26-8B6B-4D34-BC43-8AF032066008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe72e63a52da899d4122dd906696a13d4dc03324","datavalue":{"value":{"amount":"+0.784209668636322","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":"Q792319$DBE02E55-0BE9-4FB1-99ED-DEC5E2FA8B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c76ee96c272e5726c28f9feb1023727fe0fb7bb","datavalue":{"value":{"amount":"+0.772221565246582","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":"Q792319$7275EFC9-77F6-412E-B494-9A7F3B651106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9beaa7aea7b6fd23ff92ae40b149a4bbd6c661","datavalue":{"value":{"entity-type":"item","numeric-id":4032872,"id":"Q4032872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9965f8a647bcfa1cb9703131daa31789aa6218be","datavalue":{"value":{"amount":"+0.7721940279006958","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":"Q792319$1C2B5115-2B49-421A-8BF1-760A2CDF27C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93f1a193eead903bffcd6270708864c38c07b90","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ccbea0c39afc4a50c548526eb7773b96975cca","datavalue":{"value":{"amount":"+0.7681366205215454","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":"Q792319$3F17B23F-6484-42BD-AA69-A4413103379E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability and intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizability_and_intuitionistic_logic"}}}}}