{"entities":{"Q5957923":{"pageid":8134725,"ns":120,"title":"Item:Q5957923","lastrevid":102076754,"modified":"2026-06-06T03:26:03Z","type":"item","id":"Q5957923","labels":{"en":{"language":"en","value":"Dual realizability in symmetric logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719238"}},"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":"Q5957923$32BB2F78-47B7-42AD-BD87-9FD7DFA3036E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78190f00b146c550ee12d03651e06aff20d20506","datavalue":{"value":{"text":"Dual realizability in symmetric logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957923$FB0B1E8A-C81B-4700-93AE-4B8B5B29285D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cca2ce84878c7231ea82a46b7974c2daef9dce1d","datavalue":{"value":"0995.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957923$06CD8311-12CE-47BD-B8C8-10DE6DC787B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e29d9b76a7b1133fd352f95cf49e6444a580116b","datavalue":{"value":"10.1016/S0168-0072(01)00068-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957923$AC180D9C-8CDD-478B-9A07-13135CCB181D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789c45f41f0a06a9255d9ee6339bc30f9f637dd","datavalue":{"value":{"entity-type":"item","numeric-id":937905,"id":"Q937905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$FECA4199-6998-406B-B2F5-04CA453C9746","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$88CCC7F7-C8E1-4CBC-813B-0242BEE91B8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c99628f8dc3436d8641aa0726a190a4fe0d0bda","datavalue":{"value":{"time":"+2002-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957923$57DB1237-5552-4DCE-9D48-B1A286A79240","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957923$A59236E1-4C40-438C-A3D1-638791400A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957923$1AC95964-3AF6-4823-A7A3-27E2E40555A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6899e44855cb25dd08d75b424a94fd166c9c654","datavalue":{"value":"1719238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957923$2E330345-8398-4505-BDAF-51A09C80B7C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93591583eace2ef03b00d3f9ed2d462a9c881708","datavalue":{"value":"symmetric constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957923$C8A82EBF-A405-4BEC-9CF3-A983C7D04FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e095987e91bfd1e4b5e16338b7f38625214a6b7","datavalue":{"value":"constructive truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957923$1D5820BD-6D7C-4D80-98AB-E1381C90C782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217b6426c608d07df4f9bcee5f2ecc43159b3753","datavalue":{"value":"constructive falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957923$3843667B-98B5-4D84-821C-B1B808F2BE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957923$66C7690F-7204-448C-B9F2-683B1F3300FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f8604e6f42154ed237ba6ec99d0481c8e21d18","datavalue":{"value":"symmetric constructive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957923$37B51C46-3EC0-42FC-AF7C-FFA4CED025E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8280f8ed791deaee9c7ea166fc222e45c9c00e3","datavalue":{"value":"reverse transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957923$8D17910D-A337-4CFF-B737-5D7F8E618656","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":"Q5957923$AFE10CFF-DDFE-4347-9A57-5BA771B0BCB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03c46dfc7b75e41a2df8bca90ca883242552b78","datavalue":{"value":{"entity-type":"item","numeric-id":768371,"id":"Q768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$036389B4-32E1-444E-9603-8ECA79FB13E5","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":"Q5957923$2183099F-93C8-41D5-89F3-C661381BC0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$33E22ABD-808A-4C7F-9981-DD84979BABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15427e7132cbfa8bcc58ffc23b1b88af7d4464a","datavalue":{"value":{"entity-type":"item","numeric-id":5577092,"id":"Q5577092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$A5A941AA-7DF6-409C-8598-939633CEB7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6835579a3ca0ac8c5de61d907be013634a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":5605218,"id":"Q5605218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$5E5FAC7E-3313-4DDB-80FC-A6DAEBF72E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c263d2474b304c8da1c3dbaa14273408c5222","datavalue":{"value":{"entity-type":"item","numeric-id":2555492,"id":"Q2555492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$ECBA7F40-1067-4A38-91E5-9E0B5A214F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$A62D6887-4606-418A-93DA-A9D2343DEB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bf9a67374b43108e736411cfd2323fef9d3704","datavalue":{"value":{"entity-type":"item","numeric-id":3256323,"id":"Q3256323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$DFE6F982-8F7B-4185-9895-3332D9F62B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32c2f6e4f28105b3f9cc572087475b0cefffda6","datavalue":{"value":{"entity-type":"item","numeric-id":3849890,"id":"Q3849890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$2152A1BF-717D-4BA8-815D-BB0BC4C8C184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8d427780646752b440e62b35c1cc861f0bf2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4071217,"id":"Q4071217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$5D219172-DCAF-478D-B4F5-55E43DE3FD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7777ed34c1036dfc2886e0b646446a1f356a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4041548,"id":"Q4041548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$472DBC0D-AB05-493A-86B0-CA4548FB39EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6296a0ee506b967064ebd97a7599fbd4cb683a4a","datavalue":{"value":{"entity-type":"item","numeric-id":4307609,"id":"Q4307609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957923$DCEAFF6A-193E-405C-AA91-D2086FC93AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e33a799c98e339d5cc09725573406769588d202","datavalue":{"value":{"entity-type":"item","numeric-id":3012506,"id":"Q3012506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e903a587b95521e32208589be80e0f2cb2e0ee5","datavalue":{"value":{"amount":"+0.9290107","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":"Q5957923$5426E8C1-B894-4077-8FB9-0B42C8CB6E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f619b0317e6cb9744cb189fabbc1d377693aa9b","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eea7cdfc9cff8d86515aaff48b2d6fc3d4dda59","datavalue":{"value":{"amount":"+0.90146375","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":"Q5957923$195A38EF-F3DB-4B06-8361-C9F4181C9D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3efde63d90155b42b4f881562a3fd4af530240b","datavalue":{"value":{"entity-type":"item","numeric-id":1914154,"id":"Q1914154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42493e62d40833204ae2a84ffe0f17a1a5f0ed8e","datavalue":{"value":{"amount":"+0.8990875","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":"Q5957923$B2B33D7C-98AC-40AF-9C57-4677D9EE2713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94103f48d6ae8ef250d591b86ac15ca5a8d20df5","datavalue":{"value":{"entity-type":"item","numeric-id":2534158,"id":"Q2534158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea152dcb34f1154aba175d7359a14f6c2d90895","datavalue":{"value":{"amount":"+0.89880335","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":"Q5957923$22574006-54B9-411B-9BAF-5C99117C825A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64df18dd0530bf2a60ccb742992f0cb607f4c7b","datavalue":{"value":{"entity-type":"item","numeric-id":4992392,"id":"Q4992392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e504bcbd4dbbb0c14a37d1123a51aea46e0df9cc","datavalue":{"value":{"amount":"+0.89060855","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":"Q5957923$25E46646-D2A6-47C8-A1ED-80968AD7F3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbb98ebe2a263e0372fc52cdf1118d0557286c1","datavalue":{"value":{"entity-type":"item","numeric-id":5346685,"id":"Q5346685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e504bcbd4dbbb0c14a37d1123a51aea46e0df9cc","datavalue":{"value":{"amount":"+0.89060855","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":"Q5957923$E178B69A-6E02-4957-A504-9BF1B0C44EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1463d28f9c4d2fe983d16b7c9ff27f67a97c0626","datavalue":{"value":{"entity-type":"item","numeric-id":1128984,"id":"Q1128984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a25eab70e6785565d713d6269dad1d9f70fa184","datavalue":{"value":{"amount":"+0.89028203","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":"Q5957923$248B0233-6D71-4F60-9F1A-797E1506019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aada20b6aaa93a53684d81a46cc6651ccd33f625","datavalue":{"value":{"entity-type":"item","numeric-id":1029824,"id":"Q1029824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cbb4f32fe99aa5e100c7ec466877625896bee2","datavalue":{"value":{"amount":"+0.8890362","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":"Q5957923$62962C90-FF82-4EC7-87C6-24F017BDCC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366496dec6b15081765160ad5152223e33cfb201","datavalue":{"value":{"entity-type":"item","numeric-id":3137743,"id":"Q3137743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb2830fc7d8e3298fbed78df4f80f9d95442af8","datavalue":{"value":{"amount":"+0.8878308","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":"Q5957923$DBD557A4-DAB3-4A59-A1A4-0DDB8C329A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b1a50d1b3a1a502ea8e44b5e262dde9e24167f","datavalue":{"value":{"entity-type":"item","numeric-id":5452174,"id":"Q5452174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c1f66013155c02fcda98c01f6c89da338dd537","datavalue":{"value":{"amount":"+0.8861226","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":"Q5957923$F2B3795B-91FA-4933-AF29-70B9058E1929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual realizability in symmetric logic","badges":[]}}}}}