{"entities":{"Q4357063":{"pageid":6386662,"ns":120,"title":"Item:Q4357063","lastrevid":41253532,"modified":"2025-04-25T00:43:12Z","type":"item","id":"Q4357063","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1070623"}},"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":"Q4357063$E73A4927-81F1-4918-98C6-A0007F219F77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9df6bb79deec106da8467715e009b45c7388c628","datavalue":{"value":"0882.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357063$F9465AD1-E646-4561-AA59-C40A1C851832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357063$06DE904C-D017-42AD-91BA-B96BE58C25AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee6dabe770d01c58d9d16642e2d2c925ba77d77","datavalue":{"value":{"time":"+1997-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357063$B8D067EF-9171-4854-98E4-A511C5473CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357063$70B3C750-AC5E-4828-8CF1-6D237403DBCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f064f52d81f98e5efb1dbb4d44f50809e1940e4","datavalue":{"value":"1070623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357063$8F6DC25F-67F7-4BFC-ADDB-677BE053A7D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee22a16b68ff7690ced49d39b0f7a8a6db96b60","datavalue":{"value":"calculus of inductive constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357063$DAD67C65-EEF0-4190-824A-58AC9C683101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357063$EC0DF995-3181-4524-9F6D-DA84A9F86300","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357063$A7D1BA8A-57EE-4B8E-AB32-27E11BD4C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a89d66e6a5af9de31d41292d285f0eb7b530aaf","datavalue":{"value":{"entity-type":"item","numeric-id":39284,"id":"Q39284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357063$6BA0955D-7987-47F0-829F-8D0A2F8EDB71","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":"Q4357063$2733CF89-FC36-4FC7-87EC-34347EB28D56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f783adefd14c19385f04542db3af561e5b30f6c4","datavalue":{"value":{"entity-type":"item","numeric-id":5284601,"id":"Q5284601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5373c1678d07775fe26b81155f059cc57bb1ec39","datavalue":{"value":{"amount":"+0.88544","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":"Q4357063$868323C3-9A5F-40BB-8D23-555120207ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cf8b0db6a23b172da9a9459498ad2a216039bb","datavalue":{"value":{"entity-type":"item","numeric-id":5505507,"id":"Q5505507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5ce21cc311528f179c55fd1ae74d0e192b27f6","datavalue":{"value":{"amount":"+0.88233024","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":"Q4357063$76E1A370-4FBC-4E73-8E27-4CCB25C7E509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1ea13f2a3f0cfb8cab0079f201857881dc2dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2754056,"id":"Q2754056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049b987c42681bdf01c78fe99131734e4034250f","datavalue":{"value":{"amount":"+0.8819999","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":"Q4357063$D94CDA4B-F272-473B-9C3C-769EC9F04CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0e652e09af1f0493288f86849f1609c9872754","datavalue":{"value":{"amount":"+0.88156337","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":"Q4357063$B77EC405-AEB3-4262-87B4-99D127A44B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4cdfdfeb443a5b91cb20bbfd6c686c4cfd7a3f","datavalue":{"value":{"entity-type":"item","numeric-id":5875344,"id":"Q5875344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8202d833fd536a8e0996435cd925894b12c97261","datavalue":{"value":{"amount":"+0.8785211","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":"Q4357063$6C2E41EE-BAF2-4184-8955-C7E93051B7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7581e57bf5e5caa49d7ff5d29d502974c9796eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055918,"id":"Q5055918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ceb5a47f0cd39d4cccf6497cf9f75e12e2b8d94","datavalue":{"value":{"amount":"+0.8784803","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":"Q4357063$5C5FFE68-613B-4A49-AA14-5F63A73D0D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc34beb55dbba749ab13c98b095af348386a3fad","datavalue":{"value":{"entity-type":"item","numeric-id":1791188,"id":"Q1791188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e78516db8402d1d5d6810cf28e69e80067a0a1c","datavalue":{"value":{"amount":"+0.8777959","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":"Q4357063$83374E0D-375D-476F-9A82-0297D86E9553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e937a88ef960b487417e66dc27f226fec10c47b","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fb252d2173edc307e8c87e1e6b0f7bde60c7ba","datavalue":{"value":{"amount":"+0.87526524","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":"Q4357063$AA6C290F-24E9-47EE-89DD-249268E01532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df48aff8ed0802176336a8bac0e3a1fe32c7030d","datavalue":{"value":{"entity-type":"item","numeric-id":5051990,"id":"Q5051990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cded9f95fec30c449debd0eb56848240928d6dd0","datavalue":{"value":{"amount":"+0.8739739","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":"Q4357063$66ED66A4-7FD6-4A22-BA35-3E6B98002B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608620170593ad619f06b2819a60970a671696ff","datavalue":{"value":{"entity-type":"item","numeric-id":4471724,"id":"Q4471724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce6df3e5989b559dda028470000c679e54242b1","datavalue":{"value":{"amount":"+0.871627","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":"Q4357063$16DCC28E-2D72-486E-BF08-909645F573B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357063"}}}}}