{"entities":{"Q4263832":{"pageid":6293433,"ns":120,"title":"Item:Q4263832","lastrevid":46670298,"modified":"2025-12-25T09:12:43Z","type":"item","id":"Q4263832","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342247"}},"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":"Q4263832$96F09055-95B3-47B0-89E4-B26B8A9BF5D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ee782d4a1fcea0f663010ba3ff409310ddf3a33","datavalue":{"value":"0933.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263832$0673E6C5-999E-4D69-BADE-F352638559A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263832$85E2BF92-B700-4A26-9215-97975565DEF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263832$20DE9D55-DBD8-4BAE-B22A-A17BEB192D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263832$B64E95A2-7C1C-483B-B57A-174E306E53FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"991397d9c3166c05bdab043517fffc5292ad898a","datavalue":{"value":"1342247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263832$9B1A9B1E-F731-4189-B02A-EA6EE0E9E0DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263832$69F38FE8-19D8-45EA-83E6-60E2AF1E8CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263832$7C2AD46E-E767-44CE-A573-73892EC62DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263832$5C5F7ACF-A76F-4ECC-8FE6-91A9E2506DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263832$9366DAC1-408A-4255-8866-FC183477646C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3f6ac0a08b369cafeef8e78198742a4c882beb","datavalue":{"value":"lambda cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263832$F52B8EBD-C50F-4D66-ACBF-5C5480E78F58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263832$3F3A6E46-D1EE-4F46-9399-4A491975E51A","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":"Q4263832$0FA1BFBB-9537-4DB6-BE41-D0A28F6F42F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bb1a7bba853f625c2c1ff4c52c128a980954bb","datavalue":{"value":{"amount":"+0.7935914397239685","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":"Q4263832$D246CC79-B155-4991-A805-BE36C60D755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2af6cb699b709dc0b9e5139f9cebe22a5093d51","datavalue":{"value":{"amount":"+0.7688209414482117","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":"Q4263832$60792480-8E47-4F89-A2FB-0FC3D0B637F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f9242db5cf52fae93875abf93dcee96f827d6","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877c2028971633f1e1836e886f9d528c0e76b54b","datavalue":{"value":{"amount":"+0.7614685893058777","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":"Q4263832$A60528D6-1A17-45F7-981F-8F1A71CDBA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a65c2ac92b6befa73dd2e5c64d665a7812e159d","datavalue":{"value":{"amount":"+0.7609967589378357","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":"Q4263832$E11943A4-C03E-4270-8AE4-3C76C7965419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a69d7da4e3f4778ab03a22c319a669731e63e3a","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2025e8cd04965e45a612ab9d3c7318508103ecc","datavalue":{"value":{"amount":"+0.757744312286377","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":"Q4263832$6712D402-7B68-4545-A022-40389E9F80B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263832","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263832"}}}}}