{"entities":{"Q1799269":{"pageid":1810011,"ns":120,"title":"Item:Q1799269","lastrevid":53239925,"modified":"2026-01-24T13:00:56Z","type":"item","id":"Q1799269","labels":{"en":{"language":"en","value":"Symbolic reasoning methods in rewriting logic and Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958305"}},"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":"Q1799269$7E4B3B96-30CD-4703-9CBF-7117EAF98B11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53cf8bdd139a4dac276a7fcfe400b474ac696272","datavalue":{"value":{"text":"Symbolic reasoning methods in rewriting logic and Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799269$C4A48D60-EC3A-488D-9AEF-0D0A0563F241","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a421792303d3fd39d6d8579b32a55e9f53f81eb1","datavalue":{"value":"10.1007/978-3-662-57669-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$C11EEA91-A580-435A-AD8A-92CC5758ECEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799269$7558300F-272D-43BE-878E-A9797ADEDC63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799269$8AE2ED97-BAAB-4EA7-B133-5AAADA7DC36B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$83558999-46F6-4BAB-8686-2A0762BC4481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$B987FAA1-315B-43C4-92D4-4C2D5BFD8F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$5B6C588E-9A7B-4CFC-8F9D-91EC9BC7935D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$600036F1-AFC0-41C3-AB8D-27D4B233F367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$79F79E79-DA82-422A-805B-FB13118C1599","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35fa53db199b0e230cf40efbb937341aa7d17bbb","datavalue":{"value":"6958305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$C2B4C2D4-288C-4B47-A1A4-0300403BB2BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799269$9CF26D61-AF39-4B8B-8AB4-DB163846F73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799269$E25C0911-BCC8-409F-A528-43F5440715A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799269$C2491B16-31D0-43D4-8BB6-0D1C5C840EF0","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":"Q1799269$CD0F4D2F-0B0F-4AD8-8AB9-48FAE21E7AD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2c9c35a63c69dd9d453845c5cda01bb0b3ba2f2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-57669-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799269$FD3A673C-8624-4629-A962-30B72816768B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f04ed163ad4f71572fe4a8ab8793a47b3e121a27","datavalue":{"value":"W2810927195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799269$67F158BD-5FFA-416F-9E0A-795D887E8AF9","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":"7453458df16038ccd94157a5f42e3a7e44dcb39e","datavalue":{"value":{"amount":"+0.8613305687904358","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":"Q1799269$0AD19AC0-3426-48A1-B2AD-F88882811265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ac23b50beee944199310bafd054874db9d2091","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f29349d217ef6c20e98aa316c8f9e8b51f8113","datavalue":{"value":{"amount":"+0.833831250667572","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":"Q1799269$75B223BD-C503-4B71-8E7C-EAA9AEEAE668","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":"5fee68f1d6a6403b3893b14e8d18cb6653aff232","datavalue":{"value":{"amount":"+0.8066247701644897","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":"Q1799269$29D68B0D-2F23-480E-8B6D-7D83BF8476A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a64265cb6ec5314a2f664b5ed21fa8fd8262c7","datavalue":{"value":{"entity-type":"item","numeric-id":4508933,"id":"Q4508933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb5bc8b2deb006172255f694dff59b4e0b1ffdc","datavalue":{"value":{"amount":"+0.7956516742706299","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":"Q1799269$1BBF9804-E5AF-4877-895E-CE11AF2A7C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce798849b319bd842b6aed35c3b4c86af0e5d6f","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c64ec6230bc011c47da0cfc1fca467b2427a8b","datavalue":{"value":{"amount":"+0.7880204319953918","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":"Q1799269$19EE167B-B813-4E68-A2CE-5744D9EC9A85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799269"}}}}}