{"entities":{"Q2658274":{"pageid":2669017,"ns":120,"title":"Item:Q2658274","lastrevid":57970284,"modified":"2026-04-03T07:07:41Z","type":"item","id":"Q2658274","labels":{"en":{"language":"en","value":"Equality and equivalence, intuitionistically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7326268"}},"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":"Q2658274$52916C24-E551-4BD0-B93A-14EF2A089589","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5ca0c206e48f842195b23085fedf070a8f39ad9","datavalue":{"value":{"text":"Equality and equivalence, intuitionistically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2658274$0D11892D-4072-4754-9F44-6DF512099C7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db3c144d522c6924e9ccf4e7b8bf4a97b4e945c","datavalue":{"value":"1498.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658274$E4943772-28CC-4E79-9B2F-A47D9DCE0ECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48b1e3a5b7b2cef3d7702e642aec699f52ec0583","datavalue":{"value":"10.1007/978-3-030-53654-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658274$457D710B-DB0F-4DFB-81D9-AFB3B226BC61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed1b29a779be18eed2e3b376488f3b2b88f9170","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$3F224009-F1BD-43B9-90E5-E2EE490E6BFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99cd72c3f8b23bcffeda78059e62d8c3df9cfa03","datavalue":{"value":{"time":"+2021-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2658274$AAF48F14-80C7-4067-AE95-980C971FC301","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b9862a3990dcd824ac2452df5d3db5d4221b9ca","datavalue":{"value":"https://arxiv.org/abs/1911.09477","type":"string"},"datatype":"url"},"type":"statement","id":"Q2658274$AC05B13D-F284-47B2-9E71-A2EA9EE14CD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658274$F733E5CB-5D7D-449D-97ED-10651C838FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658274$CE12E11B-AC0F-4CB3-9900-D76E374270AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5961eb8ede93c5a5089f4fc82730b24d2c8a7c18","datavalue":{"value":"7326268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658274$723008D9-5EFB-4FDD-B53D-B945AEC45BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37ef528fb66c729bc25d6fac75392619938cda9","datavalue":{"value":"Brouwer's continuity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658274$79ED3162-05B6-4354-92A3-2838896AA5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59741a317de4e1edabc5a6c0e0ae478ac2e063d8","datavalue":{"value":"apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658274$BEBB0F30-077D-40E8-B55E-D0CDC9E16715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f63fbc267df35bdafa08f6880b68a39baf489b","datavalue":{"value":"toy spread","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658274$EA1BD919-6A97-4766-889C-5CCD88B76ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196d78f6128cb58e2861718c726ea74c6998abec","datavalue":{"value":"decidable point of a spread","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658274$4CE549F6-CD4D-4404-840E-6B46227650CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c57f2da85f6ea2ee84c63fe32cb06c8d1471e3","datavalue":{"value":"perhapsive extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658274$E90C134A-38B7-46EA-B507-68A207A6CA1C","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":"Q2658274$6151312A-7B7A-4689-B07F-D1D2C6018DA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c0955a1a8e1ccedba6d1a808c5a8c15c8d7b185","datavalue":{"value":"W3213125812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658274$267C4969-0DA6-4DE3-8521-77072226F383","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48e9b8e84cf9b3c532b9fc4eee79bd50b0243a2","datavalue":{"value":{"entity-type":"item","numeric-id":4068683,"id":"Q4068683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$69320FED-1315-4234-9199-AAA911887080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$12EDFDBB-971F-4792-81D7-B0CA861E8456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$6EB24C0C-C7F1-400A-A709-675F1B9BEA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae7476e82199ba5ccac8018f2d97162fda71e45","datavalue":{"value":{"entity-type":"item","numeric-id":5792924,"id":"Q5792924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$DD89D77E-1F4B-46F2-BD0D-E7E2C5500697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44eaf08006810b82535fe15939be12589f0ff15","datavalue":{"value":{"entity-type":"item","numeric-id":4941995,"id":"Q4941995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$CA0A894D-0D84-4485-AE33-EA3BEDB30D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6d8d7f9a4d4782133d6bbbb04d92329c83a44c","datavalue":{"value":{"entity-type":"item","numeric-id":4552754,"id":"Q4552754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$D5EEF9AC-39FA-4A49-BFFC-6242F180DF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b32ac5b95d99aac6ea6506c4ba1aeb98509a3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2488272,"id":"Q2488272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$13FF5141-C148-4B4D-BF87-F7E90A9396DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1763ada9c70c2f163c5e0a75affbc187f84d80a2","datavalue":{"value":{"entity-type":"item","numeric-id":582291,"id":"Q582291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$B81D00AD-056C-4C01-88E4-870B3C06D9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d8cfeb4874989521b9f332716d7e25aa8e131e","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658274$A58A316B-D8BC-4312-B4F2-DBB7FB68F8DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b984dd498cc9c7fdb300054162b6b08aedf99","datavalue":{"value":{"entity-type":"item","numeric-id":1866906,"id":"Q1866906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151ae9fb400905eb37dbe6ce5f04da65b9767073","datavalue":{"value":{"amount":"+0.7367218136787415","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":"Q2658274$E9BEE7E4-426B-425C-9DBA-22468E5C3BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b8c98cc5d2a750a906a9b581298ea515071834","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4fec7b2f5293b22276159733411e4e2b5ebf2e","datavalue":{"value":{"amount":"+0.7300042510032654","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":"Q2658274$26F281E8-8E98-42A8-A35A-51081359A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e99b75f3960d5c716599c68ff8bd823061e20f","datavalue":{"value":{"entity-type":"item","numeric-id":3691642,"id":"Q3691642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4fec7b2f5293b22276159733411e4e2b5ebf2e","datavalue":{"value":{"amount":"+0.7300042510032654","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":"Q2658274$C77EAED6-E309-4AF6-835C-B208DE9302E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cd03c6cdc3f80f20449ce208f61e04b6b8f342","datavalue":{"value":{"entity-type":"item","numeric-id":4032668,"id":"Q4032668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae864872a4771803dd6c3e7feff491357634687","datavalue":{"value":{"amount":"+0.7247262597084045","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":"Q2658274$C637EB2E-B601-44A5-80C8-4B59EA338D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8670368b927cd555d9b728ebbce5c7d305529ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2765918,"id":"Q2765918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f3d8f968cde4aa5763422307e60378cce87b58","datavalue":{"value":{"amount":"+0.7167980074882507","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":"Q2658274$D8049F31-4E98-4B6D-80D5-AE9DDFAC9049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2658274","badges":[]}}}}}