{"entities":{"Q3826731":{"pageid":5856637,"ns":120,"title":"Item:Q3826731","lastrevid":90762647,"modified":"2026-06-04T21:17:55Z","type":"item","id":"Q3826731","labels":{"en":{"language":"en","value":"A note on inequivalence of realizability toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101437"}},"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":"Q3826731$F3DBF34B-FEBF-43ED-9451-1AE157A53EBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701ccef8977d43bc72ab6a522cf3f9d827012667","datavalue":{"value":{"text":"A note on inequivalence of realizability toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3826731$69B94936-C73E-4FEC-A393-83830092B7BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81ab047d501986f1a505309aa27bb5d7439adde0","datavalue":{"value":"0673.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826731$522BC856-511F-4827-B25D-1384E7410986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d50284b4843d8fd04bc4430f0d7b971c1a90bd","datavalue":{"value":"10.1017/S0305004100001304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826731$D842930E-FF5D-46EC-A240-B285EB5827CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5afc85545e99d122f94223f695bdc5c3348c43","datavalue":{"value":{"entity-type":"item","numeric-id":280199,"id":"Q280199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826731$354DEB23-C572-4525-B9D8-20C2ADC301DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d9c949c56161faed1aade087470a53cfc22b03","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826731$88DBC34C-0D11-41C5-9534-428B3007F370","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3826731$842EC77E-D50A-497A-9A42-CC52D931C63F","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":"Q3826731$4F75A18A-2878-4EF2-A2E7-D73CF47B4834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826731$F88E7F05-618F-4725-B98E-F2B1BE000406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826731$7638B1D3-B45F-4F15-B9C9-0E954E3922DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad62f2a52d2ff2c2954438798908368c46ed1b05","datavalue":{"value":"4101437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826731$CF361759-F63D-4141-A17B-852AF7888E73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea718196cd52adc01deb3f30120119ba0dc5ecd","datavalue":{"value":"partial applicative structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826731$C5A22A75-2289-4F2F-B94A-B44B8BEF2A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e29b1e7184c372a56baba44326cb4e80176a3e6","datavalue":{"value":"Sch\u00f6nfinkel algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826731$732C5F17-D562-4D63-A8F3-3AC4F1600321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3960d9df7c8ab42460179c7cb0ec2de2bbd8a86c","datavalue":{"value":"realizability toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826731$9E4CA8BA-216F-4D94-8B59-63AA75E1BA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3826731$82A6CFAF-AC74-48F4-8247-F806716E0C67","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":"Q3826731$66C70B28-C0F1-4CD7-BE28-D8862D6386F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"582ee6932c6de3b15e7706020deb46425701489d","datavalue":{"value":"https://doi.org/10.1017/s0305004100001304","type":"string"},"datatype":"url"},"type":"statement","id":"Q3826731$0F1663E4-B59F-420D-A5E4-1F3189AB5BFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d602b97db945a5dab5a4c2528694fa0c85d850a","datavalue":{"value":"W1977755268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3826731$54780496-2118-494F-81B3-3BBF1F8E515F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb637458494fc5c830c1b5eeaca677eec5648e9","datavalue":{"value":{"amount":"+0.76506555","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":"Q3826731$73A59CDA-0128-4D6A-B9AC-DA7D26391BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688c748bf5e385f5486844eab0ce6c72f9f37b27","datavalue":{"value":{"entity-type":"item","numeric-id":2847361,"id":"Q2847361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be537095e1478433cbec3f23e50dbf58f66607f","datavalue":{"value":{"amount":"+0.7621926","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":"Q3826731$947E1413-2E74-4BC6-9793-B155FAD5C884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19788c435fc0aa531f06344ed2c0d89f7d6c822","datavalue":{"value":{"entity-type":"item","numeric-id":5248247,"id":"Q5248247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e0480449ecf752eefb4197a9a30b3e7765e192","datavalue":{"value":{"amount":"+0.75711775","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":"Q3826731$5DBCD612-A100-4FC7-9451-4C5C30C0A1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79477bc109f9bbee7b69e8f8d59807b215092d42","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8d786992d7f9e3373dcf7849b284610a9d6736","datavalue":{"value":{"amount":"+0.7570924","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":"Q3826731$EEC36BB8-A51B-4D2B-9810-5C9EEB68F08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa971499527defc8c3c59ee2f05dd76d0fe0abf","datavalue":{"value":{"entity-type":"item","numeric-id":3146245,"id":"Q3146245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c98f76077ffe894332874fa418a74f95509b48a","datavalue":{"value":{"amount":"+0.75621533","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":"Q3826731$3FF450EB-B0B6-4B95-803C-B73C3F77F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34037fdd3c5d6dfeb99f38ebca57316e55290b0","datavalue":{"value":{"entity-type":"item","numeric-id":3149963,"id":"Q3149963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc316fba3403a18d67c9b85702be4c2a0ec1bd68","datavalue":{"value":{"amount":"+0.7498193","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":"Q3826731$C7A3D971-66D0-4D51-B60F-4511B4D4D316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510187e227362d379ef28e8f04e715169204d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c59564bbf24a5f1c90f220da024d4fa65ce79d9","datavalue":{"value":{"amount":"+0.7466868","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":"Q3826731$5D9B3C62-0102-452B-838E-F994E2EB1096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c500e46ae37c57df52a0c433156a84ee6c5881","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cc423be47421ae15c06586b793f3b8a620b890","datavalue":{"value":{"amount":"+0.74379086","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":"Q3826731$28928684-6121-42E7-90D7-E07B3E73EA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408d3618e601ef68ad249fb8223006b581df83a4","datavalue":{"value":{"entity-type":"item","numeric-id":938241,"id":"Q938241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93ba0a703f0682ea07d7738ad006916ec9af379","datavalue":{"value":{"amount":"+0.73200834","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":"Q3826731$F29A68E0-B998-4F94-88F8-D7E8D21931A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0663660b42dee5c9ba91325547a220d5bb451031","datavalue":{"value":{"entity-type":"item","numeric-id":5894815,"id":"Q5894815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5777e526d031aff5329e8caccf2a2b980ad9bd","datavalue":{"value":{"amount":"+0.72479963","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":"Q3826731$98D793B2-60AD-4F2D-85C4-9D7983124CA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on inequivalence of realizability toposes","badges":[]}}}}}