{"entities":{"Q4012881":{"pageid":6042677,"ns":120,"title":"Item:Q4012881","lastrevid":55180093,"modified":"2026-02-04T12:17:53Z","type":"item","id":"Q4012881","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65533"}},"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":"Q4012881$511196FD-C41C-4843-953C-D89A285DD7B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77a14ca8111944012637385506d122c6562a2ccd","datavalue":{"value":"0754.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012881$D3EFD0E4-D19A-4D6C-8F25-76898DAAC6AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012881$9A8176BB-3727-40AA-B76D-E02A1FE52429","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012881$B8946F2E-72C7-489C-A4B4-5245FB102937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012881$16241B37-AAFC-4655-9473-2EF7C79E0D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012881$0B7E8E06-80DD-41BA-BE6F-B7E8C4257EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012881$3A5B2500-A17B-48F0-AC50-4DA08F1315E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afc66640c9e71ac1c47b2bcbd90300cf207d2809","datavalue":{"value":"65533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012881$8B5B235D-DB7B-4788-B86D-0148AF063573","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012881$5476EF22-CD1F-4FE1-AEA4-81149C130A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac99623abd535504f801b8a90ea0d101350724be","datavalue":{"value":"LF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012881$7E4A33FF-7CFA-4570-A165-7CB5C04CC20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012881$A222B5FB-93E0-4EF1-9010-C06702ACBAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b15b516fbf30712bbcb0856703a10bd6040219","datavalue":{"value":"\\(\\lambda\\)-calculus with dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012881$35360EC7-BB71-46DC-A8ED-DD521410B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5576e7bbe3a2b16666c3bcf8e200da8a722be3c1","datavalue":{"value":"hereditarily Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012881$87FD4EB2-76EF-4E76-A19B-6C7FDD1A058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0325fefdd5b0863645edc5d574132b4d03899fdf","datavalue":{"value":"fragment of intuitionistic logic with quantification over types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012881$8E332622-5D13-4F6B-A57A-126227ECD9CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012881$7F369B29-A775-4606-A87F-9E343C7722FF","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":"Q4012881$3DAF3040-3E00-4924-8C64-7B51A394EDA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ec43f150e0dbc8e2356d4a810ffb760b54eafc","datavalue":{"value":{"entity-type":"item","numeric-id":6488533,"id":"Q6488533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b0972faae1092123104d2e0e515dc63adebe02","datavalue":{"value":{"amount":"+0.8919005990028381","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":"Q4012881$4002AE23-EB15-42A3-9D7C-179207AB6C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9d59bdc6ae437ece8127a1d514a0d68e56907a","datavalue":{"value":{"entity-type":"item","numeric-id":3491030,"id":"Q3491030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff55e5a8ce49c1f0134e3a223bb4fee1764dd61","datavalue":{"value":{"amount":"+0.8896234631538391","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":"Q4012881$665855BC-F2B2-4F52-8D45-52192C41B54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3bdcc336d3cbaf72159e278f1acc8157aa3b24","datavalue":{"value":{"entity-type":"item","numeric-id":2883111,"id":"Q2883111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bff1cc73642267e6e57aabc0d639ad36c06cd6","datavalue":{"value":{"amount":"+0.8403557538986206","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":"Q4012881$2DEC4ECE-71E6-4BB4-973E-B3B84B50DECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9af094cb20226c99db0cb8ff7bed51d584eaa7","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9264db206db6411f5f5a29e826ca59e6a103c5d","datavalue":{"value":{"amount":"+0.7736002206802368","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":"Q4012881$09BDFDF2-7A2D-43E3-A909-29179E166D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4f616617e841cf8db0442ec5e0f4990b01e2bb","datavalue":{"value":{"amount":"+0.7732805609703064","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":"Q4012881$F1239F88-384F-4561-BF4D-10C99D485BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012881","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012881"}}}}}