{"entities":{"Q5494237":{"pageid":7523797,"ns":120,"title":"Item:Q5494237","lastrevid":41665681,"modified":"2025-05-06T22:56:57Z","type":"item","id":"Q5494237","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5064954"}},"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":"Q5494237$5858B6B3-E99B-4C7F-86A0-0B831E82BC9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9796e6c057c55451f38a3ca7721bbf61c6c361e","datavalue":{"value":"1121.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494237$06C68B32-F6BD-43C7-A3AD-BB373012905B","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":"Q5494237$7621F142-C58D-40DF-850B-21FD6BA223BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"711be2e4f138734c06f6a7fda50cf3106509b68a","datavalue":{"value":{"time":"+2006-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5494237$1A623848-1479-4CC2-A0AB-C6FFC90CD711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494237$BAB92AB0-1938-47CB-9CE2-2CABF8C137BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494237$67C95B9E-67EA-4AB9-B527-A29ED9CFB538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494237$680197FF-3ACE-4E80-AF4C-9C0107FF94E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"502201980b55aeec933467765be43b473d780be4","datavalue":{"value":"5064954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5494237$8BE875D0-8EC9-45FF-9106-8E68F683E0FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5494237$A728D802-3CBB-4175-B83E-491DD6BDF738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8289e17c4994d05e13bc05294791fe93ca8b83","datavalue":{"value":"constructive Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5494237$AFBDDAC0-8CE7-4A91-AC82-DB39D4666F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce40ab5420a3424476d92e1f97c261845519a3b","datavalue":{"value":"Martin-L\u00f6f intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5494237$5E22831F-1DCB-4649-914B-79BDD31ECBC1","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":"Q5494237$575A7A94-6B74-4611-A8D0-7ABCD063FAC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbd848bc04dd79b349b04c731ea0ea452535ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2878782,"id":"Q2878782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39401aa9cf66a1e28d80a7be7091d8464fb68df9","datavalue":{"value":{"amount":"+0.90805537","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":"Q5494237$69EF8863-963F-495F-89F6-79614F11A881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0981983a30bacc3f35523f63becaaeea3403f3","datavalue":{"value":{"entity-type":"item","numeric-id":4670607,"id":"Q4670607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c393a16b430b3d61f17fe6ea64a3b8eb34be9c","datavalue":{"value":{"amount":"+0.90207124","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":"Q5494237$E39B4A93-8239-4FD8-8DCF-69372E62D8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8c8841d6a3499c07a778939f82835406fccdae","datavalue":{"value":{"entity-type":"item","numeric-id":3081646,"id":"Q3081646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320ddf99cd3eefe57a21a93d15acf4016cd4b1e2","datavalue":{"value":{"amount":"+0.89824665","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":"Q5494237$35CA263F-9886-4545-BCE7-5A4E1CCEFA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903fec9f8f4fd8c5b1487f80e0d410765f61a896","datavalue":{"value":{"entity-type":"item","numeric-id":5310885,"id":"Q5310885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec9f47bd14a3b2bd40d3764808e6aed6071054f","datavalue":{"value":{"amount":"+0.8957101","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":"Q5494237$801AE39C-62E9-454B-87CA-AE766DBADD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fb1aca0d03621066515f6b3f059780714977ad","datavalue":{"value":{"entity-type":"item","numeric-id":4313588,"id":"Q4313588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36146315d94af501194dea06080c037c701beb6","datavalue":{"value":{"amount":"+0.89208525","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":"Q5494237$3CFAB69C-38EA-47B0-A20F-13D4E4FF7A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5511cf1f992939e17faba4da9c70f1d64f9242c","datavalue":{"value":{"entity-type":"item","numeric-id":431812,"id":"Q431812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971415f712ff3df725f53cfa2c7b5a63b96aa95c","datavalue":{"value":{"amount":"+0.8865539","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":"Q5494237$8D5948E6-0314-4CC2-872C-0650B38FE6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6f16e5d3efa5a65e251568c9079f176d261c98","datavalue":{"value":{"entity-type":"item","numeric-id":6109095,"id":"Q6109095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63822c3102af3e47cdbf1e6b205942d0298caa5","datavalue":{"value":{"amount":"+0.8846564","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":"Q5494237$8C40BE42-82D0-4EB4-8A95-C1A6A6AA9D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd95d559d5d2de0036ed07e37a4049d5225225bf","datavalue":{"value":{"entity-type":"item","numeric-id":647343,"id":"Q647343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ce4aa631802ea01050b0d79efc788fe30bb8ec","datavalue":{"value":{"amount":"+0.8834028","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":"Q5494237$F3E2174D-EAC4-4ED0-B65E-39BDE1FEC6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13bea9bf76a8a7f0e5e3ab325e8c235b3b684199","datavalue":{"value":{"entity-type":"item","numeric-id":5203003,"id":"Q5203003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59924a10149cc8e4c1775860f163b77787e0b070","datavalue":{"value":{"amount":"+0.8824606","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":"Q5494237$AFBD4A5E-D9F3-4755-A870-02046DC453D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71d6f0e6068541f0ae7642605f690e66679b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3145977,"id":"Q3145977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb926f20f8b0fdcce343b8e50c353722d3a3c9a4","datavalue":{"value":{"amount":"+0.87896127","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":"Q5494237$21B35475-AE41-4632-95E6-181EADA2BD66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5494237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5494237"}}}}}