{"entities":{"Q4825542":{"pageid":6855122,"ns":120,"title":"Item:Q4825542","lastrevid":74968494,"modified":"2026-04-15T01:28:47Z","type":"item","id":"Q4825542","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2111733"}},"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":"Q4825542$C816269C-84F5-4948-952A-346551B118A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2896f324477b5f8ebf91f5b7ac111fc8c8002339","datavalue":{"value":"1094.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825542$D3DB99BC-407F-41A0-8E4B-5DA6BCF23C9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d93e318801a909e70e0229c2c8cbeb460ba386d","datavalue":{"value":{"entity-type":"item","numeric-id":1275619,"id":"Q1275619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825542$B246DEC1-9F9A-4C44-80AD-4E4EBD468905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825542$06870BA9-E873-4FB5-A36A-6D832FA56300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6b49a79ddd8f1eec318f733110278cbf98781e","datavalue":{"value":{"entity-type":"item","numeric-id":1347991,"id":"Q1347991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825542$C683FA18-4BF4-488B-AA1F-B1547907A89B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4825542$A57F54F4-0DAA-413A-8602-700B6163807D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825542$BD136690-2898-400A-90AE-4325CFAEDE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825542$22176F33-96FB-4D7E-99D5-AAC3BAA16662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825542$AE7E3D2E-63F7-4102-ACE9-CC4C472F5AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b764978e7f088aaafdafbca619e64a89d26cb8","datavalue":{"value":"2111733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4825542$A1988556-73B6-485F-BCA2-77B8C785DEAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9301436ba9ecd6491e9e1075ae39789e25f7a08c","datavalue":{"value":"polytopic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4825542$BB8F6AA5-7D8D-4AD0-8F81-773C12FF76BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4825542$9F1E59DB-25E2-480D-A6C7-1BF36B1E3493","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c08a4a757f89c613a749dcb992596ab6edf6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":21124,"id":"Q21124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4825542$4213EDD4-7FB7-48A0-8646-2B6D800B7E8D","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":"Q4825542$598E9A07-66B1-4D0D-B00E-CE7D0D0FB4E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ed741f2cb8afbfece222af6c34d297cdcbb071","datavalue":{"value":{"entity-type":"item","numeric-id":3616351,"id":"Q3616351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53381bce8ec2fbb9f26772c9470b324ac95b6922","datavalue":{"value":{"amount":"+0.9183991","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":"Q4825542$1945DE34-DA92-4A93-BC37-B0D8C055AEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5da10da657af8f7990cb7e2a5fd9b0658a0622","datavalue":{"value":{"entity-type":"item","numeric-id":3605541,"id":"Q3605541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273705e20067169c94ab433dd6df4c9c3c19c2df","datavalue":{"value":{"amount":"+0.91692114","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":"Q4825542$09EAAC22-CDA3-4AED-BDC5-528EC28EB96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa407ad2e2d3f5b78eafe97fabf354c92c49b58","datavalue":{"value":{"entity-type":"item","numeric-id":408534,"id":"Q408534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273705e20067169c94ab433dd6df4c9c3c19c2df","datavalue":{"value":{"amount":"+0.91692114","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":"Q4825542$B095128E-98D3-456A-9B60-9E5F82A3C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12384d81a938f8b6e69487e580928da310ece1c","datavalue":{"value":{"amount":"+0.915866","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":"Q4825542$3686B5C0-6BE6-4921-9B8E-220949FB94E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c6f582b6bf0956b16135b2d6114b62a9f3e97c","datavalue":{"value":{"entity-type":"item","numeric-id":4250369,"id":"Q4250369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5a1084aae69064012d06353b4b5b75fdb140b0","datavalue":{"value":{"amount":"+0.9144389","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":"Q4825542$2C2C90DC-E575-46BD-B09C-C4EEB550F2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8567c3c3fa0d29bb2a7b7d1185d746657ce4cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5214792,"id":"Q5214792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d8c488a65b71db0c2f50087256bb0c93ddc601","datavalue":{"value":{"amount":"+0.90456396","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":"Q4825542$16ED76FE-39BF-4860-AFC4-ABAFF56D3C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7534f1f75ae3d3154e9dab273a40ac51a43bd815","datavalue":{"value":{"entity-type":"item","numeric-id":3100202,"id":"Q3100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d760b672fad59b460158a8396f360601f35d48","datavalue":{"value":{"amount":"+0.897851","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":"Q4825542$8392FF4B-615A-4890-837F-9315D018B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc08441ff3a5e16ce2b4eb1ed93b02882eadc8c","datavalue":{"value":{"entity-type":"item","numeric-id":2304565,"id":"Q2304565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8977644f819fbdade9aea627c9a067696f69a9","datavalue":{"value":{"amount":"+0.89593077","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":"Q4825542$98FE4A9D-4C42-4555-AF86-247A4CBE499D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498ce556dfca5c04393f1aaf9a093578b40a7501","datavalue":{"value":{"entity-type":"item","numeric-id":4736400,"id":"Q4736400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83a75f2a61c34d0d7338a3452f7fc4eab43328f","datavalue":{"value":{"amount":"+0.8955268","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":"Q4825542$315BAA3B-8F45-4810-AF9E-ED3D2A53F3A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2111733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2111733"}}}}}