{"entities":{"Q4247302":{"pageid":6276903,"ns":120,"title":"Item:Q4247302","lastrevid":40903116,"modified":"2025-04-13T23:22:45Z","type":"item","id":"Q4247302","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302058"}},"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":"Q4247302$C88E8A3D-703B-422B-A38C-D178473410A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3c59cb0d48aaa18376615fd104d51336aea0063","datavalue":{"value":"0937.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247302$5F538C89-34ED-4B8B-B613-3AA2488B6BE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37750207d9a7aeb205ff8c33cdf4809298219612","datavalue":{"value":{"entity-type":"item","numeric-id":1850958,"id":"Q1850958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247302$23E73609-C98E-4521-911E-C03351C5D8CF","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":"Q4247302$8EBAD907-0E1C-48B3-A0B2-C37FBA433090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247302$74E3D485-996B-4F97-A1B2-8D792DC0896E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21fb5d5409683ad936611f4f27a39fbb058cc82e","datavalue":{"value":"1302058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247302$18558664-3063-44DC-9D05-7D48271A5CD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce058a83fa1217a690399c6df883a9a1bff2d99","datavalue":{"value":"fragment of Martin-L\u00f6f's polymorphic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247302$B3619B29-E83B-41C2-A008-8B27E4836B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247302$09216FFD-5363-42B7-8EC8-480D852C6AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ae144dbadd255a080e2baaac788ae9d8403474","datavalue":{"value":"dependent functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247302$5358DBD0-84CD-4966-9EEF-6B9C166AD53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a00caff25f1c55ff79d493183ce81a5876111b","datavalue":{"value":"realizability model for theories with dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247302$16E7391B-158C-4F84-BCC8-3386B7DC9C02","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":"Q4247302$048CCF48-1FBF-4EC6-9F4A-2655EFC465EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a4f2cb7a63b4bf2f7f69e9bc4cce13f6fa3bff","datavalue":{"value":{"entity-type":"item","numeric-id":4499143,"id":"Q4499143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9708ac0f7819a7d917e15cf5faab6def19e573","datavalue":{"value":{"amount":"+0.9290649","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":"Q4247302$EA175AAC-AFC1-4CC6-ABD5-0D1D0896D49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cede845560b4b650aeed6cb33fadedc1fe286208","datavalue":{"value":{"amount":"+0.92726755","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":"Q4247302$2FABE29C-45C6-46F5-8F7E-1644748EA422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5fd2eb7196f81280ad58ece249f9ac5f6ed863","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f7791162f8616a26bfd9bb037477544e797d74","datavalue":{"value":{"amount":"+0.926943","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":"Q4247302$5EA7F9CA-4ADC-41B2-8429-C1A9F6CB18E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bde338d048a3ed2b25a0c7ee90212db3b47468b","datavalue":{"value":{"entity-type":"item","numeric-id":4593235,"id":"Q4593235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452d07e6f9369dca4f58c70958ceabc13164552b","datavalue":{"value":{"amount":"+0.9249431","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":"Q4247302$FD609F95-0F7A-4D71-8E41-89F0E258EF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d9bc390ffde116272ec5536f0ea29af5f8e29e","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3262ed7d1c73f0ba65a62a2f3be58208cabd0204","datavalue":{"value":{"amount":"+0.9172878","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":"Q4247302$5576263B-B355-43C5-B12A-74FEED00BF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35dba7317f3cfb0490ebe539120b281187150139","datavalue":{"value":{"amount":"+0.91301894","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":"Q4247302$E2BF389C-2CC2-4CC4-870F-8B85457371A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30f07aaea45924d52c3e40f5fba1a1ad77e105","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9f5d0ea11ea8eebe7bcbe9783b382d4e7477b4","datavalue":{"value":{"amount":"+0.91279435","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":"Q4247302$0C6DF8F8-241E-4592-A2CE-70AF9F5B9A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc74e128f6e783605385305b53f83437d0229abc","datavalue":{"value":{"amount":"+0.91184634","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":"Q4247302$724A4C5D-36E9-4DB4-9A85-933BE39BF997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e826edb6f8f556bce47a5acd2423900864a627","datavalue":{"value":{"entity-type":"item","numeric-id":5310639,"id":"Q5310639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2049df1c2091267e5ecc619cf027817909d8d64","datavalue":{"value":{"amount":"+0.91062915","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":"Q4247302$ECBA0068-6B0C-47A5-A05E-6FAEE973AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071577697c11a2c9b8cea4d5bf370cc8ab8c50a2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751cd1e3bb7b6c0d9ee2206b1309086546156781","datavalue":{"value":{"amount":"+0.90908045","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":"Q4247302$2FCE6FFF-9EF7-4C0C-BE2E-6AF9CCCB9F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247302"}}}}}