{"entities":{"Q6151820":{"pageid":13286127,"ns":120,"title":"Item:Q6151820","lastrevid":58725171,"modified":"2026-04-06T11:50:20Z","type":"item","id":"Q6151820","labels":{"en":{"language":"en","value":"Nonstandard proof methods in toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7815140"}},"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":"Q6151820$75D5D404-BEBF-4807-BF4A-CF467C253635","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3ca6e37f083c98cb044b0717f5a895e990a6f5e","datavalue":{"value":{"text":"Nonstandard proof methods in toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151820$12179A9B-8763-40A5-BD88-3C7305C83F7C","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":"Q6151820$10A64440-F4BE-4669-968A-96712C04E544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151820$48A4E2A9-AC5F-4A43-8919-4ACFF40B74A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"176bf9453a79c475cb2f4a574779cd49de31e38c","datavalue":{"value":"https://arxiv.org/abs/2308.16030","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151820$0985FB31-B97F-4A6A-958F-D0797515CE80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151820$6A42BC00-6CD2-43B1-A999-F0DBBD3BA9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151820$CF72D440-1056-4035-B1DA-5AA7CFDE79CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151820$E5057CAB-3B63-4181-9484-B6F30A32FE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151820$4384D834-C439-4F35-BCE2-F62F8328982E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad740ffdee89fa0473599f3edba4519ae4791c42","datavalue":{"value":"7815140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151820$9BEC5FD9-A65B-49DE-AA43-435B9206C502","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151820$6FD50DE5-B7DC-4FE7-97AA-BAA73DE13FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151820$6D89C610-C3D4-48DB-B3FF-3572DAD95D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151820$FB842F17-578C-41D2-B2E4-C31E86D6B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e4c5278cd41c6f497ca441bb63f5dc6ee5447a1","datavalue":{"value":"categories of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151820$C52C36C4-17E9-45D1-8697-A613235D85AF","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":"Q6151820$D35C8A95-8BCB-4E52-B09B-B4DDFD25C412","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50cf286519a090c3b1782dfcc7f8b381e0e9a357","datavalue":{"value":"W4392059195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151820$28809A87-6214-4B06-ABCA-E8159A7D8508","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fd0cf3a1ed8a18f45d83900c4627ec6ec2c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3533518,"id":"Q3533518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$A45F7061-6728-455B-97D5-EC7D0D2736FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$10D2CFF7-76BC-4221-A719-D3F985C0755C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$53BE76AC-060C-422C-8EFD-EFDB3A92A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$8192B4E1-19ED-4267-98FB-819BFC7C47B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$86405B45-49B7-4B27-857F-6968D173EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$70AE19B5-7466-40CB-82A5-7387B036694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$F8FBEFA2-DD8F-4FDF-BC3E-D7CB0CF5F2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc943c0daffba6c902908095f5bdee2c1a1a3b89","datavalue":{"value":{"entity-type":"item","numeric-id":4402503,"id":"Q4402503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$8C7C41CF-6F46-4481-9C56-DA6677A1B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$81F65A21-FF9C-4143-BEC8-9ABD4FFF9FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$615DEF5E-F6CA-4653-855A-19EC29EC8230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900e427ddcaeb12a88f4c4858d62f86d4be20c1","datavalue":{"value":{"entity-type":"item","numeric-id":2555143,"id":"Q2555143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$0AC617E3-B5A1-4D64-B466-04C75238510B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b13c272f7e0efff584d99603822371efbd61ab","datavalue":{"value":{"entity-type":"item","numeric-id":1891250,"id":"Q1891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$94A6A454-0E11-4240-8E25-95B37BD31B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$AC6D70DC-E0C3-4C39-ADBF-A17C36FBF731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eead83a1f6030ac7a2c3ce88e8c75da72567af","datavalue":{"value":{"entity-type":"item","numeric-id":1843432,"id":"Q1843432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$A4CEB3ED-9B83-4772-B0D1-60ED36E96DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bf8ae60623eb3188c620c073497d7469f01d79","datavalue":{"value":{"entity-type":"item","numeric-id":4227854,"id":"Q4227854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$934728A8-E500-49A1-B9DE-B8C1ACFBFD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fcf7a1642495de53249f2bb13aa7536f30dd11","datavalue":{"value":{"entity-type":"item","numeric-id":5939909,"id":"Q5939909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$CD9AC40D-E214-4759-9E75-49B672353848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2ebb28a1f6ffe011a8377f3e35daa1068e7723","datavalue":{"value":{"entity-type":"item","numeric-id":1715477,"id":"Q1715477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$FE9F9C2C-B3CF-4A6D-8790-36BB4E3D2337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$99DFA90B-80F8-4843-9BB1-0D7985EDFEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7f45e5ef13a6902f8dedb389ebc38514ec67fb","datavalue":{"value":{"entity-type":"item","numeric-id":1223383,"id":"Q1223383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151820$BA5660C0-1E32-492E-9041-F6F9B35E79D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0228b497f5aa95124f361a5aa02806d29b524d0","datavalue":{"value":"10.1016/J.APAL.2024.103424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151820$B4688216-5C72-4D14-99E2-B30A3B8D1AA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24dea7a2e80c10ba8450034f6b7937bc50d7cc12","datavalue":{"value":{"entity-type":"item","numeric-id":6198354,"id":"Q6198354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ade5638f09dc25dddc3664d7f98f9ea5088a06a","datavalue":{"value":{"amount":"+0.8090279698371887","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":"Q6151820$0984EB4A-AA99-4809-ABD4-CF8157D0828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f3f3768944a4a998ee8d6867624a6630b0f7a7","datavalue":{"value":{"entity-type":"item","numeric-id":3320378,"id":"Q3320378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a09144eb37463ff83584a8e27a6aa42a6aa2ee8","datavalue":{"value":{"amount":"+0.7508684396743774","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":"Q6151820$02385D31-811A-480D-8DE3-086109E6CF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5bbe4371aa6d7ec39865c5bebe9ebc61fa7db2","datavalue":{"value":{"entity-type":"item","numeric-id":3329469,"id":"Q3329469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14364af64696f79aa77b5453ea521a46a7816591","datavalue":{"value":{"amount":"+0.7501547336578369","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":"Q6151820$181D5607-7A97-4886-921F-7962AB0A9E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babbd8aef74a614f7b4a3930c820eb43cf468863","datavalue":{"value":{"entity-type":"item","numeric-id":1892939,"id":"Q1892939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2095466811d478f323b680d829594102575955","datavalue":{"value":{"amount":"+0.749522864818573","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":"Q6151820$3A39DC24-10E9-4565-A7C2-25A788D91ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae60382c66f02b01f4968b188f4ac7bf870440f9","datavalue":{"value":{"entity-type":"item","numeric-id":4444556,"id":"Q4444556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7cc098dd22fe817679ac8a983e9ffb40247e87","datavalue":{"value":{"amount":"+0.7404182553291321","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":"Q6151820$33695E9E-DCA8-4D9C-B2B6-756B151FBBB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151820"}}}}}