{"entities":{"Q4436029":{"pageid":6465628,"ns":120,"title":"Item:Q4436029","lastrevid":48200014,"modified":"2026-01-03T22:48:40Z","type":"item","id":"Q4436029","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2006633"}},"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":"Q4436029$BCBEC470-5B09-406E-AFF0-699FB5DE227A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b975c8b409277c56193d365864aaae9c9d08ef","datavalue":{"value":"1024.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436029$A5F3C03F-DF84-4464-A56A-8C3ECBBA7D12","rank":"normal"}],"P16":[{"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":"Q4436029$AE6C1F4B-122A-49C7-88D2-53D68906CF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4436029$AFE0F7B6-7529-4ADE-A267-1DFF5331F027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1382cc090f507a328521fdf5ef591a7b9c8325","datavalue":{"value":{"time":"+2003-11-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":"Q4436029$0C837491-C8C1-436A-9A8A-7C4AA9CF4A3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb18af446992ea093527e4c2270c2f88de71183c","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2183/21830093.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4436029$2ECD451F-F40E-461A-ADF3-FD425E2EAEC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436029$3A5A8ACF-161F-4555-AD72-A9E7DDB25D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436029$2377014E-A576-46F4-B53E-2060E3AB779F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436029$7C23D4D6-108D-4068-8FFF-FD0B051AF99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436029$4279122E-1A68-440B-A9FE-E0637BF76270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3475e578b148f9a63bdf42733f6d0a0d152a134","datavalue":{"value":"2006633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436029$260A11D2-A8B8-4E81-BF76-9CD36E85A1C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$371148E7-7AF7-48A0-887C-A5D4DC51A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$16EDBF25-5BE3-4374-A382-3F0E1422C03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$8ECC692A-D40D-4057-A7A0-A63A60E26F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f451aa5befd3d2e22057fef6061d63039039da19","datavalue":{"value":"inductive-recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$C6B73227-0039-4E90-805F-A086617277AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3de23e37e993e4e77cc8e5af007153ce87796eb","datavalue":{"value":"inductive families","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$C0D2D9DB-8C40-4716-B9D3-F2E9A2D962D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$6DFDCFA9-E860-458C-B005-931F969E7905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f038af9ca19b626c009546f729657c1b64ff6dfb","datavalue":{"value":"normalization proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$C99E6D63-2E20-4134-A0A8-E71E4C2D7091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d517d90d43d21c0e033101aac2f2db5cb9a56168","datavalue":{"value":"generic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436029$F923FA92-9F80-4446-9B3E-855A2B21AEF3","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":"Q4436029$D609B9B5-7616-4105-804A-5A9214AB1729","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b672a36cd88914c28ce3346893474b0a3ad511","datavalue":{"value":{"entity-type":"item","numeric-id":2577476,"id":"Q2577476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94906b453407c0ad9d2dd9db811f6dc1268937bf","datavalue":{"value":{"amount":"+0.885974109172821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436029$226F8A34-0F19-4964-BEDD-99BC92722343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c90b5d6a9cdd326319d88bde8b470ca59830a97","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb533423642359b6ee5fb07d8cafc9dc22082ce","datavalue":{"value":{"amount":"+0.8341972231864929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436029$6D5F98CD-2BD7-45F3-BB80-41CE04B36136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b06f89c41d640daf3bd74f8f8e1b37397c2e2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c287c359084d096ad3a0ce4df84c26d778f557","datavalue":{"value":{"amount":"+0.8339305520057678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436029$863A62F3-133C-4AD6-97D4-1B01EB2FDE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546e420f4dea21d07b23547f793643a901dc096c","datavalue":{"value":{"amount":"+0.8207119703292847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436029$5A513F8B-8CE1-40E7-89BE-787C51121A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c269e5a99f2caa587ad2d3307a55084f7b365d25","datavalue":{"value":{"entity-type":"item","numeric-id":5246718,"id":"Q5246718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2062576f6769714270c6b6f18cc4d2139f4967f","datavalue":{"value":{"amount":"+0.8160878419876099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436029$B87FA534-0A48-4DEC-8A45-AFF9418590DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4436029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4436029"}}}}}