{"entities":{"Q997833":{"pageid":999681,"ns":120,"title":"Item:Q997833","lastrevid":65863164,"modified":"2026-04-12T05:53:27Z","type":"item","id":"Q997833","labels":{"en":{"language":"en","value":"All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5177912"}},"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":"Q997833$3F69A171-AD8A-41BD-821D-FF35FC7FF076","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb3876b6d646b3d4da345da75f04c7e964c7afc6","datavalue":{"value":{"text":"All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997833$A4AE67DE-7EF9-41E3-BB94-553BDBC4C675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c76222643a1e3d7f002e7aab3e2af059a7410a35","datavalue":{"value":"1115.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997833$DC4A8BBC-D9A6-4BFE-8A32-400777DC01BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb735f824891e392843975a86aa36cde815c1132","datavalue":{"value":{"entity-type":"item","numeric-id":875515,"id":"Q875515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$77A9CE3D-FAAF-45DD-9BFA-91019F0FB9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$DD3A9EE0-5925-4AED-8431-00214B73BAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9e5df512942e7d0bfb634d7aa7c26774b48385","datavalue":{"value":{"entity-type":"item","numeric-id":997832,"id":"Q997832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$EFB6AD60-CF92-4836-8E6C-5F06C9188C39","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":"Q997833$97C4DDBD-1355-4A6E-8D8B-11CACB30F062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$F093D890-C42B-4A26-B190-984B322AEC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0bbdada3c9be42b370691f727810aaafa99222","datavalue":{"value":{"entity-type":"item","numeric-id":1575866,"id":"Q1575866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$9033D1C3-2FFD-4277-A1E1-B959ADC33229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$60A5FDE0-BE60-4FC3-82C1-EAEDAA8AF255","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$C53F718B-E55E-492A-B2F5-89F5B6F4124C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bad4c1ed22839c483148e58bd006f9d5afafaf57","datavalue":{"value":{"time":"+2007-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997833$1E549E1F-D0AD-4C36-ACF6-C08888E4A1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997833$4BA0749D-606F-43EF-AA48-65C1590ECC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997833$E174E922-4D70-415B-8F5B-3F2C75AF3AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997833$BB2DEDB8-1236-44BC-B9BB-7F3591BC049A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997833$793BD5D3-493A-4FEC-A435-A3CC33C53207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997833$46E47445-D6C6-4326-B343-8DAFA225546B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13c3eb33d6fc8aa7b08445ae9effe50a185966af","datavalue":{"value":"5177912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997833$68AFD449-86BD-40F8-AE53-9FEF2EC2CBA8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b533582b39d02e94fd769c3e24c352ea1d22","datavalue":{"value":{"entity-type":"item","numeric-id":20431,"id":"Q20431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$E0B4A516-4BC9-4286-9D31-0959E29EEB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$15DFE9C4-5847-4E48-84A8-0C59A5C94F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$1A4938DA-AB24-4C6F-9800-663473475910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"838759fee7c99191fe189c02823d3763f2703085","datavalue":{"value":{"entity-type":"item","numeric-id":21788,"id":"Q21788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$5BD0BFF2-61F5-47B7-B7A8-046F93CDE46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c84a95fccdab14533447d10553494c021eb7f89b","datavalue":{"value":{"entity-type":"item","numeric-id":19921,"id":"Q19921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$97954ECA-1B62-4F17-B6E5-EDF4870E54EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$7F62D6EC-0645-4273-ACA9-9FDC5DCF647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997833$2B4AE848-7612-4D87-BBD1-4416DF7278D0","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":"Q997833$71ED20D3-006B-478C-A17D-3B11632ABFC1","rank":"normal"}],"P1643":[{"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":"f81cd8ed6704194fac2f1eee2a8135d54a046501","datavalue":{"value":{"amount":"+0.860523521900177","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":"Q997833$DFBC7247-ED61-49EA-9311-D095B94A4D85","rank":"normal"},{"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":"bfa53540afe43bcaa061555428accc4f77dc4cd9","datavalue":{"value":{"amount":"+0.8519615530967712","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":"Q997833$376A7FC3-48CA-4802-909C-CA4568EA88CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d223594e2bdadab991cd6c7d1b492c494f4dcbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4762648,"id":"Q4762648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afde988f466f9ae13fefa6be922d4dc99a5f9b5e","datavalue":{"value":{"amount":"+0.8354118466377258","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":"Q997833$843349BC-0ADF-4B0C-910E-A6C2A29E84F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed374592c916867cf7e301ef2ed06bb910f93a0","datavalue":{"value":{"entity-type":"item","numeric-id":1799269,"id":"Q1799269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afde988f466f9ae13fefa6be922d4dc99a5f9b5e","datavalue":{"value":{"amount":"+0.8354118466377258","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":"Q997833$FDF05FAD-6BE4-4D60-9382-18BAE39766DC","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":"751f39d19c9eef737abaee49ef6aa25f732276d6","datavalue":{"value":{"amount":"+0.8341338634490967","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":"Q997833$CC765D62-56B9-4C56-970B-6CEBE038E5DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All_about_Maude_--_a_high-performance_logical_framework._How_to_specify,_program_and_verify_systems_in_rewriting_logic._With_CD-ROM."}}}}}