{"entities":{"Q2079874":{"pageid":2090616,"ns":120,"title":"Item:Q2079874","lastrevid":82429388,"modified":"2026-05-06T20:53:19Z","type":"item","id":"Q2079874","labels":{"en":{"language":"en","value":"Morse set theory as a foundation for constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7597581"}},"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":"Q2079874$14EC9782-D6F2-4305-998A-054BD36079A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90e3156d5bf2dace1dd616454cc6caabe186c14c","datavalue":{"value":{"text":"Morse set theory as a foundation for constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2079874$1260FAF9-9558-4DFA-936C-A8ADFA09A64F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$B7F67E9D-6B16-4D87-92F4-909ECA3B1668","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$9A0FFEE1-1E6D-4B29-9643-267DEA722BF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"518e300db17bfff1ac1e0945a75cbb743f9cc157","datavalue":{"value":{"time":"+2022-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2079874$9C2D0622-54C1-4B25-8C12-36264578B8AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2079874$8E8B31DF-E18B-497D-A987-16314536EF91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c10ddca2fea42896742107fc9f6352972daafc8","datavalue":{"value":"7597581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2079874$D35C2975-00D8-4E76-BE97-64D5D9405250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e85b981a01185e413198bd15468d8410b560378","datavalue":{"value":"constructive Morse set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2079874$6C298E90-1966-4F09-B83C-B8734039DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2079874$FA6963F6-EDE9-4953-89C8-4E3A7C05D62B","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":"Q2079874$B3D0A622-28A0-4644-AAD2-01FBF65F717D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0c92c21a40770ef8c83c73400f9b9f5d97693ca","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2022.06.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2079874$F6124761-2B8E-4D82-B6D6-0E2913018E57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a72fe4394ed5ea08cc981533c909d3a24aa34b84","datavalue":{"value":"W4282964207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2079874$14238DD1-2EA5-4724-929B-79D9810F66A9","rank":"normal"}],"P223":[{"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":"Q2079874$403DA82F-6C49-45D6-A8DD-C056D5A376E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0aeda7c5e317dedad8a0b502436615d36d5a705","datavalue":{"value":{"entity-type":"item","numeric-id":5221835,"id":"Q5221835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$32A80796-E5EE-43BA-8AE0-8EA61D92FBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d51e91008e604186625ce09bd060653249e096","datavalue":{"value":{"entity-type":"item","numeric-id":2546865,"id":"Q2546865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$8929ECB1-4A8A-44CD-B775-41409D3DCAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb580c82523f253a797e87216521a6b51de0230","datavalue":{"value":{"entity-type":"item","numeric-id":4168917,"id":"Q4168917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$60ED71FA-0E35-4A19-B801-0BE4DFB13308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$2F2BBA4A-00AE-4173-8FE6-3531E38D386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc93c434a8b7361da879767f9de508229b7afd","datavalue":{"value":{"entity-type":"item","numeric-id":5569442,"id":"Q5569442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$B125937F-CCC0-486C-9AF3-CE0849DE4009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$952F72DB-C1D4-4E3F-9BAE-94456094D894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912faf5a80268b570656348f4135d0299e14b86d","datavalue":{"value":{"entity-type":"item","numeric-id":2554689,"id":"Q2554689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$FA8EA2FF-D5C8-4E19-BC9D-D9CACD88E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce52d4f27e8543c3e57e7dec883e2886338c2d77","datavalue":{"value":{"entity-type":"item","numeric-id":4214829,"id":"Q4214829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2079874$82849115-B5B1-438C-B527-053D47F2BB62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5d4e08c0d73b96b20f150689fde0e53e3dd9757","datavalue":{"value":"10.1016/J.TCS.2022.06.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2079874$44F1FC87-B38A-48D9-970C-F91E0DB7AD79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eacdf69cb8d7d9f852db15318a5337b40ae475c","datavalue":{"value":{"entity-type":"item","numeric-id":3201046,"id":"Q3201046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39583278665609badd56c50e465476340ce00a88","datavalue":{"value":{"amount":"+0.8509427905082703","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":"Q2079874$B6EAA3CC-9348-4249-823E-6BF0EABE035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d63e6cdd7f809c7cdd36eb7f399af1b0d7d176","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb76774403050baa6ede4e4c90bedd7829cd24c","datavalue":{"value":{"amount":"+0.7955668568611145","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":"Q2079874$C564547B-AE79-4C26-8FB3-C7BA58A227F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9889c3b95b1b19beb22295a52aaf6a8c4c4004","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2db74b900b3d7511568d118110f1b7ebc4f13c6","datavalue":{"value":{"amount":"+0.7673125863075256","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":"Q2079874$822CF8F7-C994-4BA4-93DE-6BEF091CF317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c46b59865e1b937aa7e5f471061fbf12e9ac5c4","datavalue":{"value":{"amount":"+0.7629233598709106","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":"Q2079874$D2060F8A-5DE7-431D-A845-079E7F7A1333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9543024042af6733112f6b1eb1b0d3ae39103c70","datavalue":{"value":{"entity-type":"item","numeric-id":3478405,"id":"Q3478405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80bf745fa557d945a240d0103dd6a4a8eaf66e2c","datavalue":{"value":{"amount":"+0.7615547180175781","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":"Q2079874$6CE752E3-5788-4717-B0DA-214ED5F0CB98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Morse set theory as a foundation for constructive mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Morse_set_theory_as_a_foundation_for_constructive_mathematics"}}}}}