{"entities":{"Q964737":{"pageid":966585,"ns":120,"title":"Item:Q964737","lastrevid":42790704,"modified":"2025-07-11T12:42:49Z","type":"item","id":"Q964737","labels":{"en":{"language":"en","value":"Normalization properties for shallow TRS and innermost rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695462"}},"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":"Q964737$4B9AFADD-F763-4852-A4DF-F2EB2E05A108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf530065248771b5835a4e688af4ee2345971360","datavalue":{"value":{"text":"Normalization properties for shallow TRS and innermost rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q964737$BD94368E-D2D6-4786-8ED1-FF26458927FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cfdab4c3b60e787aadba40a558f54d8f0a9838c","datavalue":{"value":"1184.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964737$E01C9086-780A-4437-941A-B01B25167823","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$EFFD0448-E0E8-47EC-AD13-4F9F671A339D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$D330735A-65E8-4495-88DC-F81C1CB8BD30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q964737$6B540083-17C8-48AF-8564-524BD12C692B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964737$F645855C-61A6-4A82-ADB1-F84FB4CA85ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e4b80b70d3530bd70c46fd34d9f4618ded41e8a","datavalue":{"value":"5695462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964737$0D7879A4-AE0E-4C6C-938F-118D350F57AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q964737$9BEDA096-D75B-42C1-A71C-6E3D0FFE09AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f619bfcb84c5eab168c7cd3a1b80d60faa60a04","datavalue":{"value":"syntactic restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q964737$67FEFC2B-CDB7-48FD-A2CA-5F6EF947DDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2818beb7d29b0c22b0029cd21e88d36ca0c546","datavalue":{"value":"innermost rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q964737$1081EDFA-803C-4C67-8D2A-1339AD47672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q964737$3139A764-321B-49AE-BBD8-9E08E6BCBBC4","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":"Q964737$EAFEB75A-0B60-49F9-9DBF-5ACF095F9901","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6d23a10c0d9e11e05a00d6cb01218a6fdac3856","datavalue":{"value":"https://doi.org/10.1007/s00200-009-0118-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q964737$30ABB90E-E9CA-46D1-B2B7-7ED93F6E1026","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8652eadfa418ecc783db56af871647833db3e9f0","datavalue":{"value":"W2087323415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964737$5CABDE83-FA96-4101-9E4F-AA19F7FFE585","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$A28FB4A5-A62C-4E8F-B08D-76C3D1766D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8621654e068ff7419d29506662c5e5f6afbe6a","datavalue":{"value":{"entity-type":"item","numeric-id":1325836,"id":"Q1325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$E6C0377E-1281-4DE2-894D-511EC94B277D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960617989f0d51849d065bd11fb85bcda82bf7df","datavalue":{"value":{"entity-type":"item","numeric-id":5432336,"id":"Q5432336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$D67C8C11-73C2-483A-A3A3-5256AD91C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552806ba064d303fb05affb9cfea9fc2babe78f0","datavalue":{"value":{"entity-type":"item","numeric-id":5249028,"id":"Q5249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$66DC6E85-A2D0-405A-958C-A881D4D0978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83748a7b72db0052f345f26fb07d1db89a55b38","datavalue":{"value":{"entity-type":"item","numeric-id":734041,"id":"Q734041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$A752DA7F-6DA6-4D41-A841-B4EA4C761EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75609fb90ea800d27d0fc4f87283eb79e260d25","datavalue":{"value":{"entity-type":"item","numeric-id":5432341,"id":"Q5432341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$7D926DA7-98F2-4369-BCCE-CB87EB2651AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842da22c1419bb2ac7a12aa45e86ebd6e6b1ba08","datavalue":{"value":{"entity-type":"item","numeric-id":3608777,"id":"Q3608777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$26EED5B2-DF7B-4988-8AD9-DC28D9EE1AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ac4d5ab6018a1510010c37ae8dc3cec6c8ba78","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$A1795B21-4C07-4E45-8EF7-B799162AFC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f41db772863009d8e137b7de3f2141fbf89f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1886319,"id":"Q1886319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$8A8AB8C2-558C-4BF4-BD83-11DA32AF60BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15950715c4c719da3ab3ac53f61d38e4d10faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1127543,"id":"Q1127543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$3215EACA-6099-4529-909C-267A27176DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49dd04201c59095126ace1b445dd17268a9523b","datavalue":{"value":{"entity-type":"item","numeric-id":1400714,"id":"Q1400714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$5136F185-1FA1-4597-B69D-9898CBA759C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$F3748B83-BEDD-4793-9A58-E6137B1D2A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964737$0457275E-DD00-4EC0-A9EB-525C252671AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7d1e6e536b03d748a1b8da8ac07ddce656c7d01","datavalue":{"value":"10.1007/S00200-009-0118-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964737$DCC20E04-1CA3-411C-9B26-058A2393CC09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d737c6c20aaa7c508a077c54429edca413af01d","datavalue":{"value":{"entity-type":"item","numeric-id":3982097,"id":"Q3982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2185f95c3575789de0101a6ad1c26e52178a5ef4","datavalue":{"value":{"amount":"+0.8753594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$D15E8C09-9077-499D-BBA1-2E5D9ADB4A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1902b497ac492d7872d5aa8f09b7af8f8de37","datavalue":{"value":{"entity-type":"item","numeric-id":5881209,"id":"Q5881209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b83469070312c2510000f0364e84d8139023eb","datavalue":{"value":{"amount":"+0.8726393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$5AAC8F2F-3FD2-4D99-AD30-CDC32DDE3466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923e12bc70588a25bfc6556ad4cb38bc2aceb860","datavalue":{"value":{"entity-type":"item","numeric-id":5278216,"id":"Q5278216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd440eeebd9817f10baf7d32d97c196c9fd15dd","datavalue":{"value":{"amount":"+0.8724765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$48313540-2F27-435B-B10E-8211BC3836C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b010e6cf0d469b43f89ef7c4cac026f0a2a22a7","datavalue":{"value":{"entity-type":"item","numeric-id":3608777,"id":"Q3608777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fb36cdce8e82fe383e184748db40b39116bea0","datavalue":{"value":{"amount":"+0.8713387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$B97A65E9-1074-4AF7-B673-19D7303B5F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e9dcb4954ceadaef22f6f08ace6944c0cbafc8","datavalue":{"value":{"entity-type":"item","numeric-id":1357006,"id":"Q1357006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cef7d6da7f0ced3b92b898a7a6619b6834ff69","datavalue":{"value":{"amount":"+0.87028253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$5012AC67-F674-450B-9EB2-05F032D363F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68b191259e00cd0e07e2057441f0cab2918f7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3635996,"id":"Q3635996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587544adecfa4924f211bf597c3fe50b0ce8a384","datavalue":{"value":{"amount":"+0.8636491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$45DA9301-7E54-4F15-AB26-CDEBBDB7D42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a455f70c60abd453570ac0eef01d50921f1456","datavalue":{"value":{"entity-type":"item","numeric-id":4645802,"id":"Q4645802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d62fa634572f9442742aa363aded528c940abdf","datavalue":{"value":{"amount":"+0.85898554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$DD343CDF-91C4-41DD-B1F1-8D6B21B92190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f01e4d917e73ef98a517c5549156d55c6b3ace","datavalue":{"value":{"entity-type":"item","numeric-id":2841224,"id":"Q2841224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0f54756eb250a1fe66a1e3268449b24f35b85b","datavalue":{"value":{"amount":"+0.85867417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$F22DA541-B6A8-42A6-BCB2-D66AF80AF3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fae6bdd07da4f9c5e2adcb968836e7a933be185","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03d282233e2f805225e3c88f5f50dd9d0116e6f","datavalue":{"value":{"amount":"+0.8576017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$13537C28-F775-4396-9C4A-0084603A4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0acf1f80397b88ba2f1432551df93f4f216819","datavalue":{"value":{"entity-type":"item","numeric-id":4649558,"id":"Q4649558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d7ee8956f31599f2708fe3e316d2eea538bfce","datavalue":{"value":{"amount":"+0.85337996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q964737$8CD0BAD3-2727-4DD8-A5C7-2856F0A42490","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:964737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:964737"}}}}}