{"entities":{"Q3722491":{"pageid":5752397,"ns":120,"title":"Item:Q3722491","lastrevid":50732081,"modified":"2026-01-14T23:34:06Z","type":"item","id":"Q3722491","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952743"}},"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":"Q3722491$D73AA610-EAF3-4CBB-A214-3E567C86DCF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ac986976373a7cbebd6caa6691b95239e63bd84","datavalue":{"value":"0593.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722491$05D53D14-51D8-4D08-8739-EA670612B9D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722491$7EBD667F-E11F-427B-9B2D-55337A45FB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a444d6768b4d4bd87eadc8d3ed91106bd20b3d17","datavalue":{"value":{"entity-type":"item","numeric-id":361854,"id":"Q361854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3722491$96F0EA03-6E9F-44F4-9B8C-54F475941773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3722491$FC498BF4-CB52-4DD1-9DB2-460483427AE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722491$B18E052A-509A-43E3-ABC2-6253707B9A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9038fbc6c9eb2d241eed759e44bf47d202533f7","datavalue":{"value":"03E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722491$0E15E05F-0F4C-4148-9558-C8B87921774C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722491$4C00EFF4-8893-412E-86F0-37830D5341F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722491$FE36DBE1-FA44-4F4F-9B1F-F3CEEC03FF10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88d2b9e1269c467cf7ccb19d4e933030f02e77c8","datavalue":{"value":"3952743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3722491$98D366CF-62B1-4E60-8DCB-3C3EE72A5EB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3fe2c6d430cfbf650460d2391511cf301a2144a","datavalue":{"value":"Heyting algebra valued sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$6C5B0310-BFEC-4CBA-8591-FDC0C52E5A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$8DBC4B9A-1E47-4205-9A67-7015386C7CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"881565a4a460e152b1aa80d889791271a8f704ae","datavalue":{"value":"models for","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$6D5CE971-0E08-4117-B92F-F871E74506F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19064fa319cbb164e97786cc150476609ab22139","datavalue":{"value":"nonclassical set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$264D1C81-4BC1-480D-B303-133CE0E0CC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b545104c95244bca1b72455c1b172d850574c58b","datavalue":{"value":"Heyting-valued universes of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$916F1DB6-F9C7-4AE2-8E57-399CB6A0DDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1920b065b920b871bc4782ff22cd1c24dd86438d","datavalue":{"value":"generalized sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$115F024A-75F7-40BE-938C-AB6585A2E075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab3f43c7ba3996fb9dd6fd646d43309abce9e33","datavalue":{"value":"necessity operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$088F91BD-7DD8-4837-BA86-87BA50F91D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ca34ebcdafa034ab49c6180f9b368a6948da02","datavalue":{"value":"check set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$B04FCCF9-7057-4D08-9DBB-9439602F0C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974e905f90c160fc011eda544b839cbf0858454c","datavalue":{"value":"inner truth value","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$363F8538-90B1-4B21-9874-6C4D202668F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$F34748D0-ADD7-4694-B5C3-DD962F2700A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b554279a6b3d2763e31e966664501fdd51a92def","datavalue":{"value":"dependent choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3722491$A2F86F6B-D4F3-452C-B7FE-4503482DBAE2","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":"Q3722491$2F102593-98D6-415D-83A3-1B732FCFFD88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f66716ea3cae6775dc59c9de749828666855a6","datavalue":{"value":{"entity-type":"item","numeric-id":1095903,"id":"Q1095903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d735673b879ddae17b32e7319d9f41b8593775c","datavalue":{"value":{"amount":"+0.7977229356765747","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":"Q3722491$1D51E9AE-3223-438C-8C5C-562C805F95D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816d800a3aecff75f4759c330e61d98b07bc753a","datavalue":{"value":{"entity-type":"item","numeric-id":3728895,"id":"Q3728895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404e084ba6c1b297871e61e98a28f75959e7afd3","datavalue":{"value":{"amount":"+0.7846758961677551","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":"Q3722491$B1D91533-E139-4C29-9EDD-100C7A36C4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030ac6956f7c721aec0b07b271fa7f8e6997747b","datavalue":{"value":{"entity-type":"item","numeric-id":1311425,"id":"Q1311425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb195946f4963a17312016c79dc241181387edb","datavalue":{"value":{"amount":"+0.7808252573013306","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":"Q3722491$9C1B1CA2-E379-412A-915F-DF91268C7F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b593c6bcb44b2fdc38cb53d07bd4cef5ac2672","datavalue":{"value":{"entity-type":"item","numeric-id":3338231,"id":"Q3338231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3065720f7bac37f20a1c616c2f51c5f0a848a2b4","datavalue":{"value":{"amount":"+0.7803296446800232","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":"Q3722491$886921FD-D21A-4C79-84D6-C3C7290E0639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa077c570c345d54ddcd009d565dd1718d7160a7","datavalue":{"value":{"entity-type":"item","numeric-id":1808240,"id":"Q1808240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e32fad4d524ed9acd28f14d51b6b7f75d10a9d","datavalue":{"value":{"amount":"+0.7802417874336243","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":"Q3722491$5F911FE1-EEC5-4909-9ED6-451CEC89CE7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3722491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3722491"}}}}}