{"entities":{"Q1208081":{"pageid":1218830,"ns":120,"title":"Item:Q1208081","lastrevid":66349545,"modified":"2026-04-12T09:30:38Z","type":"item","id":"Q1208081","labels":{"en":{"language":"en","value":"The intuitionistic alternative set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165824"}},"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":"Q1208081$3DEFE857-BBCA-4E31-AD7B-B4016075BD7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99a873ca1db8434072837303500c34157d30ac99","datavalue":{"value":{"text":"The intuitionistic alternative set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208081$149FCD45-973A-48F2-B4D3-E2D88A9AB60E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aee0abd80030f2d3ed5c5c5615d6cdd5c0b82d6","datavalue":{"value":"0770.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208081$EF042319-35EC-4C8D-BC48-8CDA15182C05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"194fff672952d4812ef92197153b6fcc323d9b04","datavalue":{"value":"10.1016/0168-0072(93)90002-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208081$7EA630DD-0ABC-48E8-A498-0217B238F8BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$570C79FB-5A47-4B15-A85F-1CEC97F76814","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208081$13C9D1CF-9BEF-4ACD-840F-58B6A7732371","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82eb3ead063c2e812c442d16e794c41ba4da88ef","datavalue":{"value":"Two intuitionistic adaptations of alternative set theory are described. A lot of techniques and assertions are overworked and investigated from the intuitionistic point of view. The principal ideas of AST are discussed from this point of view, too. I have not found any new substantial result or technique concerning AST in the paper. Not being an intuitionist, I am not able to estimate if the given adaptations are immediate or a lot of effort had to be devoted to them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$72F48AA9-269C-4466-8F0B-0687A2A9BEA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c27d99bef3ceb5a591bbc45661a2d7f27b61fb0d","datavalue":{"value":{"entity-type":"item","numeric-id":1057855,"id":"Q1057855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$16EF91B4-E196-4702-AAD5-E75A1C285543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208081$3CDC78F6-AC47-47AD-9402-0B589EB3B2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208081$68939A92-3E7F-4803-B541-F005F243CBCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67260aa268899c29a7f19ea49f21c9735a5404cd","datavalue":{"value":"165824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208081$BBC97111-B535-41DA-8FC3-6ADAA5D23CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d107c8021cb7edf2bf3780a4c1d3754d63c5f3a0","datavalue":{"value":"feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$AD4FAACB-72CF-476A-A6C8-7E009C94C070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1083bbb7d0965b31d194958bae432d6456c6681a","datavalue":{"value":"constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$54417F04-A8D5-46FA-9C6A-F41FE08AEFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf4bb08843832182e7bbb29c82343a87a108b51","datavalue":{"value":"decidable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$924DA226-97E2-42D3-8924-326B8FB74F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c0c51e4acdc42571adbc6dd6328d3be6912aa8","datavalue":{"value":"prolongation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$F3C0B9A9-6F1C-4242-9F03-4BA1DBFBAE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"537933648407393a24159eeed0754b65d0a777a1","datavalue":{"value":"semiset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$14CA0037-980B-4796-93AF-9529E7CED70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f32defd18175082be6356fdfd3d64a8dd373b625","datavalue":{"value":"indiscernibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$8C6E7D34-9732-4465-A848-F485C9EC8CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b5083f8729060c741b60f552f27234e8beeef93","datavalue":{"value":"intuitionistic adaptations of alternative set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208081$27F19376-C4BA-4C2B-800D-5D243F1D0275","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3c3a156eb332c18b115f76d91fa2dc6dbc919a0","datavalue":{"value":{"entity-type":"item","numeric-id":1311747,"id":"Q1311747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$FE219AB6-5CCA-4F10-8964-C916CAD76BDB","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":"Q1208081$5EFB04BA-F473-4F8C-926B-4FCE56F848A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$96111EAA-C1CA-4FCA-8B84-04FE6DA06BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d07acc4ee155e7be745091d8142907753ba26b9","datavalue":{"value":{"entity-type":"item","numeric-id":3984426,"id":"Q3984426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$7B83B314-5D5F-483D-8E44-34F0D7DA6460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb95c0980ac6e6ab8304c139a65c0d5c9389cfa","datavalue":{"value":{"entity-type":"item","numeric-id":3789550,"id":"Q3789550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$B1C58431-F636-4D47-BF6C-284EBE6CF9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92a51413f7960882ce7ebd8b92deb2712c98637","datavalue":{"value":{"entity-type":"item","numeric-id":4053624,"id":"Q4053624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$F1E44D21-0EF6-42D2-A797-1A0CFE88EAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005235576e1ca9bfb25fb9019d92302fd884c8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3870884,"id":"Q3870884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$503815DC-E58C-48B0-838B-19D1D94D5459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9189f6143b6c522daf2526d038955b0e6338dde1","datavalue":{"value":{"entity-type":"item","numeric-id":3718708,"id":"Q3718708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$B15B3FDD-76B3-4E9D-937C-DA55F94CE1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$A6BA22C7-2FB0-461B-AA53-CDAAA1AC042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97724a1b53a3a333e03e8cc7f671c06dffe7e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3964561,"id":"Q3964561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208081$54D2ADC3-709E-4FCD-92BE-AE4499ADE3D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a229961d31eec6ebc02dc04168a84b8718f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5498681,"id":"Q5498681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a970738faa7d8ebc32f14f1268626b1b7dab15fb","datavalue":{"value":{"amount":"+0.92531204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$04127B91-6826-43F2-B452-5D0F1E636C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e785bd665f46fd1969c051834b2fc299f2f596b1","datavalue":{"value":{"entity-type":"item","numeric-id":3718708,"id":"Q3718708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d6ed35eee8de5327ac8d37b5489661f66f8b39","datavalue":{"value":{"amount":"+0.9206276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$8A80C66D-01BB-45D1-A4CA-A4BD079DE763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e43d0333bbeb01597b6e152477e077242ca63a","datavalue":{"value":{"entity-type":"item","numeric-id":4278001,"id":"Q4278001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72062af8c0ae8509986dbd926d8ffe68af51ca05","datavalue":{"value":{"amount":"+0.916905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$A48C6E07-95C9-4A28-9D04-D9E83023F8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d5c33b80ad646bda4957be43fde1145f53e22a3","datavalue":{"value":{"entity-type":"item","numeric-id":1313595,"id":"Q1313595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f7427019dd5dff0006f429e178814b89c9d123","datavalue":{"value":{"amount":"+0.91655254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$4505584B-6EFD-4266-8AAA-9FF771525775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfc3928b3f2be68db9782446ee83b6851536ce8","datavalue":{"value":{"entity-type":"item","numeric-id":3689181,"id":"Q3689181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485a7c7cc2c312b2aacab9624cd4fa980bae5c1c","datavalue":{"value":{"amount":"+0.91410834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$EB2D243A-B622-41B0-9CF6-D55BC31C0BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222b5529369983e6fd18a25b82e69d1729f4b0e2","datavalue":{"value":{"entity-type":"item","numeric-id":3765769,"id":"Q3765769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ade4ea087abebb6836a134e2774fd79f22e0cf","datavalue":{"value":{"amount":"+0.91306007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$25D9B780-2383-4ADB-8722-3D445DDAD57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2becb78b5bc7f3cddfbbeda6f313ff293463fc","datavalue":{"value":{"entity-type":"item","numeric-id":3166617,"id":"Q3166617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3332a750bc10245f0b582011bfc0fad50410e9","datavalue":{"value":{"amount":"+0.91258997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$042A4169-4D2C-4F2E-9339-195751780542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e75b098bb66e2fd3a9e261dd44ef70654ff3c3","datavalue":{"value":{"entity-type":"item","numeric-id":3986734,"id":"Q3986734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2747f79d4c4ef3f282cb50e08d8273df9e796722","datavalue":{"value":{"amount":"+0.9078607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$904B8EB2-1AF1-4768-84E4-56992B79A896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9553ec50aa24059c6d8041d1438ba8b223e5b388","datavalue":{"value":{"amount":"+0.9063659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$49677CEF-68FC-4FB8-8089-26B8F6E2AFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33aea151cb723821dcafbe47b6c70083af81c887","datavalue":{"value":{"entity-type":"item","numeric-id":494642,"id":"Q494642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5b35f09ec36f27e0fbd0664ed7154310ee3c1d","datavalue":{"value":{"amount":"+0.9062174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1208081$ED9A3ACB-DFFC-4E1F-94A3-64D4E7714C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The intuitionistic alternative set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_intuitionistic_alternative_set_theory"}}}}}