{"entities":{"Q3812243":{"pageid":5842149,"ns":120,"title":"Item:Q3812243","lastrevid":53538023,"modified":"2026-01-25T05:15:31Z","type":"item","id":"Q3812243","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081552"}},"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":"Q3812243$62CC64BC-F58B-45C1-86E3-66C378537C15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"704512d7f45fe6346ac7cda71f5da10b498d9076","datavalue":{"value":"0662.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812243$84660586-CA30-4EAF-9E62-AEBC98D412C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a9aa8bb6d876a4495254c47474ff772996d6bd","datavalue":{"value":{"entity-type":"item","numeric-id":580340,"id":"Q580340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812243$6CB80B89-1F4B-4D69-9489-07F63F0F7003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e20944d599dc1f118876ee7220fa52f40afc2b92","datavalue":{"value":{"entity-type":"item","numeric-id":6481875,"id":"Q6481875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812243$74EAE6C9-F0A7-4050-B2A9-6D8FFCA80746","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3812243$0AD82C7D-8AA1-4269-AAE1-E6C95A34E4CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812243$6085DAB0-413A-4A56-BCC0-1DF8FCC44ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812243$72FEC0B0-FBBE-4AE4-BCF2-5A1160B99DD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"575021b95a3464a808ffad453b93ae2ef67eef8e","datavalue":{"value":"4081552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812243$137C1AD5-C0D4-4496-88CE-BE09EE233B15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0cf1bad17e80ec489a727d3ffe862d2120544b","datavalue":{"value":"extension of classical second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812243$76EBB106-5712-4E5C-913F-37303ADE007B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8979432b1e60c5f7d98c86d1505ca14d85e17c","datavalue":{"value":"self-referential system extending ZF and provably consistent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812243$988B8223-7A07-4204-8FDE-FFD424777D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b86747977cb565125a83dbbba34b00adbe48f50a","datavalue":{"value":"Frege structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812243$A79803BF-9604-47E8-B671-823858682BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5951f446e3107e6f0f748693109770ec3bbc8492","datavalue":{"value":"comprehension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812243$44ABAB29-8157-4371-8B40-17FE5939D7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71e74e288b11011db5f441f4f403dd02189f29e5","datavalue":{"value":"principle of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812243$CCC33B05-8553-4720-9199-3DB8EF57081C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f9552259ffbdf71a9376b50f2114f3193bc9ad","datavalue":{"value":"Scott's lattice-theoretic models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812243$FC2EFAC0-346C-4E6F-A42C-6225717BCB27","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":"Q3812243$7F649EE7-D0BE-4558-9D1F-F5D963110C97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b667b9772a48f1dcbf91b2d87a9a7ff7ef70c16","datavalue":{"value":{"entity-type":"item","numeric-id":1121865,"id":"Q1121865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c404970ec3474b580652a1b914f52ada33394a3","datavalue":{"value":{"amount":"+0.8611440062522888","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":"Q3812243$5D7A54E8-5088-4F38-AE3F-85052BAC8B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddba6b75c2a9b84fdbb436eed85119e6fb21c8f","datavalue":{"value":{"entity-type":"item","numeric-id":1104320,"id":"Q1104320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f97c153d40f7b9dc7a00b93f5fdc3439463325a","datavalue":{"value":{"amount":"+0.7998299598693848","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":"Q3812243$5EBFF307-0217-4974-B5DB-106E7D341DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8919b13066ed1d5093b8682e4a7a0bfcf93fc324","datavalue":{"value":{"entity-type":"item","numeric-id":4726221,"id":"Q4726221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b2a041b7360bdc3dc9513e317711954973d2ed","datavalue":{"value":{"amount":"+0.7358947396278381","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":"Q3812243$4408D9B8-2F4B-434E-9683-76EB497B5CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d12794825c9132fac10f8343050571f3165e798","datavalue":{"value":{"entity-type":"item","numeric-id":704031,"id":"Q704031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea31a31bb0029024d6032d76d363bb88aa07e38a","datavalue":{"value":{"amount":"+0.7356549501419067","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":"Q3812243$3BF50410-4808-4E80-9755-08F2EC52780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1b40b37d7184d1266ba00f667d215c555a4a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3138009,"id":"Q3138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25302b11bd4a13f41fd94abc545a2a6f4994811","datavalue":{"value":{"amount":"+0.7341017127037048","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":"Q3812243$A5190E00-D943-4C72-A71E-57BBEDAF3422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3812243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3812243"}}}}}