{"entities":{"Q2887377":{"pageid":2898102,"ns":120,"title":"Item:Q2887377","lastrevid":79651118,"modified":"2026-05-06T14:24:32Z","type":"item","id":"Q2887377","labels":{"en":{"language":"en","value":"On the Heyting algebra objects in a topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6041732"}},"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":"Q2887377$4CDBBBDA-C5F8-4F89-9C14-EA512782D1AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b7c9fd2408eaa64dd177b94879f0f74f5a1fbf6","datavalue":{"value":"1249.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887377$B2B839B4-80F2-4EE7-9683-B0E9BC4C488A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f39391c98ff63e9680bab482aace79421cb72de","datavalue":{"value":{"entity-type":"item","numeric-id":983855,"id":"Q983855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887377$8FE91DB7-AFCC-4EFE-8966-0A4115BF4107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76ee71a25b6fec843831d0f0ac5bba8a945deaa1","datavalue":{"value":{"entity-type":"item","numeric-id":274638,"id":"Q274638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887377$DC472F21-E67D-46FB-A923-0046E3EB23FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-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":"Q2887377$F525187A-C07C-4A77-A8F7-93EC7BDC64C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887377$90AAA279-737F-4552-B587-3D7D21DEB838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0e949de58ca6c32b1266db98d012bd65bef312c","datavalue":{"value":"18D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887377$E1D2A9CA-2A31-43F9-94B8-A9DEACFE2ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887377$907CF0A5-7158-40C1-817C-F7B9D8117CFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0811643652fa74fba40e2b254c855ce45f0f926b","datavalue":{"value":"6041732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2887377$BF904245-E42E-4CF7-B912-557409B3D546","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180f05c9278fc7ee5d455c9839b652472bc57cfa","datavalue":{"value":"internal Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887377$7BA31953-A619-4704-B1F1-70A380B7D8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1b9dad346526de85d9ecb720b94b4f47a990b1","datavalue":{"value":"internal distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887377$DB9FA64B-FD82-41BC-A7B1-3883931873D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2887377$B9EAC882-50FB-4B9B-9C87-21448CDB4798","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":"Q2887377$4E4B3E74-4F28-4288-AA08-30039B250C89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6711c8133b9564e9abd4fb706c07e1677b13ea41","datavalue":{"value":{"text":"On the Heyting algebra objects in a topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2887377$EE24BBDA-3287-4B3F-BAAF-DA8F4A5DB12E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ddfec0d867c8415c3eb080912d5d3b937ef0d721","datavalue":{"value":{"entity-type":"item","numeric-id":6768698,"id":"Q6768698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2887377$DA68C4EE-648F-43A0-8942-0FBAED8DFD0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"219de793a19cc7fb76b795e4418aef3e586f23bf","datavalue":{"value":{"entity-type":"item","numeric-id":3333218,"id":"Q3333218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211fb716b9463aed5e2e8dd9c85c4a221d0db4ed","datavalue":{"value":{"amount":"+0.7696924805641174","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":"Q2887377$DF8FC1BB-BFB4-4FAA-82E2-6A98E79640EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3198f77f2f94884031068d2a87983f1b4fc8a9b8","datavalue":{"value":{"entity-type":"item","numeric-id":2813431,"id":"Q2813431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74b3a8c2f91880ab719625a9bc22ec98028cd92","datavalue":{"value":{"amount":"+0.7563434839248657","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":"Q2887377$E5836324-0569-4456-869C-65870BCECD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292e4b6159ff83cd31679ef3d96550858872f6db","datavalue":{"value":{"entity-type":"item","numeric-id":4246949,"id":"Q4246949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e672c02e1c36cd9e27f1d0145c67f6146df8f955","datavalue":{"value":{"amount":"+0.7488709092140198","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":"Q2887377$C52FCEF4-1073-4B2E-9AA5-6A7556FC1B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d742942156325998446c8bec3103fd9e50d159a2","datavalue":{"value":{"entity-type":"item","numeric-id":3786512,"id":"Q3786512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0603630c4ae1fd35a0406a12bdef0ddf71266fa0","datavalue":{"value":{"amount":"+0.7445324659347534","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":"Q2887377$1CAEF9E9-2E34-4434-ABBB-8EE4D0065B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9ea7bc17c94d3ff1316942e99510ae110df977","datavalue":{"value":{"entity-type":"item","numeric-id":5855495,"id":"Q5855495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f312b3403ab1139b2fbfd2db20fa8420363aacd","datavalue":{"value":{"amount":"+0.7443671822547913","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":"Q2887377$20CB415A-EFCD-422C-A587-30FB4D525F51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Heyting algebra objects in a topos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Heyting_algebra_objects_in_a_topos"}}}}}