{"entities":{"Q2844056":{"pageid":2854776,"ns":120,"title":"Item:Q2844056","lastrevid":51808385,"modified":"2026-01-20T03:56:05Z","type":"item","id":"Q2844056","labels":{"en":{"language":"en","value":"Narrowing-based simulation of term rewriting systems with extra variables and its termination proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201927"}},"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":"Q2844056$367FE709-C37E-4EB5-AD19-E9A276BF5BE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdc9c1d66be510851333b930e8fbdab6874bee95","datavalue":{"value":"1270.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844056$B8CC74C1-0313-4234-920C-20F904B6625E","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":"Q2844056$57F18FC1-3657-4409-95C0-F699CFF88A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844056$D197C164-FD57-4500-BD9C-362A0062EB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf90f946b2c89ca17522366492a000f00eed5be","datavalue":{"value":{"entity-type":"item","numeric-id":1248364,"id":"Q1248364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844056$51052528-02BF-4FDB-B9DF-F3BAFA9AA1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844056$DCF3B3EA-6FF8-4B78-BAC1-F85F8D942E2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49a76fbcc96f24623895af5d3087cda4a591c9e5","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104806935","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844056$DC851B0D-ABA6-4388-8188-779AB3E03124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844056$AD0F0802-72F2-44F4-8B55-6657D458BE12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01af04281895a73ee45aada09ec88a86fdbc8baf","datavalue":{"value":"6201927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844056$AE2F0182-EF50-4C42-AA29-596888C19474","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":"Q2844056$FF0D4FC1-B773-47D6-82DB-16BC561D2273","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b6577fbfd01420865c62883bc99ea58442c48b4","datavalue":{"value":{"text":"Narrowing-based simulation of term rewriting systems with extra variables and its termination proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844056$F60A1491-E6BB-4C6F-A10C-8A27FAD6FE08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0993e7fd0fa3566044cc6678ed41859d5ce0ed6f","datavalue":{"value":{"entity-type":"item","numeric-id":1035697,"id":"Q1035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6863315430e3d89f7091a83840425095716f3044","datavalue":{"value":{"amount":"+0.7914559841156006","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":"Q2844056$E666648A-9B62-4A97-AE1A-31B91A479C98","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":"1ea0251c42e6f6c056547a1d4f06e9227f631071","datavalue":{"value":{"amount":"+0.7857787013053894","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":"Q2844056$57862192-8097-4A82-9979-5DBFD8E40C97","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":"46497d9efccc4191b2115181d973863b2d8ca75f","datavalue":{"value":{"amount":"+0.7794692516326904","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":"Q2844056$2CBCC43B-98F1-4692-9BC6-797714FE7B85","rank":"normal"},{"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":"7c932969ea79a62b13028f3109ed276f04988164","datavalue":{"value":{"amount":"+0.7448733448982239","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":"Q2844056$D5864AA0-FDED-4397-B469-B62B668274B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e2661c5330f633d56e9a2a3756ccf3929b20e7","datavalue":{"value":{"entity-type":"item","numeric-id":5703856,"id":"Q5703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1347117e90d04f9c074b2251135e6a109e2b98","datavalue":{"value":{"amount":"+0.7443153262138367","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":"Q2844056$C8203B23-E692-4043-8E7C-A19AE3183C04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844056"}}}}}