{"entities":{"Q1675159":{"pageid":1685900,"ns":120,"title":"Item:Q1675159","lastrevid":71880324,"modified":"2026-04-14T01:09:03Z","type":"item","id":"Q1675159","labels":{"en":{"language":"en","value":"Over-approximating terms reachable by context-sensitive rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798772"}},"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":"Q1675159$7A41DB89-C7D1-4DD5-835A-76B34BC6D5EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19e8eacaa4327782c180e561c863ea20319e902e","datavalue":{"value":{"text":"Over-approximating terms reachable by context-sensitive rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675159$85605070-4DFA-4469-AAB9-7CF407056116","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e4e71c9e9d350cc1205a92db1aefd1354f2e832","datavalue":{"value":"1471.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675159$DC1069BC-9979-4CDF-A6AF-AC5872D51152","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cdcd87d0a0b23931ebce40abc00b1b9bb6b72a0","datavalue":{"value":"10.1007/978-3-319-24537-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675159$A8899EA7-67A2-4923-8653-49E1A8400F41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90ad223debff2d15347d426d0720c6b050088e62","datavalue":{"value":{"entity-type":"item","numeric-id":1675157,"id":"Q1675157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675159$B21D48D5-21AA-470C-9B40-95C9721F534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc953e7dff7d26bdcb07d2cdf423e7bdad75f63","datavalue":{"value":{"entity-type":"item","numeric-id":1675158,"id":"Q1675158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675159$2278D2F8-7CAF-4796-B065-5E26CC1E49C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8feeb1cca2d914464752fa09fbf4f8c1020610b0","datavalue":{"value":{"time":"+2017-10-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":"Q1675159$5F94EAD5-8DA3-4456-BF43-591460CE5DB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675159$BF10944C-DC67-40A2-BB92-796EDF7622B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675159$D334FBD0-2444-4533-8DFA-814BD75E9270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd09ae562db76fcb2c19ce78cbe765bd9adfd850","datavalue":{"value":"6798772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675159$662249E7-25B8-48DC-95EB-F3BA10BA0897","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":"Q1675159$9E831F6B-5C73-4A5C-986B-203CAE6ECAC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51bacabf74d73ec2ff6c365f421ded5884b7ab1b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24537-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675159$218770AA-2126-4AF4-BC1A-4CE5329B455F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e73ed5e5d3f6b6263729a9ad03b001e1e578695","datavalue":{"value":"W2394981874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675159$C016AD11-9922-4EDC-912C-1F2273BBC06D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d802b6230229678e8b77355cec35844cf8af9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2456572,"id":"Q2456572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d4193bbfaa4001626806799aae46e4bd7d9c88","datavalue":{"value":{"amount":"+0.8106163144111633","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":"Q1675159$AF9DFFD2-7DAD-4C60-BFEE-E051C3DFB277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eec57f1068022d117b46f90dca8f1524cacc101","datavalue":{"value":{"entity-type":"item","numeric-id":2827837,"id":"Q2827837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a12b1018e502a279f3dff8641a5f375752250a","datavalue":{"value":{"amount":"+0.7982503771781921","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":"Q1675159$334458F0-881C-489A-9803-7068A62AE1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c53a3758ef1cd603ef20d1ae6b811e36c8ae700","datavalue":{"value":{"entity-type":"item","numeric-id":4808743,"id":"Q4808743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256750bf88c9cc8cf5c16bf47951fc05dd7d7b86","datavalue":{"value":{"amount":"+0.7874444723129272","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":"Q1675159$89F2261C-A21C-40BC-BAFA-338297A7B0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93aa8e4ce1f1ae16582376de32ae8b49d86e523","datavalue":{"value":{"entity-type":"item","numeric-id":2843614,"id":"Q2843614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65616a61826cd40f7dc153fd5c641ae07efa5f98","datavalue":{"value":{"amount":"+0.781420886516571","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":"Q1675159$12EB5A7E-1825-49C4-A54B-56C60FD89102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b049fb018ef319099e90e1d308a5e97b221d9078","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad073c7d1aa8cc56e12760b4e87ff36d00055ad","datavalue":{"value":{"amount":"+0.7790495157241821","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":"Q1675159$5A24506B-4F72-49E0-B77B-D25F2713AB55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Over-approximating terms reachable by context-sensitive rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Over-approximating_terms_reachable_by_context-sensitive_rewriting"}}}}}