{"entities":{"Q6174537":{"pageid":13309425,"ns":120,"title":"Item:Q6174537","lastrevid":94154963,"modified":"2026-06-05T06:01:13Z","type":"item","id":"Q6174537","labels":{"en":{"language":"en","value":"QMaude: quantitative specification and verification in rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728846"}},"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":"Q6174537$C049C6B4-761A-49F3-8F5C-E0211EC34209","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2f285b10c621a94566ec87145be75fb4439cb28","datavalue":{"value":{"text":"QMaude: quantitative specification and verification in rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174537$EF1193B3-774F-4C2C-85AB-F84945DFDE63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16375e26e2f0d96dcaabc3deb74a32892876905e","datavalue":{"value":"1529.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174537$A51AD65A-CAA9-4A83-BB1F-A2A0B4636AD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f922b24ef38c7c9638d5784aa283c7a4fefc918","datavalue":{"value":"10.1007/978-3-031-27481-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174537$CC557C48-2916-4BF2-8BD1-F4CD68BF5B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bafae3d52609522af796446362a8627a32da7eec","datavalue":{"value":{"entity-type":"item","numeric-id":2104540,"id":"Q2104540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$FB224F10-ED2F-46F8-B395-7AA377F3D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$51C3B4C1-F644-4371-AEEE-D169C2D6489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b21888a8ac048de8b4c4dfa1b049a7bf144cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1402472,"id":"Q1402472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$0B8A7BFE-F84C-4650-B8EE-20BB48616BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$6FA4DC17-2E36-406D-9300-21B87DFB4F18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$A308C3E6-8F2C-49EB-A072-12E804A99E72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174537$7A36F694-5F41-427D-9A6A-725E4EF6FF3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174537$9A2B86A4-75AE-4697-913C-CF394D72C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174537$D790DC22-EA59-4BCD-91A0-E4F5FB32C356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7747e42b90e86f8f6be75ec8ce64de2f8ba2f50","datavalue":{"value":"7728846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174537$C46688F6-896F-4CA6-86F5-E5422F10C057","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":"Q6174537$CA876673-63DE-448E-B576-EFA3F7B7D61C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c7a43b4cfd5ef8152d80cf1927595878668ae492","datavalue":{"value":"Q123905794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174537$56B6954A-6456-4B18-9408-6188E78F8D6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91af58a22c8ed62021d1aacb8b6e18fd7bac9e21","datavalue":{"value":{"entity-type":"item","numeric-id":4964704,"id":"Q4964704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$6269BF60-7759-4B20-927B-7DC8EB6AB54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc0d79a331330cac5e0e7d3248ad5c3b9b00cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$BFE7452D-568E-49EA-BE5C-5639BC85E6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$D132DB0F-7F65-4079-9C00-49B1CF3CDDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67afe3747c4630edbd3a98f5cbdcdd7eb8e4e18c","datavalue":{"value":{"entity-type":"item","numeric-id":2848872,"id":"Q2848872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$DEE52561-561F-478D-AF5A-1255F893478C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c877c04c541a7428908ff8a8974c05cf812abc","datavalue":{"value":{"entity-type":"item","numeric-id":4808751,"id":"Q4808751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$BD978B0D-261F-4C40-831D-602477BC4958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$916849FF-A02F-4F0B-B4CF-FD08DB6FB8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347765136650ae068c681dd50837d0a09bc96f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$432DE615-8FC3-4780-B5BC-5E87BEB5520B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$16279DC6-8EA0-4E15-B515-50D6A8CD3B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$E9EA6149-9322-49F4-8359-67E42D2852C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2de4e7d4a64cec0b81a66df673db8cd9c23954d","datavalue":{"value":{"entity-type":"item","numeric-id":4178385,"id":"Q4178385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$DED42542-37E0-4B60-97E3-4BD0CA31FF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$02C97179-1A01-494B-92BD-046C382D1CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad86316172f012138619610cf88b04701ef7d3d","datavalue":{"value":{"entity-type":"item","numeric-id":6091404,"id":"Q6091404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$75FF4C48-EB66-4D6D-8DA3-15B127DE7A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$20593F1E-9FBF-477C-82B6-452E6D09E375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9bff6bea6871d52dcd9d9d6fe1adea75197ef8","datavalue":{"value":{"entity-type":"item","numeric-id":1931907,"id":"Q1931907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$B6F0B9A9-C317-452A-ADC8-8EB43A14C71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038400c4d70b5041badc0b1f120e456a64ad4676","datavalue":{"value":{"entity-type":"item","numeric-id":5089038,"id":"Q5089038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$D562FF3B-557E-4974-BDE5-A37468684914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bbcd224269a8dd7f8359fa2321aaabb2a870a2","datavalue":{"value":{"entity-type":"item","numeric-id":2239275,"id":"Q2239275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$9B1CC4D3-4BA6-480A-B42E-1587E1DA75E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47da90653811b592b053418973f1e2b6e26a2f2","datavalue":{"value":{"entity-type":"item","numeric-id":6487295,"id":"Q6487295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174537$46C604D8-6ADE-4BC5-A2A6-C26E042E9F14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc05dc10d9c03b58d64d8d3b2c03881f7090c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3100240,"id":"Q3100240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd9655aae6688eeb0e3c751684ed24d263d059d","datavalue":{"value":{"amount":"+0.88737696","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":"Q6174537$4056747B-D787-4EDF-8674-98048DE951CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129a43401201cfaf319ef5153f9f5fa883b748a6","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595c3a252ba5a6ba545e427c76fdb3a3678d9a36","datavalue":{"value":{"amount":"+0.8868463","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":"Q6174537$6022D1F3-6FDC-4E07-804F-AC802B4D18A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb09ef8c03ec030d62146e5f38c2fe45ab584c2","datavalue":{"value":{"entity-type":"item","numeric-id":2133179,"id":"Q2133179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b6c34c68c417cc90648c5c93943f1b0ed83afa","datavalue":{"value":{"amount":"+0.88114387","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":"Q6174537$28EB48C3-1844-4F03-8C40-AADE29E76D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cd21deef8e8804b56013c2e7cdcc132ea1307","datavalue":{"value":{"entity-type":"item","numeric-id":2722043,"id":"Q2722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b062ee7b4f593006d49ea244974b124904be380","datavalue":{"value":{"amount":"+0.8795925","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":"Q6174537$2AC6AF3B-7CA6-4470-81B2-151210765CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15f04371e65b80971dd0440bd1ce6a5dffebc57","datavalue":{"value":{"entity-type":"item","numeric-id":5458442,"id":"Q5458442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78434dfa71595c0c95d3e9b4e39394241c0ce2c","datavalue":{"value":{"amount":"+0.8767634","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":"Q6174537$C4B0A4FC-8722-4BF8-BF42-6687342B7E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f135000cfb5801f33f862789e630b25bcf69549","datavalue":{"value":{"entity-type":"item","numeric-id":6160910,"id":"Q6160910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6828b2affad7f355b4ea50046e41ae13c961d885","datavalue":{"value":{"amount":"+0.8751041","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":"Q6174537$91F6C89C-84D9-4328-8D64-63456F80F292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5080963c401e6f7873c09ff3ec91b988beb8dd64","datavalue":{"value":{"entity-type":"item","numeric-id":5713727,"id":"Q5713727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd19fc247aed4b696064f419a67bd8f05c3b72c","datavalue":{"value":{"amount":"+0.87504596","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":"Q6174537$D9B72FF8-F7B6-48B8-85EC-877C54C76D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62914308c0631b8c8027cd93d5a4c76e0e98147","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae3cbdad1984ed504f63c85f8ceb83656500eb5","datavalue":{"value":{"amount":"+0.8734333","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":"Q6174537$2D8CFD82-FF9F-4F38-A719-EB01D3E6D78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aaa4a36bdf05dc06c575e9e83887fbf42b685d","datavalue":{"value":{"entity-type":"item","numeric-id":1037401,"id":"Q1037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df72f578cc154dc980118fce8f18b59054651aef","datavalue":{"value":{"amount":"+0.8714591","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":"Q6174537$7B85EA4E-E3F6-4367-9376-1BF717AAA518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9390b4ccc6dc9f08d9ed8cd2d7f1eed1c352e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df72f578cc154dc980118fce8f18b59054651aef","datavalue":{"value":{"amount":"+0.8714591","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":"Q6174537$2CD28766-5FFE-43E3-A183-844722022393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"QMaude: quantitative specification and verification in rewriting logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/QMaude:_quantitative_specification_and_verification_in_rewriting_logic"}}}}}