{"entities":{"Q5233371":{"pageid":7262939,"ns":120,"title":"Item:Q5233371","lastrevid":53526005,"modified":"2026-01-25T04:13:20Z","type":"item","id":"Q5233371","labels":{"en":{"language":"en","value":"Co-ideals and co-filters in ordered set under co-quasiorder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7103390"}},"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":"Q5233371$EB4D6C2A-3D2D-4B56-9604-B8B0C2EC9958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4f20a00f9d20836d852c344eba92c3719e1bcae","datavalue":{"value":"1438.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233371$9838700F-9687-482F-A66E-37FE39D82926","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dca1977e59d119bf4aa9451a38757abce560f23b","datavalue":{"value":{"entity-type":"item","numeric-id":309963,"id":"Q309963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5233371$5C8EC9E7-0F9D-424A-9B15-D98A8D4CBD5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc84744ff137a14a0f2c32fabac998ce0cb5e5fa","datavalue":{"value":{"time":"+2019-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5233371$18B89F3F-C2AC-4AAC-B9B2-0CC478F1B84F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233371$437C2B68-67FF-4938-AE51-96F16E1AE7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233371$B8578BC6-F0CC-41A2-A189-FE93AD2E6EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"301e9228772656045ed15e69280ef5f13c3d826d","datavalue":{"value":"7103390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5233371$C9D91877-4898-4EDB-AB13-DD1101C84C6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233371$E6AF0B35-F546-457D-BFC9-B89DC265FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948edd862fdc7e9e82cf5c8972a23bd84da90db2","datavalue":{"value":"set with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233371$41197D9E-0F82-4517-8F3E-BD1BB4552E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21eb6108619c6d91f92af0d09c27d7793f7f8036","datavalue":{"value":"coequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233371$D1CA30B6-77F9-411C-B3F5-919344C14912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c3647853a25fddf2d6f460ea6161d6f9193c408","datavalue":{"value":"co-order and co-quasiorder relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233371$BF65328F-635D-462E-9785-7D74BACE6844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6477ebf28cf6fa8679e79be386cb7afb1cd36664","datavalue":{"value":"co-filter and co-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5233371$F7F4B095-8A9E-4DC9-A971-582C6EC629B7","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":"Q5233371$3CDDD578-A435-4E03-8D3C-004E82153FF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0dda13db0f0b2cfe9a751df8b771ac7a4713674","datavalue":{"value":{"entity-type":"item","numeric-id":5035223,"id":"Q5035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccb56b2d1ccc064319f0fe7b2ae923ef659c906","datavalue":{"value":{"amount":"+0.8431833386421204","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":"Q5233371$9616B112-3600-4F49-8CF8-761D793FB1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2c9dea4f1284c03e1b34e01a1bd17fed994c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5193474,"id":"Q5193474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9209f7eeee2ca92d494c66a84d416055db4d0423","datavalue":{"value":{"amount":"+0.812825083732605","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":"Q5233371$DCAFFF86-2583-400B-86A0-079BA61CFCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c843f1be6e359cda62577528eec109f58bb80b5","datavalue":{"value":{"entity-type":"item","numeric-id":4566396,"id":"Q4566396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a06b57fc36b39fec28dd271658315948c0b086","datavalue":{"value":{"amount":"+0.7989382743835449","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":"Q5233371$A60AE4A5-FF0A-4376-BF7C-B9192F9911FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a043f14be634b53fca11272e22570e23c9a1fd","datavalue":{"value":{"entity-type":"item","numeric-id":5134010,"id":"Q5134010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45b17554cb3cc30d0dc0e24c814ec7b11d28142","datavalue":{"value":{"amount":"+0.7970395088195801","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":"Q5233371$74360C02-2933-4373-A564-11648BEA28B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619c4f04d4a311027b242a665d49b5ea8fd20716","datavalue":{"value":{"entity-type":"item","numeric-id":4989775,"id":"Q4989775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b714a23b405c81305f6be3333a2cbe7d498419b","datavalue":{"value":{"amount":"+0.7839844226837158","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":"Q5233371$2AFA8618-FDD3-4CB5-93BD-8D0C60B50C95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5233371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5233371"}}}}}