{"entities":{"Q3764126":{"pageid":5794032,"ns":120,"title":"Item:Q3764126","lastrevid":51828575,"modified":"2026-01-20T06:09:36Z","type":"item","id":"Q3764126","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021100"}},"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":"Q3764126$04B78BDE-FF61-4E9A-B687-5A047DFE7D81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e82dbc5632d831bba246c40d7267d7d75467b94f","datavalue":{"value":"0628.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764126$E77B3587-0C58-4A48-8A4C-313C80864D87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3764126$19C5D44C-AF2E-4D2F-943B-786D06017886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3764126$BB6C6CE7-58E1-4350-9843-C42A93491C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764126$BFF9E7F2-C665-4721-9543-529246609986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764126$BC1F703C-2A23-4F91-92F0-4C7043EC1294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764126$9AC01D3D-246C-45CD-AA1C-5482AE7111EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764126$B829C99E-1715-435A-BD6B-BC6FEC7EA598","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e48bcdf93caa79a6c4e91ac541033d6f26626dc","datavalue":{"value":"4021100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3764126$607DC559-263C-40B9-99D3-E3A283A17950","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9f07c673e98da3dd71a4b483e5b5705bfb39f5","datavalue":{"value":"modification of the (typed) \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764126$38422D95-DC49-4B1A-8229-33E4898A1883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70b2edd3fc8f4fc0fd92be11db37ee0b53752104","datavalue":{"value":"reasoning about partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764126$CAAF3E16-EAAC-4AC3-808A-C746CFB11AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feaf1321a2b376ce5c5f223c3b89e8828db3435d","datavalue":{"value":"fragment of the logic of partial elements plus constructors for partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764126$9F72FBBC-21BC-4F29-8897-C24D7836062A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51106e9beed79effd1ccc73fa840f48c78ac6313","datavalue":{"value":"partial cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764126$CBC133AB-F7FD-4D1F-9C1E-F24020E45D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"295eca52cc6ebffbe6c4791ed5c34a7e02c4c5da","datavalue":{"value":"call-by-value operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3764126$BBF58FCD-1B1B-4105-8EFC-B93BC1F81084","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":"Q3764126$E127B191-9BE5-43C9-A790-77DAD1777CDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f67830f841681e5e5e056c9b6a09218749b9915","datavalue":{"value":{"entity-type":"item","numeric-id":1121368,"id":"Q1121368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98306a5c4966e6230342c851d276f72ed1d93936","datavalue":{"value":{"amount":"+0.8131693601608276","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":"Q3764126$FB11AD09-28CA-4D69-A082-76A29DD28DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3260d99a7a47922e0a128a281b2b9b3f96c3b722","datavalue":{"value":{"entity-type":"item","numeric-id":5311271,"id":"Q5311271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7930d5c1d1e755fa6af3265f3bf8efe6a91edc46","datavalue":{"value":{"amount":"+0.7976843118667603","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":"Q3764126$67CCA73C-3C30-47E0-8F0E-D15C3B45DC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e1623f7f4c5195959d7385b82a4961d3c19c9b","datavalue":{"value":{"entity-type":"item","numeric-id":2368980,"id":"Q2368980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454a5aaa7ee7177f61389396c74573976038b7f1","datavalue":{"value":{"amount":"+0.7885981202125549","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":"Q3764126$768A9A9B-44B0-4336-8DD7-52E6A1235192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6ca364e3aff04fee338e46ae5d30af7083114f","datavalue":{"value":{"entity-type":"item","numeric-id":1349664,"id":"Q1349664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52276d078ff74a5591063d3c753ecf595c60b0d4","datavalue":{"value":{"amount":"+0.7765522599220276","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":"Q3764126$D0FD2C07-12C5-486B-A8F9-B26059C1294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f585cc7eb0647cfe080b4e28133e8385779b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2842828,"id":"Q2842828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d88a91fe3684b871e2c041cbecc55bb380b396","datavalue":{"value":{"amount":"+0.7716212868690491","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":"Q3764126$F03B5A28-5EF8-45B6-B85F-E3CF43A97AE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3764126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3764126"}}}}}