{"entities":{"Q3786467":{"pageid":5816373,"ns":120,"title":"Item:Q3786467","lastrevid":52646543,"modified":"2026-01-23T04:36:03Z","type":"item","id":"Q3786467","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049615"}},"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":"Q3786467$CF23D187-A502-4439-9513-0C56DA87A6EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc59a05144ec1d5228e40282b839926cc3d39595","datavalue":{"value":"0644.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786467$77BE6A28-D06D-40CE-89AD-684B0B7C83A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3786467$C973D616-43A9-4562-9E7C-8B07F470BB6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786467$8ABC5D98-1478-49F2-9D6A-63844F3B6008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786467$4AC7A94E-6596-4E10-8E2C-6562A6A200B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786467$5D94BC4C-1DAE-47B5-8D93-A18366D8C29B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8843757fcbfc9aff9114387b3712458401377c00","datavalue":{"value":"4049615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786467$2CFDF375-1948-4D2C-B8C1-1F797E721E1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786467$D20E18DF-EFC3-460F-9BD0-B5E4681C5E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786467$FD53449C-8D4D-46C7-9346-ECA9FAD3D6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6d0cde18e7d6ac0c5b1fd877b74d03227a54bf8","datavalue":{"value":"semi-algorithm UNIFY","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786467$16E054FC-DDB1-4D95-88B0-51CD6D593279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3786467$CE0BF973-5019-49F4-B6A5-BD753DC11759","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":"Q3786467$B107C67D-206F-4B43-B2E0-58457ABDE3D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4fa3dc06a7ec04c149955b20385bac0a0d8354","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a14d313d9b6aa64bd21a71fb01bd89b3e6f0c0","datavalue":{"value":{"amount":"+0.8919515013694763","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":"Q3786467$7237D499-D1B7-4095-A622-1DA596092521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65c7d1217e995d8a2d241423b3d2644ff5ffa91","datavalue":{"value":{"amount":"+0.8492448925971985","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":"Q3786467$6AF4CDCA-4D64-4337-BC25-4FC03AA8C353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad3ae406a2c925ed49825c3d6fe3596eeddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4369dfd6f8f650851b736a178ac1594a8f88322","datavalue":{"value":{"amount":"+0.8436993360519409","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":"Q3786467$04D2EAA3-95DF-443A-9037-D9902D9C17B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11b60a48fccce9bd2910309eec203ab697e0a9d","datavalue":{"value":{"entity-type":"item","numeric-id":930868,"id":"Q930868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3932d5c2f495fb8a3b59b55efedfc3563c201034","datavalue":{"value":{"amount":"+0.8396446704864502","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":"Q3786467$570ED33E-14AF-4B6A-8F0D-C2760AE15E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec2757f650dccab700604383e2ef812b993fb77","datavalue":{"value":{"amount":"+0.7859548330307007","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":"Q3786467$26974D2A-E7A9-409C-90C1-B11F26E9EAE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3786467","badges":[]}}}}}