{"entities":{"Q5504664":{"pageid":7534224,"ns":120,"title":"Item:Q5504664","lastrevid":50547401,"modified":"2026-01-14T08:55:25Z","type":"item","id":"Q5504664","labels":{"en":{"language":"en","value":"Termination of Narrowing Using Dependency Pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496701"}},"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":"Q5504664$025E9477-402B-4FF1-B520-6BFBA89951B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a497e539401ad26a338b4efe9e568cca05e4aa5f","datavalue":{"value":{"text":"Termination of Narrowing Using Dependency Pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504664$953E206D-13F2-4F77-9B9A-055D538D0ED1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5be03ce20f66ae97c9efe24edcf20e670b985bf7","datavalue":{"value":"1185.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504664$DB2D98D5-22FB-4762-AF8F-4BEA1461FF33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31bdbd9c35289807677f3506be3ee24a3f14954c","datavalue":{"value":"10.1007/978-3-540-89982-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504664$96AABDAE-2B7D-40D7-BB91-73D56A020560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$227E42E3-5222-439C-BCE9-0D3C5BB6EA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$DB10E8A4-6792-4857-ACEF-B78B77D6018A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaac329fe0a656aa52bb82005de68b09c3225c03","datavalue":{"value":{"entity-type":"item","numeric-id":1035696,"id":"Q1035696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$7027A6B1-A824-4CD7-AB86-B5076CB259CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$222989FE-0858-4AC2-B9C6-CC15C0132DF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-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":"Q5504664$DEEE75A2-B460-41FA-8241-AE4CECE7D6D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504664$078F4317-5527-4A14-A346-2FD15C27B514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504664$DDE14AB6-F03D-4D82-A1A0-C7A7798932A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2aa1bf62d270d78feb8f871031146ff6a84c2f6","datavalue":{"value":"5496701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504664$AA0586F1-5AC3-417C-8E7A-68D1D75A66CE","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":"Q5504664$2352E77E-4B3C-4485-9AB7-39B35E9EE1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$F536FCBE-8194-499D-B8F0-B59D31EECBD4","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":"Q5504664$863692A2-7C9F-47F7-A6DA-42D266C64E34","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df7dbd808ed45277833bc3efb9b6f228100b3b43","datavalue":{"value":"Q57978208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504664$163A0070-AF6F-41D8-87B9-7CD8F753082B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bae8d2bf85fafbe0cb3ee24ae8d2a32aa922dc89","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89982-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504664$E73B1FC3-1662-4D72-8AE9-50DFA9503019","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49b39bf1e8ee237ab5959e354246a872b6cf95ee","datavalue":{"value":"W1493847381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504664$BAE2DEEA-8A68-4F7D-BF27-419D43076851","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db567a69db90da129707225d3624b9c37b69b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2867963,"id":"Q2867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$5F4A5F95-127F-41CF-8BAF-C46E8063DFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b332a9b81473ee18f7120c8d0e2aacc65695005c","datavalue":{"value":{"entity-type":"item","numeric-id":3522005,"id":"Q3522005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$0D033A4C-1B80-425A-A912-F325A847DC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56996fcce9fc04a2b7c8263e8cc1ec51518babf2","datavalue":{"value":{"entity-type":"item","numeric-id":5504664,"id":"Q5504664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$6BB5606D-C6BE-4F8A-98CB-D933B7A235A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bc836395ea3d29aff86f7f6b53964c9367d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":1035697,"id":"Q1035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$82ECBA77-3C3C-4C28-8D9E-8A314D890170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebde6df368bc765b1b73e843789713d69fe6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4537508,"id":"Q4537508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$C88E9890-586B-404F-9D55-06652C0BAD38","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":"Q5504664$3E071AD6-1801-4476-8CBC-2D511191913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6faf23ae58f0d008eb59c8c3066e56d64ed7b45","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$AF5211F7-1C30-416A-86D9-E29AE416FA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$2434D5D8-B860-492E-8557-BF5CFCC0F353","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":"Q5504664$59115916-7345-4DE5-B184-91C66C15C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$B51263E6-45F3-4FAE-BD93-F53C893CB9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15735d85b8b838c2b2188ab30dc6676a960291","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$90F601BC-A807-4A2E-8B27-93D1912BAF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$573224CD-48FC-41B0-9805-F439CA3042D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f166014263cbd84cbbd95272df8e1e95cd9655c","datavalue":{"value":{"entity-type":"item","numeric-id":5504590,"id":"Q5504590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$E1E210C2-7FC4-49F8-922F-28B36627E822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ad8f68d17dd9acf9dbe34758361e759293799d","datavalue":{"value":{"entity-type":"item","numeric-id":2844056,"id":"Q2844056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$DEED63E0-CD43-410C-B1BF-46C9A9EF9978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bfb856ff4567170987e6a4a25767c7b93a02c73","datavalue":{"value":{"entity-type":"item","numeric-id":969619,"id":"Q969619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504664$598A6D88-8603-4456-9F93-090344ACEA6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4682fbafe10874c7e5a75566188c1bf3354ace5","datavalue":{"value":{"entity-type":"item","numeric-id":3558285,"id":"Q3558285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93255d8a3a35345dff9548f8d550d28492f554b4","datavalue":{"value":{"amount":"+0.8881412148475647","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":"Q5504664$9E125608-A394-428B-978C-656AE9EF6EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964f8909c1f507c1fdcc3f2a37e03fc69ad43ec7","datavalue":{"value":{"amount":"+0.8200107216835022","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":"Q5504664$0C2D3ED0-F403-4C3B-B63D-B61D0ECF2203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ea81fecbb111261ef055d1ca77669d1b9f05ae","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb3de54bc00567559948f757ffbd6bc453f9523","datavalue":{"value":{"amount":"+0.815403938293457","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":"Q5504664$7842A12F-EF73-48A0-A8C9-A0ED540039D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfbc0d8629147f6068dd3057d30dabe3b6e3030","datavalue":{"value":{"entity-type":"item","numeric-id":3408137,"id":"Q3408137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e0b481c425bce3d56313194e270bc22947a702","datavalue":{"value":{"amount":"+0.814298152923584","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":"Q5504664$CFBFCA73-9DBC-4298-971E-D1473F95A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae19b017730ffd7f07aafc6ac8ae0012cb4910df","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65e1bac5823fd3b1521f9575190913d89977ff3","datavalue":{"value":{"amount":"+0.8103680610656738","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":"Q5504664$36808B57-4BF8-4914-88A0-E5E51EC372FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504664"}}}}}