{"entities":{"Q6145038":{"pageid":13279345,"ns":120,"title":"Item:Q6145038","lastrevid":58718913,"modified":"2026-04-06T11:14:52Z","type":"item","id":"Q6145038","labels":{"en":{"language":"en","value":"Constructing the constructible universe constructively"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785165"}},"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":"Q6145038$995F2E62-FBE2-48F3-8512-B85964C1D64B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a43284263cdb5f34129fc874335eec9884314de","datavalue":{"value":{"text":"Constructing the constructible universe constructively","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6145038$5D209B6E-2565-4493-97A1-109A98C38132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b82f9261a800909b246ff60f89754dd43b9aa28","datavalue":{"value":{"entity-type":"item","numeric-id":5052015,"id":"Q5052015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$C7CDB38F-A5A6-44B9-900B-38E1660FBDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$C28214D7-279F-408A-A6DE-A5C4F59683FE","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":"Q6145038$00B393D8-2D4A-4423-A2A5-73DAB4FB9537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6145038$04C24E7F-0ED5-4941-A11A-5CE5910FC64F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94d15b3fddabc5fec0b47ddaee6a248d80fad24b","datavalue":{"value":"https://arxiv.org/abs/2206.08283","type":"string"},"datatype":"url"},"type":"statement","id":"Q6145038$3F60CCEF-5B96-4DDE-8E6E-A8B4B4C64B05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$EC4CBE1E-8336-4849-B261-B9D3322BB28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$FAB38AD9-2972-49C6-AC3D-D521E2FA5CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$5861F61D-C73E-4C43-8864-16BADDF60AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$9DC686B5-7029-4BA6-BBE9-89EFCA406A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$E362E9FF-11E3-4DFE-BB04-830C47C16060","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f974ad3477d71735d6ddd65708b350b580ffc43","datavalue":{"value":"7785165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$8E6D4848-EDCD-4766-9A30-0B4F9BF7CB75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145038$E503AC71-3941-47B5-B88A-39AD2A8FFF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d447f5cb92768365702c0b89d3647f6f23b5d35e","datavalue":{"value":"constructible universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145038$013254B0-309E-4AB0-8287-9339E5BD7B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783af3312a6ec19636be79e074b2e1c01c0b6a37","datavalue":{"value":"intuitionistic Zermelo-Fraenkel","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145038$1754C5BA-56BB-43E6-8C15-BC69EDF31846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b2a51daad31a91a39a6ccaf36d0222424df945","datavalue":{"value":"constructive Zermelo-Fraenkel","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145038$2088B5DF-F569-4CF5-B767-CAA898774644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9acb1e0f697074a9ac9dba66668fa828c5a38e1c","datavalue":{"value":"intuitionistic Kripke-Platek","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145038$F7BA9502-96CD-499B-BCDF-EEEAF4FD7767","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":"Q6145038$192B28D2-5D7C-40E5-BF26-3FAF558C9C85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44723985e05b7f6c5bfef4a40d321b45303d579c","datavalue":{"value":"W4389430687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$43BC4C1A-4FFA-46B9-BA66-96D295AD3172","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"722e147f6e8efc8a80f904e2d3c5a2e6e1ea3e27","datavalue":{"value":{"entity-type":"item","numeric-id":1942037,"id":"Q1942037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$E415AF2C-70E3-4428-BE1B-6ACC3E998DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6634c96c1c3cfcd6f2ce5ee2130d4c289c75c67","datavalue":{"value":{"entity-type":"item","numeric-id":3022775,"id":"Q3022775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$43E29321-30F4-4D57-B63E-6E1CDE7979D3","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":"Q6145038$B338730E-C553-44FC-9AC1-E23EA78F488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec46ec1abca8f81a92b7f99a7498501b68c063c","datavalue":{"value":{"entity-type":"item","numeric-id":3305554,"id":"Q3305554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$236B380A-198D-4D72-9ABB-C74028D7E03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$651B1B07-ABB3-4814-A513-7A5697497BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045ab0aeb38b209f13b6f5a37c1d619046f27d51","datavalue":{"value":{"entity-type":"item","numeric-id":4078028,"id":"Q4078028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$E3EDDBE9-BAB1-49D9-896F-42D71897C80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$3624AF53-F4C5-414F-829C-4810D99FEFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$69906F09-3295-4D68-B31D-F2CC11FA12BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$A9B630DD-2A13-47DB-8313-6FF2687F5D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c853f91f2be64e94e37949b664eade4928da5dfa","datavalue":{"value":{"entity-type":"item","numeric-id":5642548,"id":"Q5642548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$AAC3207E-24BE-4482-A23C-18B7A60671BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2296036d32ca976bab29d3a3f8d6f1da4b65e5","datavalue":{"value":{"entity-type":"item","numeric-id":4764114,"id":"Q4764114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$F3164364-7A87-427B-88D3-D2E6F215352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe159d01a9a01c0322eeaad0673b992f0884415","datavalue":{"value":{"entity-type":"item","numeric-id":5946048,"id":"Q5946048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$9F90FC44-ED15-44C2-B234-2A2D98BB7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051f27633b2eacafe18eecdcbd25efecf247b572","datavalue":{"value":{"entity-type":"item","numeric-id":3425062,"id":"Q3425062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$80B7CF2B-427D-4C98-8410-75F68FD76E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92278b644586770546c711e178af84d693eab937","datavalue":{"value":{"entity-type":"item","numeric-id":2345391,"id":"Q2345391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$BFABAF5F-93D5-4A00-853F-8817318DB930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d40569448be8c4f9ddf363f76c68c769cc9e936","datavalue":{"value":{"entity-type":"item","numeric-id":1346246,"id":"Q1346246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$0EFAFBFF-67B9-46D1-A28C-8CB3F302558F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73eae501d38c2470f5456feee1d7aa66b07504f3","datavalue":{"value":{"entity-type":"item","numeric-id":5253934,"id":"Q5253934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$5EE616EB-496C-4828-B282-34B81256E1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe6d6e8b22e67e67443342048ce8a1f3eb4ef82","datavalue":{"value":{"entity-type":"item","numeric-id":448335,"id":"Q448335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$734D059D-0455-4184-A01B-4194E8BC4BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b56daf07b4aa306cdc3e232dc87f3d9077b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":392292,"id":"Q392292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$44CC90B9-430B-4234-8931-89266DC0CE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145038$9D99546C-6F4A-4D85-9DFB-9D7D1C724759","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34f1745446a5686ea941e37bddf0d677f401ac15","datavalue":{"value":"10.1016/J.APAL.2023.103392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145038$5454D8CC-E4DD-41D1-ADB6-20A5252B8EE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6145038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6145038"}}}}}