{"entities":{"Q4692468":{"pageid":6722045,"ns":120,"title":"Item:Q4692468","lastrevid":47165095,"modified":"2025-12-31T21:29:47Z","type":"item","id":"Q4692468","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194511"}},"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":"Q4692468$B5EDBB48-192A-4173-8DD1-F0538E959ECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad18971b0a16503db5073cb8ef96160205caa9a","datavalue":{"value":"0709.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692468$7DD32D7A-1DCB-4054-939C-E174F37DDF6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692468$7E582242-D301-4BDE-96D4-84D8B9E15E3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692468$D6869ED5-8F70-49D2-BBCA-1FE14D2D94CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692468$45D5B8EF-01D4-4252-8DDC-1092B89F133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692468$33BF6FED-3F20-48AD-8632-E771EDE7E3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692468$8570125F-1028-4FD7-B662-F94AC2BE3109","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9136b60d03fbeb4ee925aec0bab69eb676d4c99d","datavalue":{"value":"194511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692468$60506A62-87A8-4C8E-8B1F-EB4EB2ABCD82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceaf9727a5523de862d82cb1dbbed8d1951371f1","datavalue":{"value":"Logical foundations of functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692468$2B2F8C0B-695C-41F9-B7D9-128CCEAE3FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393a5812efed2b730b86be4f98dbe5e7e6b8d919","datavalue":{"value":"typed \\(\\lambda \\) -calculus. categorical abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692468$939FE2D3-1457-481A-A1C7-AC1611E102C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692468$88B46F89-1B73-454C-9AEB-34B449EB2817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692468$15D2F0AF-816D-40B9-B055-3EE64FA01DF3","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":"Q4692468$0BEF61D1-FB75-43CC-87F6-1F7A5EB0170F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f5e6c2ffa5a2ba95848085e6708f2b0de4f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd20bf1832e65698a64060691b0a74083a3f8c02","datavalue":{"value":{"amount":"+0.8074513673782349","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":"Q4692468$A49B1A3B-23CA-4847-A29C-CE50E54D23A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77cc1d1dc74c3c2162c6f0495b6079b1e47b4758","datavalue":{"value":{"entity-type":"item","numeric-id":4366777,"id":"Q4366777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726440f23019138bfff7cdcf90d69cf2fd60913b","datavalue":{"value":{"amount":"+0.7933361530303955","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":"Q4692468$54E8784C-18CE-4C62-8D68-9C8DF9D92EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bf2999a629ddee6218a2e2becb113340921911","datavalue":{"value":{"entity-type":"item","numeric-id":3486543,"id":"Q3486543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0edc3f764a38c1233bbb72717025b3d8c69c1f","datavalue":{"value":{"amount":"+0.7900452613830566","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":"Q4692468$00A97DDA-AF68-4426-BFCB-96F3EF36BDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38814beb9887128ca9647474eb6a93bc5bc442d","datavalue":{"value":{"entity-type":"item","numeric-id":4941500,"id":"Q4941500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df14d4df8c0025496124d50c0daebb8a00e22d8c","datavalue":{"value":{"amount":"+0.7814012765884399","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":"Q4692468$D928B302-BAB7-4337-91F3-A8692CDFBDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dff92d0ec4445ae93ac2583555fd6e9188f9b63","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11e310dff208ebb195175069e3caee0ef67b81b","datavalue":{"value":{"amount":"+0.7805039286613464","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":"Q4692468$815456BA-7326-4136-8F0F-7DE9D6643017","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4692468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4692468"}}}}}