{"entities":{"Q4795875":{"pageid":6825455,"ns":120,"title":"Item:Q4795875","lastrevid":74652084,"modified":"2026-04-14T23:46:03Z","type":"item","id":"Q4795875","labels":{"en":{"language":"en","value":"Higher Order \u00a0 Matching is Undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1874424"}},"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":"Q4795875$7A140D00-A48C-42C2-9BC6-46D4119293F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49eeaff3911ac8844918880a2b5a91b0b5b6fa9c","datavalue":{"value":{"text":"Higher Order \u00a0 Matching is Undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4795875$1DC40023-EBD9-478C-A4BC-8ADF9FAC3976","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f447128cae4ad05dbd2f5ca2b178b7ac2efa5832","datavalue":{"value":"1014.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795875$1E938AB1-9EEB-4020-B0FD-8C3936EFD34D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861a5405ec33998d1809a09154253803fde2b702","datavalue":{"value":{"entity-type":"item","numeric-id":678761,"id":"Q678761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795875$D5A788E6-F325-4697-8848-46C2EAA7C4AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d2f8cbe005a04e821413a0288576f8cac58a27a","datavalue":{"value":{"time":"+2003-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4795875$027F3F74-8DF1-4026-B2CB-4B7D841F9406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795875$A80D70FC-2D69-4C99-90B4-3CB6B29347E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795875$32B7F0BB-3514-4DC9-B496-B2FC3D35E1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d25aae42cf0a5b4fabff3c85388eebecd311cee","datavalue":{"value":"1874424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795875$8C73ACE8-F1C5-4387-B785-9137116E08BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795875$31659BEF-8174-43E1-BDCB-7A377DCA4ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795875$A255F792-9D16-4FC6-800B-16B02A4DD168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b0c5e5647ed5ff65ec7233d72567a26df4020","datavalue":{"value":"higher-order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795875$28E0E2A4-CAB8-4ED3-B112-A2DE861021AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795875$17C21DC4-DC05-4DC4-8434-291E82F99903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795875$6C6697F9-F56F-459C-975F-E6A58B3C7B63","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":"Q4795875$0FDDAF76-198C-4F2E-9F0A-9B205C57482E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77f43e01b8c1411dbba629fc5fc67e1feb228f52","datavalue":{"value":"https://doi.org/10.1093/jigpal/11.1.51","type":"string"},"datatype":"url"},"type":"statement","id":"Q4795875$7F1694F6-17DD-4139-9D8B-6B92EF6F0D0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70182a8ed8bc782169ecefb4f4600ec1a39ae24f","datavalue":{"value":"W2126489583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795875$93893D81-A176-4938-BFE7-F42A8DDF62FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72e84179c49723249dba916117edf23bfa9bf48c","datavalue":{"value":"10.1093/JIGPAL/11.1.51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795875$F017A905-F232-413B-BEE6-4A474E122417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795875$06C66596-2A82-415E-8EBE-E2B6629DD632","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8706abfb84ac5217da1f08de69367c391d603","datavalue":{"value":{"entity-type":"item","numeric-id":3431410,"id":"Q3431410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef2698be90f821e050675208565cdf835282d55","datavalue":{"value":{"amount":"+0.8879966735839844","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":"Q4795875$9779E83B-FE55-4DDC-BC1E-B8D8416EC9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b86656b3f35057a4b5e6407ad48f2fc95b0691","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571471e13a062a3527ee80aafecb7bcf9ac3e35c","datavalue":{"value":{"amount":"+0.8600969910621643","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":"Q4795875$824A5314-90CA-4283-A910-6AA2A8FBA08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc1679e0d0543c1c3c8f5018975ea5628797bc6","datavalue":{"value":{"entity-type":"item","numeric-id":4500172,"id":"Q4500172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa94551aa909f078cb74921e9c89f3f35af8c9ca","datavalue":{"value":{"amount":"+0.8468168377876282","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":"Q4795875$C1B951DB-E6EE-469F-BD1C-F984AD37973E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494bc894f4c795ac339b6656e4f1a6c375d880c1","datavalue":{"value":{"entity-type":"item","numeric-id":5311258,"id":"Q5311258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad94769f6eaa9ffbed68dc94be03e52189a99de","datavalue":{"value":{"amount":"+0.8311676979064941","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":"Q4795875$3D13DFFE-CAAF-4A82-8A55-AB14959F9CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511543b91b7f3d2be12dbc5e335e064b27fcd3a5","datavalue":{"value":{"entity-type":"item","numeric-id":4808757,"id":"Q4808757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48916ba44d13a9b7a2343f45e6c3fe94570b9665","datavalue":{"value":{"amount":"+0.8185282945632935","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":"Q4795875$9FF20D3B-8554-4CB1-959F-E67A4CBE6433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher Order Matching is Undecidable","badges":[]}}}}}