{"entities":{"Q1407579":{"pageid":1418319,"ns":120,"title":"Item:Q1407579","lastrevid":68634213,"modified":"2026-04-13T01:04:58Z","type":"item","id":"Q1407579","labels":{"en":{"language":"en","value":"Realizing Mahlo set theory in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982504"}},"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":"Q1407579$1CEB7E84-2972-4F29-80FC-729AD71FE805","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928f5bf2cfd8a8a3f970692d2563d1c5fda93422","datavalue":{"value":{"text":"Realizing Mahlo set theory in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407579$7B86D310-D629-4006-A006-8DE110C258DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07dfaf2838edb497ff3daa0399a2f9c2c52560f4","datavalue":{"value":"1025.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407579$1F6D219D-B106-408F-95D1-E0F3E83CD60C","rank":"normal"}],"P16":[{"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":"Q1407579$6BD49E49-C77C-4444-BCC3-093A7C77A0A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407579$D4823692-EC15-4077-A0B5-30F42F3E0E65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-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":"Q1407579$7B7EF272-144C-4F13-BE59-D74E2E11E973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407579$E5635E02-A5CD-4604-AC06-2C2207693273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407579$895E03E0-D5C3-4811-9273-F7EC3B055506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfb4b1bdfb9d2eeff44a4bf4217d8cf68f75650c","datavalue":{"value":"1982504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407579$54565612-B490-495C-843C-69EB22D93727","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407579$1A02CC84-20B9-4A94-B640-4D7216273330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407579$D098F06B-1C52-4AD2-91DD-323D6836238F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407579$5D69B0E3-AB22-4F69-B6D1-EF7CF58AB1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cf49b52dd277854ef25ff2f803bb3ade8f4e30","datavalue":{"value":"Mahlo set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407579$30E5A93C-EC5E-4717-A59A-BF7F3D63E5E9","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":"Q1407579$688F3E9D-A0C6-4A1C-8EE4-218245BF84C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a5d30cd34da78f3e65d50858a3302305fde35f7","datavalue":{"value":"https://doi.org/10.1007/s00153-002-0159-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407579$F717527E-D564-48E2-9850-852A64E5517D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a98ec988e7efdad278b8800384ee2677b4db0e6","datavalue":{"value":"W2055120637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407579$721AEF64-2D5E-4EB9-B964-319F3A2ED4F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3d28832d45589120fbe7f5eb14badef23314c951","datavalue":{"value":"Q126372037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407579$362A3D0D-181E-4C97-B001-F0F3E66B21DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c69ba7ab079348429162decb6daedca8d7e79171","datavalue":{"value":"10.1007/S00153-002-0159-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407579$EC2393EA-FF36-4662-85D9-C977E5914CFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41cf4018836257455506eda4503b549b939eb56","datavalue":{"value":{"entity-type":"item","numeric-id":1295396,"id":"Q1295396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fbd26f213b65efced818304d17084ebd911cc3","datavalue":{"value":{"amount":"+0.8300861120223999","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":"Q1407579$368589D2-1B39-48F9-AD52-10F2536B2FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3d9899bdce2c77c703aa5bb266fb0dd8900d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fbd26f213b65efced818304d17084ebd911cc3","datavalue":{"value":{"amount":"+0.8300861120223999","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":"Q1407579$E6FEBD03-3A38-4BD0-9A9D-A5F0616A44CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c995985ab517bc18c9b297f34f20ce89e9265e4","datavalue":{"value":{"entity-type":"item","numeric-id":5457304,"id":"Q5457304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86e171026caf632edab830a1545f36a3ce228c5","datavalue":{"value":{"amount":"+0.7928348779678345","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":"Q1407579$EBA42D59-B8E3-4BAD-A26A-335BD636F368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86783be468d2adab8db2bcfe00a00cc438adddd","datavalue":{"value":{"entity-type":"item","numeric-id":813417,"id":"Q813417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d767e21a0e3973fa2d085f2b2a5505faf9a3af","datavalue":{"value":{"amount":"+0.7874847054481506","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":"Q1407579$687FA531-F758-4789-8C8B-360E1C38A593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0b24daf659c06df5dd0e19bf5ae303dc0db7a2","datavalue":{"value":{"amount":"+0.7840455770492554","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":"Q1407579$33BF8360-5FB5-4B63-935D-97B2315A7F08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizing Mahlo set theory in type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizing_Mahlo_set_theory_in_type_theory"}}}}}