{"entities":{"Q2942930":{"pageid":2953650,"ns":120,"title":"Item:Q2942930","lastrevid":52343738,"modified":"2026-01-22T09:45:35Z","type":"item","id":"Q2942930","labels":{"en":{"language":"en","value":"Pure patterns type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481300"}},"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":"Q2942930$F41CEFA9-D016-43D6-9FA6-909220C20403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f781102a282b801e767f0c0f282e49db3da95fa2","datavalue":{"value":{"text":"Pure patterns type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942930$49141D7F-BB59-4C3C-AB39-FDBC6416D2DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2caaf836dfcfa2b3c495a9eaf655212f5330e5c","datavalue":{"value":"1321.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942930$9F5CD86A-4960-4829-ACD3-893281729FD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bcf93fcc697a4fda79c3cfcc9c53427d365ac32","datavalue":{"value":"10.1145/604131.604152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942930$9A058692-E741-4873-99A9-0727B396171E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$C0BBA608-2870-4EB2-8E6E-EAD4C8D393DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9298254f76a7358264f9011f9bda765fe2714a","datavalue":{"value":{"entity-type":"item","numeric-id":857911,"id":"Q857911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$85AE9709-78C9-41FF-9017-C25A2F9AC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$CA41A170-0BDF-4CB7-B59F-4501755BA5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$289BFC9D-B7B5-4029-900D-C4B8290A57C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$A850A5A7-291C-44CA-8850-2A746574B2F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942930$97D86B02-6728-4E26-8775-DA9DE0195B2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26904b19d694223d9381b810ba28145faa5e0461","datavalue":{"value":"https://hal.inria.fr/inria-00099463v2/file/2003-popl-03.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942930$8B917DD3-4829-426F-8F2C-6B7239C3AAA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942930$F3B0763D-FADF-42A6-A0F3-FADD0AEEC155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942930$0A10AD70-8E63-400E-9D09-0F8BC19B03BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b173d67297acc3bb840353fe5d5d482d4752990","datavalue":{"value":"6481300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942930$2EF08F5C-393C-4B3D-879D-0AEAD321EFDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942930$15C2556B-0DF8-4376-9F70-FB3326F52E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942930$BD2F770E-D345-4B4F-9968-78F106446E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bff7e4a4536831a746765cf2bfc36024b1e1be","datavalue":{"value":"logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942930$75BDD523-65CD-4C06-84FC-BC6A1982D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942930$10739FC5-EE26-49C4-982D-ACD26A4C6720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3a4134a14189694b76416ccebed15be1ca2af8","datavalue":{"value":"patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942930$A4D70E3C-903E-4E49-AB70-1C7DCF86D5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942930$BB59D8D8-997A-4FD8-94E3-7ED3DE0EB84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942930$20800E4C-816F-4571-A60A-8A35FFDF90A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$F6838F0E-BC5E-40B9-B725-C7EC3677030B","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":"Q2942930$9409A165-151D-42D5-8460-1F17D440BF8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64b59a51f7132776a2db83f4327a78932572dabe","datavalue":{"value":"W2018854027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942930$C8C31DEF-B38F-4535-AF81-1F109054D873","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$667D4E31-3230-49B9-9446-F97AAA1299D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$63DBBFAE-3DD1-4C8A-9704-BDC0E1070666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$FAA70814-E496-482E-9340-18F85B6E7DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$30D6AF12-3473-4F01-80B4-F70D90609834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$7FDFD170-4144-4955-BC1E-2D96442AFFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$E2B98887-A27C-4434-90FE-DED98D79D20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$05D1007D-3559-44B6-AEBA-2809FB995E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942930$52E73FC0-119A-4EFA-851F-0A0542F4F87A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ca232539b3919fae74a91eac485d7d5c56544e","datavalue":{"value":{"entity-type":"item","numeric-id":3520143,"id":"Q3520143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127e1a6cc2a1d6ace3a32e766e541b453f41d10e","datavalue":{"value":{"amount":"+0.8389511704444885","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":"Q2942930$638CFF75-483F-49BB-BDBB-35D08037686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd043b3642e93111b86d90f238c370fa1011fb","datavalue":{"value":{"entity-type":"item","numeric-id":4673438,"id":"Q4673438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b8937a44e05eddfbb8e4d4c6a91fba7ab0ca2a","datavalue":{"value":{"amount":"+0.8113241791725159","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":"Q2942930$6C5EAFD3-825D-47DD-A50D-E75E62091717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380fe67206fa9f7f0a415ba641a43eb156d4dc86","datavalue":{"value":{"entity-type":"item","numeric-id":5390279,"id":"Q5390279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d003ab7f6a90a06b1bd05d4e9abd451dd93391","datavalue":{"value":{"amount":"+0.8054961562156677","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":"Q2942930$31D7CCDF-8CF7-4C1A-AE8C-25365F4E6802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4362da945404b8d40b0d5cd7504555c3d55530eb","datavalue":{"value":{"entity-type":"item","numeric-id":1882898,"id":"Q1882898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c745f298d4431dec90ec5a2c318feed53ba08cd","datavalue":{"value":{"amount":"+0.7951648235321045","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":"Q2942930$01C2E9F8-63B4-49CF-9F61-7FAA4B594C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06b84330c1b912dbb9ad0b61b5b4abb72b73284","datavalue":{"value":{"entity-type":"item","numeric-id":1908354,"id":"Q1908354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4184d9782c57c376888eb07d929b5cd3efbb5d","datavalue":{"value":{"amount":"+0.7944568395614624","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":"Q2942930$E71CCF95-286C-470B-BA1A-A8ED582AB0C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942930"}}}}}