{"entities":{"Q7027170":{"pageid":21665919,"ns":120,"title":"Item:Q7027170","lastrevid":77538935,"modified":"2026-05-05T01:03:08Z","type":"item","id":"Q7027170","labels":{"en":{"language":"en","value":"Compositional verification in rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7984786"}},"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":"Q7027170$030FD052-4261-4300-A7F8-0FED438742C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c68aab056c73c9dcda50479e6645ddd1de0cb9f4","datavalue":{"value":{"text":"Compositional verification in rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7027170$779E9FA5-C60B-4C1F-86E8-E3611E8CA2BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0416aadbe61753a466add0c47cc9d978d914d075","datavalue":{"value":"1559.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027170$8302DFD6-D7C1-40CC-B56F-F748D01FEB0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22214db5884db1dc1596b99dbd6dfd0c72068b4f","datavalue":{"value":"10.1017/S1471068423000340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027170$0FC741BA-8C4A-43DF-AB37-D3EE428EB1B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d50e4ae74c4e03e7085ea8b0f513478341a75b0","datavalue":{"value":{"entity-type":"item","numeric-id":1990505,"id":"Q1990505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$2D9AD23D-A80E-4457-BB9C-C60FDD24C7FA","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":"Q7027170$168D88A7-E1A0-4C27-80E2-5C2DAA1907DE","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":"Q7027170$8571A13E-8AA8-4088-B368-D2F8104B2605","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$D7E8ADB6-420E-4187-BF48-4B9A2BEFC85E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea347ba7555b724e15297c1d47ab41222d91cd0","datavalue":{"value":{"time":"+2025-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7027170$F40C2DBF-27EA-49BC-9B1D-9A96A01A71A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027170$104FB883-1AB3-4D97-9302-C775F816247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027170$5AD64A8B-A2D6-46EB-A1F7-D9DF40F5EF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027170$957F9FD5-A9EE-46CA-B340-5395ADBAAE43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f82ecca87bce7d064f1e5a5077d47a0bdc794d8","datavalue":{"value":"7984786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7027170$E0CDAA38-2A63-401B-ADC9-5A6269E92B57","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$4F52F850-71B4-40E3-9118-E27B66A4C414","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027170$5B5C192F-7FF7-4A77-8F8A-13C0500E6889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027170$71C944BF-9A31-43C1-8DD6-5B39CB73A606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027170$E63E9593-1886-4992-824A-152DCBA732DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d318691d788ee7c9e1aa61a6aa2e2d02312311e","datavalue":{"value":"assume/guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027170$C53B3114-11FE-43D4-941E-EA0D643640DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027170$B5D6E70F-65DF-452D-A6B1-890DD11E876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027170$87EE68A3-527B-409D-8F7B-1982651C4197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q7027170$444479CB-BBF9-4BD1-9D7B-1EE4CF960DAC","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":"Q7027170$B7E19DBF-F2E8-4148-A0AE-B71E380EAE62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$215638FD-8567-4D06-86E7-B6CF59794D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb51f6693b3dc79e9cbaae1f269d0e937851b5","datavalue":{"value":{"entity-type":"item","numeric-id":5170808,"id":"Q5170808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$E2C6A9A4-02BF-4739-A753-99835D06862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b0055c738699970bbe7f3231dfee16eb3acecc","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$30966498-FDC1-4D92-A404-1F5266BC19AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c143f034c0a7d849f348722742ed4728088212d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$DB6193EB-5924-45D9-9B8E-6BF086E7C197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$A0E78EB7-98E0-4C5E-B456-9E2C9268D2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$B686C7D8-3B09-4604-9D2A-5919CB3074C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$CFF2CE78-D922-4089-88DF-7F8A84A554E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87caf20304fad05f7895d4f987be8857e8dcd486","datavalue":{"value":{"entity-type":"item","numeric-id":2864357,"id":"Q2864357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$0D2E295D-D189-45F8-9691-BFDC23ADB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98ef9f1f960ddbd6443ca71ac29c8c625789c2","datavalue":{"value":{"entity-type":"item","numeric-id":1673656,"id":"Q1673656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$AACD02FD-25AD-41C4-BDD4-5340D59F080C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa0860d509d7a32953294f255a9faf7cabecdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$ADDF88B0-F248-41A5-8269-17A2F41CBE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e969e61fd0929fd6a4041f5e3ec0b094f53487","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$0A35AE33-DB57-4447-891C-D086953D9740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a161372bd1c5c7812733fb6073f0fae9ef67a5","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$E176E1D0-74F8-43E0-9F62-18346DC44B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$BE15153C-8906-4154-B425-18C4E9F5C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26137e250cd17392ffd7119172f3580130a5f7e0","datavalue":{"value":{"entity-type":"item","numeric-id":6109547,"id":"Q6109547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$9DA4FD72-CDED-4B55-88C5-42D5E7616B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b60e50878f74b016e657f46cb93a2fc26c4e91","datavalue":{"value":{"entity-type":"item","numeric-id":5108529,"id":"Q5108529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$D441FD52-8F3B-4AE9-B939-F2215A6F09FC","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":"Q7027170$47172832-6E98-4867-A473-13590D05585D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f22f1e7ec73ba657b43cbe915c5d1ad1a36dd","datavalue":{"value":{"entity-type":"item","numeric-id":944377,"id":"Q944377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$58FADF71-AB0B-4B57-9478-1C1E2D9B37A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$D3928ABC-217A-467C-95C1-E11DC5919A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7027170$B8FCDA6F-C235-4810-B287-5A8FE9048AB6","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":"Q7027170$B7FC76D3-F748-4535-A0EA-6885710C1653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification in rewriting logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_verification_in_rewriting_logic"}}}}}