{"entities":{"Q4956001":{"pageid":6985583,"ns":120,"title":"Item:Q4956001","lastrevid":39844293,"modified":"2025-01-27T18:49:17Z","type":"item","id":"Q4956001","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1450821"}},"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":"Q4956001$7357A6DB-FC6B-4A18-BB17-3AE2886379EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd8b3ca7f6805bc2b52245b84f4413cb0933e541","datavalue":{"value":"0959.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4956001$72B19347-BCC0-467F-AC79-AA072C2E88EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2267a12a03a2989dc7cb8900a3cccd050fac0c32","datavalue":{"value":{"time":"+2000-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4956001$63F5F8A2-405E-4E65-88D2-B9ADD812140F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4956001$48B76EF1-B71C-4620-82D6-B240E98BC7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4956001$673FA0B8-A009-4747-8783-5E301CB97CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4956001$0B14CCF6-4766-4C4A-BD84-976FAC73CFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4956001$235736A4-1A1D-477D-99B4-06ED91D78A48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82e83116fc306bd31b85f5d888441ecc872d8f17","datavalue":{"value":"1450821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4956001$4CA46130-F377-4845-A3BF-052E7B0544B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c7f75ee04958e1ad12a8457962f176f5603153","datavalue":{"value":"NFU","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$9F32481B-AED6-422E-AC31-F3A3981CF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$08D647BF-6007-4551-945B-D2D37A9F5A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bce5b4a2c2df745ff19792f66c5ba11c079dec7","datavalue":{"value":"axiom of small ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$29982E4A-CB3C-4195-838A-0FED5B9DFFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2210a8ff39933dfa8a4e5b81fbc0fc70dbd1c6a7","datavalue":{"value":"NF with urelements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$D473A4C9-1835-49EE-B6E9-E64745214D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$1980C473-BE28-4FA1-9B45-BA2924C1164F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$C69912B7-3D47-4C65-B492-83F3CDA1FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$DA98D000-91EB-4B18-8D9D-6ACDA82451B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"110f4626e69c020c6cd47bfe9baa8dfb5b680d27","datavalue":{"value":"elementary topology of the real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$5519F16E-9BFC-4A26-A42D-9760C04FB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24fc428fcac400b80e64acef29cdbe984ede493","datavalue":{"value":"surreal numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$77CC177F-A721-4A0E-98D2-B3A144B3DDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4120e58d1b0a402e9f5d71f020c155d9fa895226","datavalue":{"value":"relative consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$EBDC68E6-55C0-418B-A38D-6887F5E1BA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146a5924a0ad252b5fcfebb14b2946a4853d2ad8","datavalue":{"value":"stratified \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4956001$79E7558F-DCEB-4426-9C7F-FA73756E75CC","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":"Q4956001$4773897F-DB6A-4893-8BCE-4F188B6A4334","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e240be2d7a05724975b13f928a7df6e40768e2","datavalue":{"value":{"entity-type":"item","numeric-id":3222185,"id":"Q3222185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cb448e7ee96bdde307b22530332ee184f0e3f0","datavalue":{"value":{"amount":"+0.867226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$6172BEAC-5134-480C-86FD-119B46666CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a964322defc1b7835bcc24e5926a1000e7d8ed8","datavalue":{"value":{"entity-type":"item","numeric-id":2732269,"id":"Q2732269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d009fd3a647d61b92f954579ef470750ea7b234","datavalue":{"value":{"amount":"+0.86070275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$E6FD8C7B-C9E7-47F1-81B7-D317E549CEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d4c524075a85a5b0b44c4473c9f6e97e8c2b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4289237,"id":"Q4289237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f00e384d95dba370f860db718eeb6ea96afa57b","datavalue":{"value":{"amount":"+0.85444176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$540D83AD-8F5B-4449-81BF-19ED2D4FD061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06298c9b5a84844a8cc0705f4f400df5706d64ff","datavalue":{"value":{"entity-type":"item","numeric-id":4373324,"id":"Q4373324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5995fa061093e987de6ad81c788eabe90efa32f","datavalue":{"value":{"amount":"+0.8537369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$ED4D620B-B95C-41E2-A795-75616B31479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831aa2c14449bcdc0b75723358de372704b3053f","datavalue":{"value":{"entity-type":"item","numeric-id":5950500,"id":"Q5950500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbefd5b6e39c4e79e9e62dbf522fbfcc84b6253d","datavalue":{"value":{"amount":"+0.8333614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$5AA92A55-3F08-4D2D-8705-A2323597311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c57ea93cc9664900cc4b27d051a81dde2563833","datavalue":{"value":{"entity-type":"item","numeric-id":4003284,"id":"Q4003284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5f9711d4610212b28fa1ca87960c2feccfeae0","datavalue":{"value":{"amount":"+0.83143985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$E0651417-3E71-4841-BB8F-8CB34849D4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9047ee2cb17384f012a781be551bb79d0d26ea","datavalue":{"value":{"entity-type":"item","numeric-id":1684501,"id":"Q1684501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b60f988e66e2978839b3c7925096493a47c158","datavalue":{"value":{"amount":"+0.83131236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$6106C685-277B-4E1C-8E63-6241BB8FA8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf4377b6f6c9a9a3d43b855ff4fceb953b77c99","datavalue":{"value":{"entity-type":"item","numeric-id":4286718,"id":"Q4286718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f224bae4bd029db29fbea186f763e1d455ad3b","datavalue":{"value":{"amount":"+0.82864857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$CB7CBC24-47F3-45B0-8B20-3B4AD64805CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19acfdc832367fdaa3fe66ae37ff61548cc1eabb","datavalue":{"value":{"entity-type":"item","numeric-id":3592783,"id":"Q3592783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66228e637d39c99ebebe7dddb513945ae1c312bc","datavalue":{"value":{"amount":"+0.8147148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$640D1F97-693A-413F-8671-CB7871C35DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05933fd023b6988347491717d413316500d9a895","datavalue":{"value":{"entity-type":"item","numeric-id":4422744,"id":"Q4422744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a18e37dd2d51589f077904e95dbe9f613acc1ab","datavalue":{"value":{"amount":"+0.81310046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4956001$F8FF7C92-5AC8-4356-BC2A-0432748DC841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4956001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4956001"}}}}}