{"entities":{"Q2819686":{"pageid":2830424,"ns":120,"title":"Item:Q2819686","lastrevid":52631069,"modified":"2026-01-23T03:46:16Z","type":"item","id":"Q2819686","labels":{"en":{"language":"en","value":"Pattern matching without K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631197"}},"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":"Q2819686$A896B75C-ADFE-4A32-BD86-655BF6267AFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a0878ef5cca07faf1b38ddc94e5d49cc6d550e8","datavalue":{"value":{"text":"Pattern matching without K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819686$5326FF44-A145-42AE-8AFE-3702DB371B65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da9e5ad9aee113486a83d46f49c8a721db411083","datavalue":{"value":"1345.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$A8FD43C2-EACA-4214-B3B3-C4DEA2BD8A86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9643fbc6715d402145ddd18c0f89187b4eb5114c","datavalue":{"value":"10.1145/2628136.2628139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$8C3EF78F-1789-4B0E-9100-55825A8E3C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09e0bf047a6c42f28d89aaad72021c8f313b69","datavalue":{"value":{"entity-type":"item","numeric-id":2819685,"id":"Q2819685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819686$689ACCF4-DF77-47FA-9279-43A392BDD2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1529dedab76f5fce2b82e1e7164fb256a96937b","datavalue":{"value":{"entity-type":"item","numeric-id":2229235,"id":"Q2229235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819686$B0A2DDB7-544B-4B9F-B239-E9127E501558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819686$86976741-26C0-4B03-8FEF-5921821B2FA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819686$977F3FFA-A824-4E0F-9AFA-5BED688432C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819686$01F3FBA7-0256-42B8-93BF-8926F0AC1F11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"351a3e55f494dc797b215f0ff849d640ac87e338","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/452283","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819686$D175A6A7-ED6F-4652-A3A6-C161EFD1678C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$693B5BBB-7011-4EA2-8DC9-786642DFC874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$DD699260-FAA4-43E6-92A9-4EF52A8E5728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$F141F42E-F193-434B-8787-5315195AA3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$5BC0392E-CF27-4757-A51B-182E33F636B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8cd891a70c54604cc34c743cbd05c3bc5c06287","datavalue":{"value":"6631197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$91472B51-3025-4D96-A5C8-91DED0C237FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819686$BA8C7E7C-C60E-433D-B9C3-964B7BA84153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c28e1b76628030df4389e43de69bf3a1df7a200","datavalue":{"value":"dependent pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819686$B3EEFD7F-D849-4307-9403-608F4C24F8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819686$D97BA95A-AF5A-4128-B3AE-B8B3710E6750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a8bc0d9c81b712f0ae4cd48e60b2691beae5153","datavalue":{"value":"K axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819686$DAD4A45F-5521-4136-811F-E5C98856350E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819686$2A70E1FE-5115-47A3-B1DB-284EC57BC58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819686$EF051AB7-8AED-4ED8-A217-2FAB086DC34B","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":"Q2819686$33946419-59FE-41DF-BCA6-1E496721543F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0138aea7660047547a911dd9db548ac652736f16","datavalue":{"value":"W2158830522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819686$8E41B123-C74B-4502-AD81-3E0010090607","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8539898db5b61c21ec1b6595d98c5f48208ec3f6","datavalue":{"value":{"entity-type":"item","numeric-id":5371975,"id":"Q5371975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db876c2ea616e0b9387db2357d707b9e6ac413d","datavalue":{"value":{"amount":"+0.96127051115036","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":"Q2819686$244B54C1-D569-47CB-A22C-A8340D4DE692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16adf72458b82eecde21137a71cec160c3524776","datavalue":{"value":{"entity-type":"item","numeric-id":5757920,"id":"Q5757920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a5d4f58aa05ff1962d912dcd48c3299176b0e2","datavalue":{"value":{"amount":"+0.7772270441055298","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":"Q2819686$AAE3B430-2066-452E-B6F7-06C21D9BB299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3059def3a1d11991a42b48d069012b0de3f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3638245,"id":"Q3638245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0affbfd7607fbcbc0cc443d4010462f4ab7451","datavalue":{"value":{"amount":"+0.7736406922340393","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":"Q2819686$E95A9D62-78B4-4247-9242-B4B0244575A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28775fb3a03fcb215b7e035d39e97a361d4ee293","datavalue":{"value":{"entity-type":"item","numeric-id":5410695,"id":"Q5410695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cef39bf28b2f565771e65d0d9a708552745495","datavalue":{"value":{"amount":"+0.7584620714187622","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":"Q2819686$8C86818F-2476-4B97-9990-24085E6362F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192aac73e946632753187438ce0d8b5b5cfe67ef","datavalue":{"value":{"entity-type":"item","numeric-id":5110925,"id":"Q5110925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1f5c46203d96168b338bd3c0c38b2b6dd16822","datavalue":{"value":{"amount":"+0.7492807507514954","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":"Q2819686$E607E3B2-E098-41D3-8BEF-AD3572FF5685","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819686"}}}}}