{"entities":{"Q4944852":{"pageid":6974434,"ns":120,"title":"Item:Q4944852","lastrevid":41779322,"modified":"2025-05-08T05:36:42Z","type":"item","id":"Q4944852","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420788"}},"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":"Q4944852$574149F8-99F2-4CC2-B714-11F7DB276944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35d2caf491314cea7376c50577731bfbc1fb293b","datavalue":{"value":"0943.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944852$0EDCA4B8-7EFC-4E1F-B743-B60FC2805E57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e641319c011b54f0c69b6edb09640a3dbb847a","datavalue":{"value":{"entity-type":"item","numeric-id":1744422,"id":"Q1744422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944852$E7E99B93-4E87-411C-A920-ADA9CBF81004","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc10aa9892b9c4f398ab8507090d5710329f3440","datavalue":{"value":{"time":"+2000-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4944852$EF095D6D-C085-45D6-92D8-594BB1537C93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944852$759FBEB0-7D38-47DB-9FBF-0E79C2E02F76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cb3d2437414b7ec5f13a4b65d919467fe65d5f4","datavalue":{"value":"1420788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944852$62EA96C6-70A2-4B97-B95A-95F044FF8A13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944852$114498C0-324C-43A4-9E54-AE60B14AFC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaddf72f5318631a459c4f4d788f768a06517d9a","datavalue":{"value":"inductive bar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944852$A9A482B3-4E97-47C6-8E83-44337ED4DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944852$BD1DF02A-3032-4351-91BE-5963B9FDFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944852$B9E21E9A-29B8-45CC-8CBE-84479578DC97","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":"Q4944852$C97F4005-08E6-4F42-8B8F-9EEF8CA4CCDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7c95c021436997bd1039a156fcfbdf3fe15601","datavalue":{"value":{"amount":"+0.89443374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$1D0AD1FA-4722-4642-8CCE-4687C188E659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e76ba6015d4f4ae577a85ab9aa922374daf9030","datavalue":{"value":{"entity-type":"item","numeric-id":1923827,"id":"Q1923827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946a95b98189e168b7b8df56e2a0b4aace9e5981","datavalue":{"value":{"amount":"+0.88680834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$ADF99BF5-CE22-43E7-9D09-AA454BE344F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5630c0d64d652235db02577c863c7a557d399a2","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2046910029b0a3df564e9a1c9de06b0480f00a90","datavalue":{"value":{"amount":"+0.8772716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$70C5D4AF-BE62-4F0E-940B-39DE7D81B54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0dae42f2f5ebbad37f24bb65e6b70e78930432c","datavalue":{"value":{"entity-type":"item","numeric-id":4844507,"id":"Q4844507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4242027cdf94c99a2d7db8e113e678e922e51d99","datavalue":{"value":{"amount":"+0.87687486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$91B3FB4F-4616-43A0-85B0-C3AF90C475BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2864f526e769696f5d1bdeea21f6747b8432192","datavalue":{"value":{"entity-type":"item","numeric-id":3813789,"id":"Q3813789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8d0baf920cb35d2bc98e69af6fadcc43a6db67","datavalue":{"value":{"amount":"+0.87610006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$BD8643DC-B89B-4F1B-9B4D-C97302EDB099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204a78e8fffb62f819779a61ddfe9e8668b5330c","datavalue":{"value":{"entity-type":"item","numeric-id":4340420,"id":"Q4340420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc427cf19adb2cee58d0ec2fff30578543a2c38","datavalue":{"value":{"amount":"+0.87559193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$FE452327-5A83-4A18-AAE3-6D259FB49553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7edba515f48186417771fabf2cae80fc308c9a","datavalue":{"value":{"amount":"+0.8754803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$2B659A1E-477E-42EE-AEC4-AD3E9DACA5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e189af062f3c015b3a2687883c8d751a0be21a34","datavalue":{"value":{"entity-type":"item","numeric-id":2700810,"id":"Q2700810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eedd46199e68e25455a2411ec038e5af0dce21f0","datavalue":{"value":{"amount":"+0.8725561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$532901EF-4F16-43FD-BD0C-20E60FBF0381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbdcc2501bedba27af18e387cb6f9d26bfffd28","datavalue":{"value":{"amount":"+0.8723736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$B35EB839-17D2-419F-8F94-1A9F74379B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30f07aaea45924d52c3e40f5fba1a1ad77e105","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f6614b9e5b80d6b580e8752e08bcfe50b8e253","datavalue":{"value":{"amount":"+0.8723293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4944852$7B122586-D3D1-483C-BB65-076E8029AE4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4944852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4944852"}}}}}