{"entities":{"Q3558285":{"pageid":5588189,"ns":120,"title":"Item:Q3558285","lastrevid":50972423,"modified":"2026-01-16T00:56:13Z","type":"item","id":"Q3558285","labels":{"en":{"language":"en","value":"Goal-directed and relative dependency pairs for proving the termination of narrowing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703470"}},"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":"Q3558285$A20F8569-4E62-4508-AF19-C06092584988","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07569972df97029e73edf988a9427dbf16ad5ca5","datavalue":{"value":{"text":"Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558285$EEB72063-AA41-4CDD-A36E-84BB2DDD7C23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ecd12cc9f15fca31102ed84276adfd0180b15f5","datavalue":{"value":"1284.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558285$051BB4AB-4BBA-4643-9CA8-85545FADB862","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e3791b17d2f5dde87f580ac110b890841a336bb","datavalue":{"value":"10.1007/978-3-642-12592-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558285$9006D99A-FCBE-4452-B5B8-6A64DD1653B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558285$461624C9-7C21-4A0D-8C97-613F6CEB9374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558285$5FAD9FE6-C96A-46B7-B54F-54D193BDEF1E","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":"Q3558285$6FB534A1-0833-4595-A639-F57DD59872CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558285$5977DE56-87A2-4A49-AED4-8A6C5BDF666A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558285$B9AC7C84-BA3D-4104-B19A-96F8FB55EB55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558285$F0DA65FB-9A5E-4DB0-AFA9-31F652E0A6CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a2a1b0cd7e97a122a8694de32693199b3334020","datavalue":{"value":"5703470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558285$B2E4316E-E79E-4207-A2B4-6A0CE197C60C","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":"Q3558285$A1FDC5EF-458D-46AA-9C67-FCA79A4D2AED","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":"Q3558285$218A5D0A-63A2-4D7B-8176-4A35F4117C06","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":"Q3558285$C715DB27-1648-4245-A0D6-8DDE873851E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06880d2752fa4dbf27878f9c9155ac895125c332","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12592-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558285$6AFE0EFE-22AC-4175-9862-9AE000403128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9638c57963a2e3bbac6f32f6f55046899caaea84","datavalue":{"value":"W1496043728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558285$A309149C-1189-4E2D-98CE-B942F02D1ABD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671a562905a7427574f1fe613447f154b8100221","datavalue":{"value":{"entity-type":"item","numeric-id":5504664,"id":"Q5504664"},"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":"Q3558285$9C405121-DEDD-4614-8EBB-43194C14A4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b2870b798b9c8f408510b87663036448336b31","datavalue":{"value":{"entity-type":"item","numeric-id":3454090,"id":"Q3454090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def67f58315c7c2dc7c040244df3e748f8f065f1","datavalue":{"value":{"amount":"+0.8196151852607727","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":"Q3558285$B6C4122A-4D03-43EA-BB6F-1929FCAA7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654b4130d3ca48fa9f14a0aab05b24a2d789e887","datavalue":{"value":{"entity-type":"item","numeric-id":969619,"id":"Q969619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d0e25d13f3273dba0c3f20115ed6ecd532ceb6","datavalue":{"value":{"amount":"+0.8194998502731323","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":"Q3558285$78377CB6-AFBC-4AD2-9209-902487259C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a768a9a83383a0ac4e433270c033a6e66efb563c","datavalue":{"value":{"entity-type":"item","numeric-id":5458432,"id":"Q5458432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9a388a47b5d8930744ed565fd0c087d0bcbe48","datavalue":{"value":{"amount":"+0.8108325600624084","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":"Q3558285$EE67DC93-65FB-45D9-9613-E60E31B17C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eedc694d7d4f2556190c2f92cc01c28a5fad745","datavalue":{"value":{"entity-type":"item","numeric-id":2360875,"id":"Q2360875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40aecbd2d51ae4381ce1c605ad39dc0c798945ed","datavalue":{"value":{"amount":"+0.8063778281211853","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":"Q3558285$8CF88810-4F28-49E2-BF59-DE0C17E2C4A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558285"}}}}}