{"entities":{"Q3591409":{"pageid":5621313,"ns":120,"title":"Item:Q3591409","lastrevid":87483314,"modified":"2026-06-04T11:47:43Z","type":"item","id":"Q3591409","labels":{"en":{"language":"en","value":"A Game-Theoretic Approach to Deciding Higher-Order Matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189679"}},"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":"Q3591409$517802E5-DCFE-48D7-90F0-414E392E4818","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3fc32fea99cc704b69e47505806b2c19aaa1fcb","datavalue":{"value":{"text":"A Game-Theoretic Approach to Deciding Higher-Order Matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591409$94026234-F72C-4194-8C7D-F8D16FE46BB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f5d0c5e62f13725204b261648e4022176930e08","datavalue":{"value":"1133.03315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591409$660D5EDD-8635-471B-997F-5CAEA89CD2EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58e6e67da961104889ea9acfa33a9e78c3b29ea4","datavalue":{"value":"10.1007/11787006_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591409$E88A2CF2-E92A-4B5F-BCED-13461374C243","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591409$6B7F772C-99B9-421C-8270-0B0F3B10641C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47c1d44f115232d90e5380da6a335bd95ea07f8d","datavalue":{"value":{"time":"+2007-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":"Q3591409$E02BE281-63DA-448B-B8D5-233AEC62B601","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"231d43dd6ac2b9409e5d8ff3f693f89f4514bc71","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/18062882/Stirling_2006_A_Game_of_Theoretic_Approach_to_Deciding_Higher_Order_Matching.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591409$0785946E-C4A8-4E4A-ADE3-AF6B8142F297","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591409$638A67E9-92C7-4D32-9CCA-47498DF739A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591409$C11BAE08-B51A-4FFE-A85E-06A7A7D421F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591409$D13BF583-6B39-4A5F-AE44-C38841B7E190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"614b6e5de6126f5204644e6005c690e971daaab5","datavalue":{"value":"5189679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591409$9145D197-61C9-4C6D-954C-664DF1825BAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"416190e4fb9731154fbba1c0af54f7c43a2cec23","datavalue":{"value":"Games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3591409$192790E3-9A26-4565-AFE9-0C2A472C1DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"150b0c5e5647ed5ff65ec7233d72567a26df4020","datavalue":{"value":"higher-order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3591409$DC462B67-731D-499D-9F6E-8D348FEFFE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3591409$858E1F98-7B5F-42B6-9F84-2BF1685F119D","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":"Q3591409$A09FB92E-0412-4FBF-A955-54B7AFCBB2DF","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":"Q3591409$2A4E79C5-502B-4234-9EE4-874C21316644","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"088db52ca92af349720e4296ba638432033e017c","datavalue":{"value":"W2150133406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591409$D3428767-6970-4109-B4FC-8A76D079D170","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Game-Theoretic Approach to Deciding Higher-Order Matching","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Game-Theoretic_Approach_to_Deciding_Higher-Order_Matching"}}}}}