{"entities":{"Q4381421":{"pageid":6411020,"ns":120,"title":"Item:Q4381421","lastrevid":46540584,"modified":"2025-12-25T00:09:21Z","type":"item","id":"Q4381421","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1136111"}},"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":"Q4381421$29C684C6-6257-4A40-AB5B-7FDAB324D8B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c4899012ec999b4e19e9fbd9118eabc6fb3487b","datavalue":{"value":"0921.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381421$5AAD9321-01E6-4497-A1DA-02C9FFBE0E6A","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":"Q4381421$0CAAC48C-6931-469F-A21A-F033DA93E3C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"254a483b543e49cfcef342224fb41a569162f106","datavalue":{"value":{"time":"+1999-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4381421$10E36B0E-BC7A-48E7-9E2C-994235B07588","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381421$33FF676A-8707-4D1B-ABDC-91C159D51F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381421$87912411-BC3F-474C-951C-4EC47BD353DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381421$4BE812B3-E489-4B38-940E-1DAD498F1A73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3702907e2a50ced0d494fcc85b5b74f66c529a1c","datavalue":{"value":"1136111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381421$3A70E7A9-C630-47E4-8843-4B4719751F7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$3E571FB9-2AD7-494D-8BB5-8E54E5B366DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$49956435-9A8C-4C76-8700-269B3CEF1408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$C538B88A-ADC0-475E-B569-51D7EBDA9F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1607fbbe106be57830bf1a3f1439e30979fa8dd","datavalue":{"value":"ordinal representation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$2BE58D66-66D0-45BF-B6E7-72BD02108659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf469567920c0a8f1c69772856d182e58537e7f","datavalue":{"value":"Aczel's constructive set theory CZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$907BD28E-7B38-49C2-A6CA-4DA7B7DD05BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93efbb84d736e13a5e76fa900ee11d6a75ddf4ce","datavalue":{"value":"infinitary systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$0A833910-271D-4E8B-AA8F-E10522FF7281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7168af7aab22b7bf9deb998f14a06fd7220ace75","datavalue":{"value":"ordinal notation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$CE5DA410-00D6-4FBA-A41E-86CB875932C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad9b328eca8555ff60a38692711665051a74e61","datavalue":{"value":"collapsing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381421$CC660627-ECE4-4DAA-A96A-A190C46E1CD7","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":"Q4381421$8FE706B4-4005-4AC2-A003-127A2F1D2616","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704efeed1048b30a464e964725c0cf22134c12aa","datavalue":{"value":{"amount":"+0.8235282301902771","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":"Q4381421$A35B9BA3-A8FF-47B3-A1A9-CD75350316F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eec386bd8861de82173f433acbe111d11a1060","datavalue":{"value":{"entity-type":"item","numeric-id":4873894,"id":"Q4873894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da10aef95b23d7afdc188a362589a2bef550a8e","datavalue":{"value":{"amount":"+0.8210820555686951","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":"Q4381421$252ACF5F-208B-414A-9235-9F57B3DCA6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c6e74f0dc692143d060bf08d947a0a68fceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4325775,"id":"Q4325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc46e4d16477d0ab02402b567a7fe398f3cf208","datavalue":{"value":{"amount":"+0.8103273510932922","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":"Q4381421$1A48F8EC-630C-490F-9833-770807ADAFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c551c20ece18e2c0d9d505fb59ec739d5c02723","datavalue":{"value":{"entity-type":"item","numeric-id":4281248,"id":"Q4281248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d331c735662f72fd45f67c54d99e9c02654e64","datavalue":{"value":{"amount":"+0.8064509630203247","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":"Q4381421$1936C35F-70C7-4C60-BCCE-1B06B191CDE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4381421"}}}}}