{"entities":{"Q6589312":{"pageid":14200469,"ns":120,"title":"Item:Q6589312","lastrevid":55730317,"modified":"2026-02-17T21:49:16Z","type":"item","id":"Q6589312","labels":{"en":{"language":"en","value":"Sets completely separated by functions in Bishop set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898458"}},"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":"Q6589312$34067FED-D45F-406C-B430-34384041F4E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1f8b3c5ea1fe235a3b6fd408ceff762f69f393c","datavalue":{"value":{"text":"Sets completely separated by functions in Bishop set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589312$DD8DD683-608D-4EEE-BCAE-56AEE48BCF5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e76cdbe47969726bb77b39dd245e684ad408c1c","datavalue":{"value":"10.1215/00294527-2024-0010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589312$0D65BD35-155E-4DF3-A279-AEED0ADB9172","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"508ab3977fe59d67f85102e4170d30b94bba9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":290634,"id":"Q290634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$4197EEDA-CB05-43E7-A0FE-5B5F965EEAED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$F8FFF3E9-F778-4EBC-8D9B-F445F7E24C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c9edf3682f8ce3a18f69639bd1f0b09ec55ee0","datavalue":{"value":{"time":"+2024-08-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":"Q6589312$32CB67A9-C67B-4BB2-A09A-65DD91C64E8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589312$D2DF6212-32F2-4007-8E73-7CB42855900D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4607f654f90c55bb05c4980ba57dbfbf81cc7f1f","datavalue":{"value":"7898458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589312$8374ABF5-90C7-4B38-ADAC-57087C4308F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a2af4ab221cf90d7321a662b91a471bde4ed33","datavalue":{"value":"apartness relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589312$8E8CE4AC-B5C8-4909-8FAB-5FD141DB133C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07b141ba5e1aa1434322d39f826fea0a70b2311","datavalue":{"value":"Bishop set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589312$612FC1CA-62F6-4EFA-9863-79468E2B2181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589312$2F6B401C-7E9B-4713-B176-9FC57D2943A5","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":"Q6589312$773CE9D8-200D-4640-BDB0-7D9C775761E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$5117E90A-BC01-4B9A-A6EE-EEBAF2B6FB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$B72F0B02-E7FF-4FC0-89C9-08083E82FC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$84D944A9-D662-4B64-828A-B82B769CBB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3776e46dac4895e33a91194b5e056a565875b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":651312,"id":"Q651312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$733E1FFB-CCF3-453E-AB7C-9C8BD7C54088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$1161130F-8DAF-48D6-A918-2F0D4F95E993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$F96E1014-1DFB-49B0-9C72-080B17ECE42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b93994686002698c488a552ec90e4a2cbac95a5","datavalue":{"value":{"entity-type":"item","numeric-id":2534972,"id":"Q2534972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$3037B5E8-471F-4E02-A793-64007E83C2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5fe45849dcfcefe5f0e05951ec9926129c030c","datavalue":{"value":{"entity-type":"item","numeric-id":1942042,"id":"Q1942042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$48B9DA59-203B-4681-B77D-8CE104842A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$904C29B5-5B29-4F67-8362-A4E039E58851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$43869C92-9B29-4204-904B-F9A1C751E76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$3E4F5FFE-EFA2-4DF9-A35F-E1B411B7DA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d7921c9cb851855154bacbfe7eab100cf71a50","datavalue":{"value":{"entity-type":"item","numeric-id":448334,"id":"Q448334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$B82FBB29-E9C1-468C-8D3D-05CE5986F440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67326b6c80e797a30d875f6865221006e1499ed","datavalue":{"value":{"entity-type":"item","numeric-id":661282,"id":"Q661282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$331A3D5D-73EA-41E6-AB48-BDDFCEA5A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85eb75282babb0af671593e89da706c05d1d3353","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$514629EA-C98E-44FD-B6AC-E2272FE34741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccfe02302a0496b0271dbeaa766715a61600a61","datavalue":{"value":{"entity-type":"item","numeric-id":3195709,"id":"Q3195709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$DCD520C6-F4BE-494C-8B22-A03C4F56CA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7262fb77c0b0a01166269c4c5a041e39641577b9","datavalue":{"value":{"entity-type":"item","numeric-id":4635921,"id":"Q4635921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$6975DC0B-889E-4958-92DC-99A4F6706C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc69036bd9c82b7e88c9181f9e9d7eab8ddca127","datavalue":{"value":{"entity-type":"item","numeric-id":2794832,"id":"Q2794832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$3F1BE795-7E2F-4A53-95D6-1F6459B91452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c848706b8fa40e7a305f788907e8f2c75e0af746","datavalue":{"value":{"entity-type":"item","numeric-id":5283436,"id":"Q5283436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$7BAAD771-B4B5-470A-A059-7D5CD8725881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95c23b8a1ff274274baf756c06a56db6b7f780d","datavalue":{"value":{"entity-type":"item","numeric-id":2179367,"id":"Q2179367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$9BF12291-C499-4170-A324-F02757DADCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240ab920d0af4bf82905a298c155e794acea5e","datavalue":{"value":{"entity-type":"item","numeric-id":5091143,"id":"Q5091143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$B7DC637F-16D3-48CC-8EA9-94A7BE4724F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceaee78c78d01a03d4a0581fae7c4fcb8bb2cbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5108029,"id":"Q5108029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$99EC14F9-CD93-426E-98BD-8D77AA66FF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03826ac4d29d8b1f93bb3bf68817d4e3884db6c","datavalue":{"value":{"entity-type":"item","numeric-id":2106607,"id":"Q2106607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$909179F4-4A84-4367-8A92-1DFFB76C3123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d1efd744d330c55da56a0abf5018cc57d1d855","datavalue":{"value":{"entity-type":"item","numeric-id":4989398,"id":"Q4989398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$2808B7B8-A227-4E01-9239-0CB3377263C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a045079b569e7eafb9aeb4fd8f8e4333b8e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2084948,"id":"Q2084948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$E5DF0E37-A3D1-4243-99E0-AAF9BC977701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbf96bda9b0e8441a70afe9e49cf9f5bb826e61","datavalue":{"value":{"entity-type":"item","numeric-id":5055489,"id":"Q5055489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$BAAF60D2-6721-4549-BFE7-4F6819CC3BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfdef06d4ef10ba1bd639c696005da269302ae25","datavalue":{"value":{"entity-type":"item","numeric-id":6116077,"id":"Q6116077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$4EA70769-00F4-4CD9-A23D-2950DE020B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cadb1e08b589fad3a60a578a50d93ec436bb2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2104273,"id":"Q2104273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$241E8041-473F-4F70-9D05-F8370981276F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fc11d2346e46f71f462ef9d98414772edce410","datavalue":{"value":{"entity-type":"item","numeric-id":4552747,"id":"Q4552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$F4F3056B-9500-4325-9C92-5BF4889E21FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c425ebe54978fd2c25004efc13a90f5ecce3893","datavalue":{"value":{"entity-type":"item","numeric-id":1182691,"id":"Q1182691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$72B04835-ECC0-4066-8B33-416F9872FBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b7e9200cb9b780415ae815aff060179f27e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5044310,"id":"Q5044310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$1B407171-44E6-4BC0-B086-4E01C48FAD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fbcc021cf49758480dc5df4c4765414a7a99cc7","datavalue":{"value":{"entity-type":"item","numeric-id":4043738,"id":"Q4043738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589312$F144C0F6-12A6-40D0-9EA9-CAD1169D771F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271dd554c4b2660dcd1d7da6d42189e9a886ff29","datavalue":{"value":{"entity-type":"item","numeric-id":3195709,"id":"Q3195709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a742f2be04df69061e58603b21f150047b2b0fe","datavalue":{"value":{"amount":"+0.7636095285415649","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":"Q6589312$A53B0D6C-428D-458A-A1DC-18A9D11FA1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7f888fd1a2a2d9985ec760c4025ae34aa8f915","datavalue":{"value":{"entity-type":"item","numeric-id":2179367,"id":"Q2179367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97335b7cad0605d0dd7d00c28c3e96bf277d1d8c","datavalue":{"value":{"amount":"+0.7310307621955872","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":"Q6589312$EA780B0B-4936-4981-81D2-8D8662F9901E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6184f120408af053a44cbe8f1dab32277ce804","datavalue":{"value":{"entity-type":"item","numeric-id":2794832,"id":"Q2794832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d66fded5fc6328447ff63dceede0ee745e198b8","datavalue":{"value":{"amount":"+0.7206761240959167","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":"Q6589312$47F573A9-FB33-4D84-AC8D-5DCD7B344E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6b761d163317f6137e3be945e98043ea5a58ab","datavalue":{"value":{"entity-type":"item","numeric-id":5108029,"id":"Q5108029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beaecca87b4f65bc1fa97c98e109782004a587c9","datavalue":{"value":{"amount":"+0.7166717052459717","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":"Q6589312$668EDF7E-51E3-4B6C-99E1-5B6EB5BDE204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bdacee297867fea73431176e04d40568687e4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4989398,"id":"Q4989398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710c4cf32ca3991054ce24f0dc077312131b6d65","datavalue":{"value":{"amount":"+0.7102084755897522","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":"Q6589312$28879208-F3D4-499A-9D9A-9D4ADC4A2667","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589312"}}}}}