{"entities":{"Q1404984":{"pageid":1415724,"ns":120,"title":"Item:Q1404984","lastrevid":48161134,"modified":"2026-01-03T20:05:58Z","type":"item","id":"Q1404984","labels":{"en":{"language":"en","value":"Constraint contextual rewriting."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1970576"}},"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":"Q1404984$D930F3EA-317B-4CA5-9DF5-6805E04C77C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49950a7f30ad42408e56c1097d82bfdbfdc204ca","datavalue":{"value":{"text":"Constraint contextual rewriting.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404984$D69D81D2-4682-438E-A90B-B82CE86E703E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bccc374ce7b38d63d87c47be9402b994aa2516e0","datavalue":{"value":"1039.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404984$7F5D8BF9-9DC2-4796-BA4D-93C8710A5553","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d487474df8c0b45c7d764a9ff589b806257bbcd3","datavalue":{"value":"10.1016/S0747-7171(03)00025-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404984$1DD997AB-8C37-4345-93E0-5CE91E8ED7F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$1565DC8B-E5AC-48C4-98B4-C6A7004C0E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$EA38A6C6-56D4-4C92-A7B7-03C9FB8AD33B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$081EF86E-D0E3-4810-8F0A-CC51836226F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988a1f1f38c2f749de54c12ebc5774f827c2b17e","datavalue":{"value":{"time":"+2003-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1404984$F9225DBD-6FF4-40DA-A44A-33DDA1F0E452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404984$F7FC1CDB-DA9E-47E4-995B-113983793613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33beb61d6cc4ce0f9fa93f562d3babf9c5d56d54","datavalue":{"value":"1970576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404984$706C09CA-5FDA-4494-90C1-45E3124797A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404984$2F0FC5E1-4060-4509-B596-2D25307A52E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$B6460712-A368-4110-AF60-C6D7566FB4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$EE968939-1DA1-4BB9-8EB7-F0E8B290FF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe01836af9276b5e43b5f9e39903d91786157e73","datavalue":{"value":{"entity-type":"item","numeric-id":38406,"id":"Q38406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$611A66F0-A216-44F4-92E9-8181B9387A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9bff6f26906924e7cc6ba1f1e37843b66ca39c6","datavalue":{"value":{"entity-type":"item","numeric-id":40619,"id":"Q40619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$730C4F36-31F5-4D55-BCBF-061429F145CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"786a5236ac94f9692f521c02ac8270dab6d23cde","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$5B06BD0F-B23E-4322-90ED-ECA03DABE615","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":"Q1404984$62E0012D-4DA0-4FAD-912D-9653F27C9251","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7cd3fe600153565eb178ba1a713761038ba62d","datavalue":{"value":{"entity-type":"item","numeric-id":2958911,"id":"Q2958911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$A9A7F2B2-4D9E-47CF-BCD0-02B268C1D9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c46c229e90f26c1f2404e20b1ec7eaefedc85","datavalue":{"value":{"entity-type":"item","numeric-id":4539649,"id":"Q4539649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$0D1D0606-609E-4411-B863-B40F3F203A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df70bab827625536ffad6073f32e0fcca7c6d097","datavalue":{"value":{"entity-type":"item","numeric-id":1404984,"id":"Q1404984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$D6E2B0CC-8EB6-4ACD-BC8A-6654D3C0C8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0577bfe9b07adfb79fc786156b050af1e60f24","datavalue":{"value":{"entity-type":"item","numeric-id":2709804,"id":"Q2709804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$578008AC-B155-43DE-9D3C-05FBB74DD789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce1b7936b46a7aa6a53e7ca23750a583a7b103f","datavalue":{"value":{"entity-type":"item","numeric-id":5234694,"id":"Q5234694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$6B30D674-88D8-40F6-8350-A66E72E39057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$D54B70C0-FE53-42A2-AB92-9697034434FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5c9cdb6cd3f1038d3bc19f6f1bd7e7a7f182b","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$B5944619-9E98-4519-9574-FB4E8B51B0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$BDE12530-15A4-47A2-A45B-4EA852677563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601d6ae0fd7cbfd26378c24f94774f1bf1d1becd","datavalue":{"value":{"entity-type":"item","numeric-id":4385442,"id":"Q4385442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$F460F569-5D81-47E0-BBFD-9A2749B63B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af5e7945ba7d6ee9d5167c767ef4b29b3dd4d","datavalue":{"value":{"entity-type":"item","numeric-id":4263161,"id":"Q4263161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$C05E72F9-7B84-4A86-97C4-B5CD7348C337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a145e99e9e2cc0485358fc2e6b893fb08aeb1d1","datavalue":{"value":{"entity-type":"item","numeric-id":1341710,"id":"Q1341710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$ADD57FED-3E1D-4F25-A973-74BFC783F38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$45B58262-67AB-40E8-BF11-1E25D6741204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbe72cc116925a801c6363ae53a473520b6daad","datavalue":{"value":{"entity-type":"item","numeric-id":688575,"id":"Q688575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$2EA54579-FD77-4A10-ACDA-EB909462E347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$71002AED-87D7-4578-8E46-FC9DF8202540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$D3016D4B-A0C8-464C-920F-36D2FCE0BEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$E8A15546-F6C7-4869-A653-BDB60E8110D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1942c8a63628b04c1226686a2854b9947e991ca","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$CD74DF9F-3977-42D7-856D-EC071B08B83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404984$2100C145-7BCB-4949-BB16-26D41CCCC13E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c5584ec459969e411bcdb838f96e19a88d3542","datavalue":{"value":{"entity-type":"item","numeric-id":4518863,"id":"Q4518863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc7d6a44ca873b5ee5972105a5e6b1e1a770bb3","datavalue":{"value":{"amount":"+0.9300801157951356","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":"Q1404984$1A197321-9878-4BE8-B62D-53175CAE4BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51ec6908d28c86faf94f6d851bc4c5740710912","datavalue":{"value":{"entity-type":"item","numeric-id":1404422,"id":"Q1404422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc7d6a44ca873b5ee5972105a5e6b1e1a770bb3","datavalue":{"value":{"amount":"+0.9300801157951356","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":"Q1404984$6A6CCF35-55BC-4F74-8C3D-B01387A02E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265f9f5e9db8b40313331abc9d0ffdf9dbeb2826","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b884cb155556dae94a62bb0204d9d05170aa972","datavalue":{"value":{"amount":"+0.7720666527748108","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":"Q1404984$49EE28BD-61D4-482B-A488-1ED6AFADD8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd4d5e4ed8d8ec02312bde3b3eebb1213a03487","datavalue":{"value":{"entity-type":"item","numeric-id":5881200,"id":"Q5881200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1c3b2ad24c35b5026c57e4d396277c44d02b06","datavalue":{"value":{"amount":"+0.7708058953285217","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":"Q1404984$D92EA931-3DA2-49D1-88EE-0589F9623227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360a2c16e12bb5ab7b22feacf43e62ddeb99ff45","datavalue":{"value":{"amount":"+0.768930196762085","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":"Q1404984$3CA1A108-37F4-4F5F-99D4-AC8AF2B077EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1404984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1404984"}}}}}