{"entities":{"Q4247312":{"pageid":6276913,"ns":120,"title":"Item:Q4247312","lastrevid":41847773,"modified":"2025-05-09T00:29:23Z","type":"item","id":"Q4247312","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302067"}},"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":"Q4247312$A8440C3D-FB01-4B67-9BF2-3C662F9A32B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c93e7747f8848a7fab59356a7f7227a00dbffef","datavalue":{"value":"0937.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247312$4E3C3F9D-602F-4A39-A374-C443199FFD45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247312$7E67D443-DB70-40EA-AB1C-83E80FDD1A3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0567ac9f2a03fdd4e0e3913b80e4563364e3bac","datavalue":{"value":{"time":"+2000-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247312$2EBDF91D-849B-41A1-84C3-029C528F696F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247312$CEF3A1F8-4240-4D9F-B06C-DC8B3D273AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247312$987FF84F-A213-48E1-ABB8-9F887236B366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247312$C9CD526F-FA9C-4FC8-8A03-9C92D89B3597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15604f96da10d27b111bf6ab9f83396149806a1d","datavalue":{"value":"1302067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247312$68951F6F-C5B4-407F-9E72-5BC7B74F0B7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f73241cb1e0331c32ed2e49cffe2f57bfb3833","datavalue":{"value":"multilevel typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247312$9BDA0D8D-F348-48BF-9D9A-B86444CD772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57149b8a4f36b4e6b8960f70f40892c1cd60908a","datavalue":{"value":"judgements of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247312$6B6C4A16-9182-4907-860A-2056DA22A37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a1bc476bf1b0792416e3dee5ed7406bec2ad8","datavalue":{"value":"Martin-L\u00f6f's intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247312$48BE1D04-9EBC-4474-AFD9-DAB6BEDBD5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5375164ff46088a579119bac1e9be77c0ceab0b6","datavalue":{"value":"general calculus for expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247312$B8D8E67A-D8A1-4C79-9252-DF58D2394855","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":"Q4247312$CC4458B4-157D-4834-B6BC-98BE1B2E8514","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa10748bbac731359a45bd35fcf621c74c4e4357","datavalue":{"value":{"entity-type":"item","numeric-id":3532461,"id":"Q3532461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14ec4b69de1f80221e28e1ded4eda0f928efac4","datavalue":{"value":{"amount":"+0.8221434","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":"Q4247312$D0264F8B-FCA1-4C27-A98B-D152F810F37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf550b6118af7ff242c611e843501d96d87fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":2851229,"id":"Q2851229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fae1683b62496e7f53710a8cf6cac64d84ab5a","datavalue":{"value":{"amount":"+0.8016012","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":"Q4247312$9304647F-C08B-4A8E-9316-7A5B768B7312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfe5bcfa2e128f7269ed63cbd909268183f144b","datavalue":{"value":{"entity-type":"item","numeric-id":991019,"id":"Q991019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6eed4eeb763c8a73f4cc46bedafee0b8c1bd5a","datavalue":{"value":{"amount":"+0.7908509","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":"Q4247312$5F027D46-268A-43D0-AFBD-0CC7EEFA2D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a797607bd96718d62413e52f26b9e85bf85205fe","datavalue":{"value":{"entity-type":"item","numeric-id":2974970,"id":"Q2974970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eae380b781822bf335d39341cca4b12c0ab98a6","datavalue":{"value":{"amount":"+0.7894336","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":"Q4247312$71C2D1A5-DDC7-4DBE-B0BF-606F76157392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de47a69237d0d1b6cfd42c44d997542af3024e52","datavalue":{"value":{"entity-type":"item","numeric-id":2040399,"id":"Q2040399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bff7d160f4b2202284613c606ee205f5e0a68c","datavalue":{"value":{"amount":"+0.7891001","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":"Q4247312$79EA8DE8-E8F1-4859-A273-45607CA50E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7100c501756722125f045226a86804eb541d53fa","datavalue":{"value":{"entity-type":"item","numeric-id":2979844,"id":"Q2979844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e82dbc8493b06d5e7acf4a9067a7ac07c85b59f","datavalue":{"value":{"amount":"+0.7885288","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":"Q4247312$0336D9B8-D72F-4D90-BB07-4D47965EFF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe29a4843385eaf608b24bf94ad00314ee926a","datavalue":{"value":{"entity-type":"item","numeric-id":4850860,"id":"Q4850860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8773b4c16d3e12439b96dd772869c3d077460106","datavalue":{"value":{"amount":"+0.77809334","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":"Q4247312$036CF30D-F3F2-4E44-B687-7B71655C5665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afea874fb3a9aa35feed7e916b80ee9b048b3d06","datavalue":{"value":{"entity-type":"item","numeric-id":1045992,"id":"Q1045992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ea8914f7f6af62eed11d561f6839a5ee8f1764","datavalue":{"value":{"amount":"+0.7747613","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":"Q4247312$0640418A-E2C4-4165-B32A-F562B6E7A646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7943d17e678adb4c040a1d82ec132cf76cfe6c0","datavalue":{"value":{"entity-type":"item","numeric-id":631936,"id":"Q631936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df7da53f2649b76a9d0b3cf446be43046cdeea1","datavalue":{"value":{"amount":"+0.7723899","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":"Q4247312$0530CB4E-A0F2-49CA-A8B2-FA17C45DCD3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247312"}}}}}