{"entities":{"Q1608925":{"pageid":1619665,"ns":120,"title":"Item:Q1608925","lastrevid":47960170,"modified":"2026-01-03T04:51:32Z","type":"item","id":"Q1608925","labels":{"en":{"language":"en","value":"Equational rules for rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1780628"}},"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":"Q1608925$C94C4723-AA2B-41F2-9100-66BF2CC993A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a7249b85bb1e8d0c7b1d8b5bb375472fd1a8b2f","datavalue":{"value":{"text":"Equational rules for rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1608925$8FCB5301-FD3B-49B7-9C76-4C7BA033C318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"024af6d04f57745b1d14f0b3e388cccb258742f7","datavalue":{"value":"1001.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608925$967FABC6-81D9-4251-8186-E4D84CB3F763","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e4960d76847b05069d673b4793d5c184a7126fc","datavalue":{"value":"10.1016/S0304-3975(01)00366-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608925$FDE54A02-4D21-467F-83BB-3727E2A74E5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cc54e46f3a2e78e4ec2ac6ae5366815dd60434f","datavalue":{"value":{"entity-type":"item","numeric-id":1608924,"id":"Q1608924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$49E660F5-1098-4451-BFD3-724A3C832C43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$2A5903E5-AA71-48C3-903B-A41320A61704","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1bc99bcddc7948f6b7e072519e66d1e0246f0d4","datavalue":{"value":{"time":"+2002-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1608925$7C75332F-43A2-43E1-A36C-CB4F2E28D874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608925$905C358F-D809-4BDA-9862-7F58762F0A1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"055eb2cee96aa9577fc6ddf2afe57bd3126c6272","datavalue":{"value":"1780628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608925$F124E192-BF9B-448C-ABDB-4EDDA3E77AC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608925$D7951E84-6BE8-4F01-862B-01B178B914FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac208301aacad3534f2348fb14e6fb3baf3da3db","datavalue":{"value":"equational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608925$7401A1C5-DF89-4749-987D-1F1EA3DF5D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608925$04722DEE-E2BE-4A9A-86C5-95914E4D746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c5d5d6613056fc7d7411d1ae441c01f439126e","datavalue":{"value":"building-in equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608925$729E41F1-DD2A-4A2B-964E-61D5C13F70AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$15F348ED-749E-45EF-851E-57D8D6D931ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$CC8E30E6-8B8F-4B7D-8EAB-E8B6E4920669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$ADFAC8FD-9490-4E03-AF9C-F18D503D03AD","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":"Q1608925$5FD18731-1EF9-4BF2-BC2D-8F333D30DB9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ab94b3ebee736752d1d28932367261ade31626","datavalue":{"value":{"entity-type":"item","numeric-id":1199708,"id":"Q1199708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$FEEFC8BE-67D8-4377-BD91-E9A1613E4927","rank":"normal"},{"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":"Q1608925$15D34648-65C9-46A4-AF07-D9644E77099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$7A361229-A53A-416D-AB5E-6C326C2C8740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$7E2AACFD-54F3-4128-A1D4-94DF6441E6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098dc2680361edb8d9ac752e52c1248c9937145b","datavalue":{"value":{"entity-type":"item","numeric-id":3787463,"id":"Q3787463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$14B086FC-47DA-451E-B88A-BFAE408C81C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$1A43454A-6815-42FB-A2F2-24B4EF3061A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$CD412975-C00F-4E5B-8EBB-F51EB1C09444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$BA0E5A95-4817-4A3A-B7DA-B3ACF894DBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$AF87A74A-7298-4062-ADCC-A8A3FD7B57B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69d87db92b2e3de89b874bfa67b91334bc4a289","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$12E743B4-3455-4C3E-9AC1-F25C9D31E8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4597fc6828cec7b5cd7351c613a6892a3280ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2817681,"id":"Q2817681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$93AC9773-859D-477C-BE35-9BB73FDE9C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$BDE5DA6E-DF82-4B58-AB5F-BE6AAAA6D924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b4aeebdbe70afc91d0075bfcf06700bd545af","datavalue":{"value":{"entity-type":"item","numeric-id":4268454,"id":"Q4268454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$1B9CDE09-C17A-4086-8E2C-E9B3D9019F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$EED743C9-AAA5-4715-A0E2-7DCCE8EC4ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$2DD2FA98-F13C-43DF-8266-41DC9A9DD370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$E99218EF-92E4-4E8D-A8B9-8CF779C42826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$033C0077-CDB8-4682-9417-D6680F2C4486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$CC1B6ABB-0C13-4DFE-A40C-6104D866EE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$C7603C4D-23EC-47D5-9CEC-0023CD374A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0a0f4335008ac20db061db04bc8cc4bf106a8","datavalue":{"value":{"entity-type":"item","numeric-id":4645205,"id":"Q4645205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$A3AC5B07-E48E-41E5-8C8F-55B05FAA7874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea315f0b1113f9a0529062001f00dd997cad9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1273555,"id":"Q1273555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$4451F3EF-F439-449C-BB3D-8E4B3A4CA89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e923a987b3bc015837b0a4db57739b49f9b59ea","datavalue":{"value":{"entity-type":"item","numeric-id":4223003,"id":"Q4223003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608925$C2ECA1B6-3209-4C53-89C1-59DA104365D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d2f9a90641530202fe671d8e55dd314adf91fde","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00366-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1608925$A37B76C2-89BA-4196-B6DC-576AC491BFE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"654f724aa72416acdd75390bb9c40e41cef03470","datavalue":{"value":"W2047406870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608925$BBC14194-359F-49B5-880B-4FC796AB1824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1ebd9b34a630884d2e80dfd938f84e69060b90","datavalue":{"value":{"entity-type":"item","numeric-id":2723887,"id":"Q2723887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18794623ffe290c234bbe2ef2e118cd853a267f","datavalue":{"value":{"amount":"+0.8133328557014465","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":"Q1608925$168F8659-2491-4995-9032-445E090E5649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c258e25f3203eb7e6bfcfe9c250e699bd064464","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbadfae0546b8c189518c69854834aa72b0c1a2","datavalue":{"value":{"amount":"+0.7959052920341492","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":"Q1608925$EF554606-DFDC-4597-9945-0D8E1D12ED76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a66d8d56472749cb9bdd54ea62c7c6f3ad94441","datavalue":{"value":{"entity-type":"item","numeric-id":5881267,"id":"Q5881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb2eccfda63847e50c047fe25df2eb48117a5b2","datavalue":{"value":{"amount":"+0.7850747108459473","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":"Q1608925$97A5F3C7-8BE5-4F09-8976-4BCCCD67DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc58921d743abd6d14b98175d28771953cb0bcb6","datavalue":{"value":{"amount":"+0.7730545997619629","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":"Q1608925$79F58A35-8785-4197-8C0D-CD2D658AA35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac60332a3bb8ecfc0bc4804ab58a9bd247ba526","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba1cfea2b4ae14fa89cde43fc964af26e46bc61","datavalue":{"value":{"amount":"+0.767389178276062","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":"Q1608925$D3320855-8EB0-46D3-B438-4DEE5EC15914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1608925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1608925"}}}}}