{"entities":{"Q5865009":{"pageid":7894560,"ns":120,"title":"Item:Q5865009","lastrevid":54337319,"modified":"2026-01-26T16:09:32Z","type":"item","id":"Q5865009","labels":{"en":{"language":"en","value":"UP-algebra with apartness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7539998"}},"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":"Q5865009$E2471F9F-879A-4316-8F9B-09B31CA3F646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b99dba01350cce8d5a1e4d76263498ce72325d3","datavalue":{"value":"1499.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865009$5AC97D4B-6692-4AB6-8EB0-D780BD50BEFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"228026c05114059c771b3733668e2ebd2b1c757e","datavalue":{"value":"10.7251/JIMVI2101017R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865009$4B8FBD1C-717C-47D2-98E0-0390DC8DCF58","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":"Q5865009$54DBCBDC-2603-4E4F-83C5-DAEC70491CE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b1af6d3524f29683f70c28d07cadfb3a84b3d85","datavalue":{"value":{"time":"+2022-06-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":"Q5865009$07AA8041-74AF-46A3-9B76-8AE57C51D580","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865009$C0D49E04-4367-401E-840B-1DF69FD13568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865009$2C665E66-B5F8-4717-8D66-B9848CCC3000","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1389a566890c84a8895fb350cf3b68363fe42b","datavalue":{"value":"7539998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5865009$80670AF9-6BB8-4DC5-B775-4B0B254F9017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865009$6609EABA-EC9F-4E89-9C38-50699173CAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43ce435d8363f0dc1c2a14acca10d32ccb13272","datavalue":{"value":"UP-algebra with apartness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865009$C9D6E2BB-D7E0-4CA2-B1AF-CB97C5F75604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f3260e3056335556e03263b72248589e881d55","datavalue":{"value":"UP-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865009$827372F4-6EDA-445D-AD69-A97D32D57178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f29bc6528e415c31e8341833a0d8cbde78b986e","datavalue":{"value":"UP-coideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865009$6128620C-0356-4175-9FC6-2F23173544FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099adda30cf9de5a09371e76a4985f83b3763360","datavalue":{"value":"UP-filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865009$8698D5D6-1A55-44DE-89E2-2728D733EC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492ea688f1785fe959b80af4b5d48806c77698d0","datavalue":{"value":"UP-cofilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5865009$7B2B7D42-DC5F-466A-A11B-9ED2FBE2AF01","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":"Q5865009$6EE642BA-CB67-412F-99AB-DF25609A82AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e3edeac3c4e23ad72ec4670af3bef86fc01592","datavalue":{"value":{"entity-type":"item","numeric-id":4607428,"id":"Q4607428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e95307c9462edb87d8f5d4d5eca31bc4c82bf77","datavalue":{"value":{"amount":"+0.8018963932991028","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":"Q5865009$268FA789-862A-4BEC-866A-3EE6E8B45381","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":"94b5900c88211e96d894ace71833504a91e5b7f9","datavalue":{"value":{"amount":"+0.7801686525344849","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":"Q5865009$F30B56A6-6FDE-4AFF-8D8A-521E8BF6B862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535ba5a0b5d3030f690f43fcb619dd08a5f9c7a0","datavalue":{"value":{"entity-type":"item","numeric-id":5134126,"id":"Q5134126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0457b8fbec692218ec37064a0f4679da0c623e","datavalue":{"value":{"amount":"+0.7771928906440735","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":"Q5865009$B5C2C44C-1438-4AE8-9126-A82061B42617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511ab11463828b2189fea430e150990ea7730b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4989837,"id":"Q4989837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba789632778d6c8f80a62a560aeb06cb379ddc3f","datavalue":{"value":{"amount":"+0.7742212414741516","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":"Q5865009$7CEAA769-8ABC-4789-9929-B3EC22245DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdce7ff3f1918d49c77fc973dfc9a88bf7cfa743","datavalue":{"value":{"entity-type":"item","numeric-id":5869695,"id":"Q5869695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4886c59a87c73bc537c2ab278fe91a2a0dffd729","datavalue":{"value":{"amount":"+0.7627882361412048","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":"Q5865009$9EE2B229-1F3C-494A-870B-2FDD278850E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5865009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5865009"}}}}}