{"entities":{"Q3395096":{"pageid":3405799,"ns":120,"title":"Item:Q3395096","lastrevid":80643764,"modified":"2026-05-06T16:40:23Z","type":"item","id":"Q3395096","labels":{"en":{"language":"en","value":"Decidability of higher-order matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597485"}},"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":"Q3395096$2FD81FA6-34C5-4F7C-B6B1-CE7C642E8308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75559327a4d0747d283bdcdd924489566bc3ec7a","datavalue":{"value":{"text":"Decidability of higher-order matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395096$31ECCBFE-AEA0-43FB-9136-73EC54029EFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93d9a623dabf6f836fb7ab16de2702abd49f2330","datavalue":{"value":"1168.03314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395096$1DBA230C-0C66-49FE-9499-B702CEB0DB32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"722cfc4ab12a842244d0e38f7c140a3d315f9746","datavalue":{"value":"10.2168/LMCS-5(3:2)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395096$E53123CB-53EF-4A50-9E72-1F48EC4228B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395096$EC2BDB33-1C5D-4C56-861F-1D325DB94D3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395096$1BB4D7B5-761C-438A-9BB2-35338D4624EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99e1675b0dbaac3210036d30a46cd2848ebff5fd","datavalue":{"value":"https://arxiv.org/abs/0907.3804","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395096$49D0B804-277F-46B7-96F9-30C250169CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395096$5B9A0DB1-7163-40C8-94FC-67B15EA565FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395096$90BB4484-5EFF-4CDD-8E41-C0C565320F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395096$AB8F1851-ECD1-4AFD-9406-105C448C4B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9c521c5ba10e2da1a55e3828842c1d00822bd92","datavalue":{"value":"5597485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395096$A55335C3-1281-45F5-B576-B6F30755C985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395096$4C5B5F8A-B59C-42B1-A8DC-B5D3A8C8E08D","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":"Q3395096$6F0F6D73-C438-4894-8727-A6A41D8A22D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of higher-order matching","badges":[]}}}}}