{"entities":{"Q3822156":{"pageid":5852062,"ns":120,"title":"Item:Q3822156","lastrevid":54172115,"modified":"2026-01-26T09:48:21Z","type":"item","id":"Q3822156","labels":{"en":{"language":"en","value":"A construction of non-well-founded sets within Martin-L\u00f6f's type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095446"}},"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":"Q3822156$B6BF6F67-8A6B-40D6-B79F-76742C1D1A61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8b9cfa56c6f7489748af550e3820dceb2e661a1","datavalue":{"value":{"text":"A construction of non-well-founded sets within Martin-L\u00f6f's type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3822156$B1207F93-3D4A-48EA-9781-06C671C70015","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"303420eef50aab332c5894902445e0a4ad848992","datavalue":{"value":"0669.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822156$BAE8C4A6-638F-4C38-8D7D-B98631E24646","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58dfcbf4aeb4ada43932ce0ea92af5e9afa65d1f","datavalue":{"value":"10.2307/2275015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822156$B9936C38-2033-4A5F-9272-3A2F3FFF8062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a21065754660c51070d5808966f1901f764d769","datavalue":{"value":{"entity-type":"item","numeric-id":3510918,"id":"Q3510918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822156$93AABFFB-3F81-49B5-8714-00C2B2B343B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822156$31B5FF6F-3649-41AD-92DF-5667F73325CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3822156$334827B9-0A5E-412F-8718-0166B922D4AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822156$D232D75C-8406-4B73-A26F-90436C3FBBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822156$3650406B-10F6-43A9-B38E-BA56680531C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9a3c5347983d63e57a2b931233d5df43d1ba279","datavalue":{"value":"4095446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822156$C68E56E7-5909-4221-9D01-6242A7F19638","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a61b1da7137a1b792f48af5cf96fca26b654e41a","datavalue":{"value":"constructive interpretation of non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822156$49F5E336-28EF-4CE7-BA45-EB0B776EB2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde4d7fe3adc565e1ef183ef794443aeee54236c","datavalue":{"value":"Halln\u00e4s' limit definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822156$2FE69895-26F1-40B9-9D67-95AC6C64037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822156$91301C39-C679-40C1-8EE1-381ACB8CE180","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":"Q3822156$FF1201B0-112F-491E-A809-C9A81A247709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82eced2bd60ceffa3d1df6a898f3b7678f8e6605","datavalue":{"value":"https://doi.org/10.2307/2275015","type":"string"},"datatype":"url"},"type":"statement","id":"Q3822156$E52EA7E7-898B-4EBC-B0BC-4C6DB9E9D80E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c86e6e4ab2e3a90e7d8a64940820f72d25a39d","datavalue":{"value":"W1972002041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822156$0F4EDE48-38F7-422D-9A80-DD7DD057FCD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da92cb1e0349daf8a78255d0a62e3cc78faa2ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1407579,"id":"Q1407579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae26f548c2aad30d5239da6ea5e123b67317cfee","datavalue":{"value":{"amount":"+0.7645097374916077","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":"Q3822156$FFEBA751-DC5C-440D-A34A-F05586BD82C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5134d3f62eed82fcc87622d6c253cc85c8bd8599","datavalue":{"value":{"entity-type":"item","numeric-id":4453640,"id":"Q4453640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3e299a2accacf7b9cd299d148d1e046438e749","datavalue":{"value":{"amount":"+0.763267993927002","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":"Q3822156$7483E138-6426-4777-8728-453800E62A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad14a45e62d2df7c44ea6e92554e954392cabbde","datavalue":{"value":{"entity-type":"item","numeric-id":1372877,"id":"Q1372877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2156a0b652106232f4401a56821a0313461d85","datavalue":{"value":{"amount":"+0.7561694979667664","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":"Q3822156$B28EECAB-F832-4CD6-B605-D595DEAAE0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc640084c58d56128b6c439ca219936b0844bd22","datavalue":{"value":{"entity-type":"item","numeric-id":3613313,"id":"Q3613313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b6dde50d20d0bdca9fd850b6db38b55d69b75e","datavalue":{"value":{"amount":"+0.7560884356498718","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":"Q3822156$4598C221-8BA4-41DF-8DF8-851BE29D84C6","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":"cb4114308023de2cd780181b6d7305c0bb2129a6","datavalue":{"value":{"amount":"+0.7509329915046692","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":"Q3822156$42661C1D-F541-4BA8-BF3C-6B84FA04320E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3822156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3822156"}}}}}