{"entities":{"Q3655195":{"pageid":5685101,"ns":120,"title":"Item:Q3655195","lastrevid":88720187,"modified":"2026-06-04T15:16:41Z","type":"item","id":"Q3655195","labels":{"en":{"language":"en","value":"Argument filterings and usable rules for simply typed dependency pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654234"}},"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":"Q3655195$F074AEE0-70E9-4A82-AB87-3ED668E7B244","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"183b45096e613a4eab2520079e5bf3c9d45d4b86","datavalue":{"value":{"text":"Argument Filterings and Usable Rules for Simply Typed Dependency Pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655195$8D8B1DA5-BBC9-4906-B79D-A338F7FB338D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"382c18a4b012e2af4394ee342559a15820243d6d","datavalue":{"value":"1193.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655195$AB704D3C-8ED4-4E69-ABDA-3D8A3C263E68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"555231a3262017b729d061d647f178e616d5c4ed","datavalue":{"value":"10.1007/978-3-642-04222-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655195$93EF6528-E576-49C7-A541-79B7E7465055","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c142000c83c63c7d3a0cf2043f4b6ac5b2749b8","datavalue":{"value":{"entity-type":"item","numeric-id":1288177,"id":"Q1288177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$EFCD2939-9BA6-4A6B-B4B9-86A7A5844966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59d5ece89c99086a089fb6d15db1cc056e1717f","datavalue":{"value":{"entity-type":"item","numeric-id":844203,"id":"Q844203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$ED67EA27-FE55-4DB6-9EC4-E234EA6C6B62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$5D99F3F3-F1BE-46BB-B5AA-044143FB85A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655195$8462F1E6-80C3-4E2C-BF93-C17C3AF12A0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655195$2F721B16-91CA-4805-A23A-566BB7F7C5F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c316e2b8de2c233f69253ee65c0b4711ac7d7f2b","datavalue":{"value":"5654234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655195$68AC884E-2B04-4769-ACEE-2CE0ED254B8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$9E5981B3-9453-4AB8-B15C-CDA50797EFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$F45F3A6F-4020-4B12-87F3-D52996CD4A89","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":"Q3655195$B380EA3E-0148-4BBC-9EF7-9A8284FE4B3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d745c8d0fae2496433eac1f31e52724960b41bc4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04222-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655195$C6BDC2B1-979C-4774-81E7-103368929A0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4c526172d3ada506182ba302b59ae206e0e7fe9","datavalue":{"value":"W1505638068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655195$530B3AD3-A356-44EE-B579-A7D8D3162C73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a412739af99225a1d3c6ac281a152477de701dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4447246,"id":"Q4447246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$75D0D463-8EAD-4F2C-83A1-78BC20C3E209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fdd40f32c6c1bcf8aa85b978eccf8461572324","datavalue":{"value":{"entity-type":"item","numeric-id":5703843,"id":"Q5703843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$C8515DDC-D2B7-4AEB-B9C4-B6E5BDF27D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb1005dcbae3aab565d3cf54a29fa0d7f31094f","datavalue":{"value":{"entity-type":"item","numeric-id":3655195,"id":"Q3655195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$41D4F886-C88F-41A9-888F-1CAA9365F57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$B136BA84-AF2F-467A-81DC-48E30A53EF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e113c611b02519817e62b446cccab827e73f9e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527280,"id":"Q3527280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$B5CA59CC-F6EE-4861-9994-3725C998C932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$CCB60C59-17A8-4C70-B08F-C6F5ACFB83DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$D7DC7ADD-E059-44DC-8AC3-45B5C0296F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$36C2A413-994A-4293-896B-DBC2ECB8D499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff42e0abb425eb452fc2749897729b7818e52c5","datavalue":{"value":{"entity-type":"item","numeric-id":5505588,"id":"Q5505588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$A9ED3155-103C-4F3D-9BEE-1F3AB07A2CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$DD351EA9-B310-40BC-BB72-24C6549FC53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dead37c7e2ad54d906bfbd025be830cf225e481","datavalue":{"value":{"entity-type":"item","numeric-id":2460908,"id":"Q2460908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$70C2A5BA-9B1E-41A5-8604-9B80F89C03A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28959cd3978e8fdd79a1e740be58e82ceee780f4","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$E1C94801-8FAF-4C36-8DD5-9E3D8F5D0EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7a16bc99edf7dd1ee8087cc081df8601fdf294","datavalue":{"value":{"entity-type":"item","numeric-id":5901561,"id":"Q5901561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$F896FF25-1E22-4533-80EF-950E387510C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94850c507721b5a55153bfc1943f38acb3884cc1","datavalue":{"value":{"entity-type":"item","numeric-id":3522031,"id":"Q3522031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$86EF9796-8831-4CA5-B35C-18BEF5B45CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$CA5E3098-2630-470A-8679-4930880C07A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ff1ef3058b24805e7369e6a141ca534ae33883","datavalue":{"value":{"entity-type":"item","numeric-id":2778888,"id":"Q2778888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655195$1C773325-86F8-4073-B549-7F24103AC467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fabe2b121ce6f3ac0f92de4eb2a17a4f561055","datavalue":{"value":{"entity-type":"item","numeric-id":5703843,"id":"Q5703843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054f4c1b2d591ea23629a290a3f650f081e10528","datavalue":{"value":{"amount":"+0.9007705450057985","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":"Q3655195$AD0F68B3-67ED-4EBA-861C-9328BDD76DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab79369f1fc0711a12842c699c026f3c423a21d5","datavalue":{"value":{"entity-type":"item","numeric-id":4447246,"id":"Q4447246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5dee25b1d8855c24dceb480f8d7eed4d0ca4066","datavalue":{"value":{"amount":"+0.7888026237487793","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":"Q3655195$2CA18D19-E190-45F5-B6E6-43319927D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c84fb2a0d7e231ea7345a346d0051475279acbd","datavalue":{"value":{"entity-type":"item","numeric-id":2460908,"id":"Q2460908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f90d3ba9a07beac404968c5770e69406c2129f","datavalue":{"value":{"amount":"+0.7750342488288879","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":"Q3655195$91259872-D950-4E2D-9FD2-EC12F944FF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c30efdf0d99dab292743d413b0e189c44bb0e1f","datavalue":{"value":{"entity-type":"item","numeric-id":4494366,"id":"Q4494366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d346ec51dbf9a25b2936fba72543f33798bf6447","datavalue":{"value":{"amount":"+0.7712180614471436","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":"Q3655195$648BD9B6-BD07-470F-B8D6-23DDEEB405A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4c49921bb3381cfc229798d2f6be056ff81bfe","datavalue":{"value":{"amount":"+0.7702581286430359","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":"Q3655195$AB6C2BD0-48E8-4D34-A7EE-0E0016FF2A51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Argument filterings and usable rules for simply typed dependency pairs","badges":[]}}}}}