{"entities":{"Q882456":{"pageid":884304,"ns":120,"title":"Item:Q882456","lastrevid":65072163,"modified":"2026-04-12T00:07:17Z","type":"item","id":"Q882456","labels":{"en":{"language":"en","value":"Maude's module algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156658"}},"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":"Q882456$023DAC84-4077-4423-8C5B-7FE561EE3F64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de3cfec571c5dce38f0c35c1eb69903046cdcb76","datavalue":{"value":{"text":"Maude's module algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882456$B6AA0FE2-624C-49BB-8269-46F48477C9E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e119391371a7b4d294781c433f9d2b904c264ba","datavalue":{"value":"1116.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$6F00A77A-8107-4AE3-86F3-4AD571CD2800","rank":"normal"}],"P16":[{"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":"Q882456$D1467038-BEEA-462B-9199-CE0FEDFAF7E6","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":"Q882456$55074DD7-467E-4B57-8CAF-AD9059718B3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882456$4F09F111-3978-4C74-8964-C0272F401A49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882456$A0E83C35-A38B-4CC9-8C13-8FE8205D1069","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$6EB48C65-65F7-4DEF-B439-83F99E9BAD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$4A9B36B1-C2F5-4178-85CC-D5D2A454493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$45B69097-2D9B-4DF9-842D-2CED3979FA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$4861630E-CC83-4B71-87DE-44416C292DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$692F7AB6-6C3F-4165-8251-E39C3426BCBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4422251d254dced383b598f969690ef8a94c9a51","datavalue":{"value":"5156658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$BA1CA361-E557-410B-9682-BB1D6FDE803B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa28271da9432ac7d1284c4bafca91b30e504b9b","datavalue":{"value":"structured theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$BEE60421-E131-473C-8540-C8C4F1769B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$79516782-7924-4183-9CCF-0D1C243F9E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc3338cb6d62752a5b6f6092fb7e6af612d6c7b","datavalue":{"value":"module algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$BB6526C7-13B6-466B-9213-2834DB47288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$46229396-34B9-4508-A652-BCCA4C45DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$7C8A9CF8-735A-4D89-A52B-A5CD53178DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$4EC9D308-EA29-43EC-8501-5A63812DF4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebab591f998c304d0e3c8e518b9abda2a142845","datavalue":{"value":"membership equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$9DDE3615-9C24-4D12-B4A5-49E0025877F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4c226b9f3f61a30a7c90113ab41b47e074388f","datavalue":{"value":"parameterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q882456$6ADB74DE-32AE-4802-AFA9-425A0D06DA4A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d950128049f6d0b84eca4dc6473d84e8d3621f0","datavalue":{"value":"Q114850297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$04F1CF96-2BC5-4CF7-A711-C4640E45B530","rank":"normal"}],"P1463":[{"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":"Q882456$0E844615-C632-4C64-A097-07600DB0966D","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":"Q882456$428085FE-7F40-4CBA-A1AD-B1705CDD1251","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":"Q882456$B053740F-E89A-4412-9BAA-55E0DDA42996","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55902d8b3f9d465eb537edc80a9f9c9de6c7d408","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q882456$6BED3E90-DB29-404B-BC04-64DC7BFCE8BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a08d25abc1d049be2ca7cea1162413c4c7e032e","datavalue":{"value":"W1979359160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$216EF94C-2E89-4328-8857-5F12D7C4E3B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78533ac4b6049ae9f8df48c88f842335a29dba15","datavalue":{"value":"10.1016/J.SCICO.2006.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882456$EE537534-D584-424D-A0A9-AE6A26218240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96aed91071c8ab54d6ecae588d61615eae101a94","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4fd9c0c33a3254fff6211c4e6f2ebe54344829","datavalue":{"value":{"amount":"+0.94269645","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":"Q882456$5B748C85-EBC8-4252-955B-067A634DE308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d39392909405f9997018e13a39f9f9ab5d7ee6","datavalue":{"value":{"entity-type":"item","numeric-id":2767191,"id":"Q2767191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b84cad6e36cc7fd47459f394c3ba4d22607f69a","datavalue":{"value":{"amount":"+0.9143175","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":"Q882456$85CCD970-7FB7-4C69-A9F7-72984558C509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d566ab1c44d9901f74d2a9414b38b8c9c21a408","datavalue":{"value":{"entity-type":"item","numeric-id":4395641,"id":"Q4395641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a0df5170ac5759da44ffcb37ba9fb5a0feeb1b","datavalue":{"value":{"amount":"+0.90662014","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":"Q882456$6C6A206C-806E-4BD6-BA6F-EFB114535CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9133ba773fc2061ed33831a00840196399ed446","datavalue":{"value":{"entity-type":"item","numeric-id":4023361,"id":"Q4023361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1078921f320c3babfc9246c9d160dfffc6343eff","datavalue":{"value":{"amount":"+0.9026997","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":"Q882456$19D19428-3482-4E88-853E-9BBDD9DF64D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8bb45b29ae4bfc0eab44d4a0acd373acc85379","datavalue":{"value":{"entity-type":"item","numeric-id":795914,"id":"Q795914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45bdc2110a9af1329366bcd453dfab0e4f8f96c","datavalue":{"value":{"amount":"+0.8982103","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":"Q882456$523F9D78-3FDA-41AF-A145-B8C9BC9E19D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadd5cf98728cae6a2078fcb231ffa0ee78e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":1328901,"id":"Q1328901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed1bd3123296f0fdb7f3cab8eea449f0165347b","datavalue":{"value":{"amount":"+0.89254695","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":"Q882456$8675CE1C-4534-4CF8-A679-08EECA1C9CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72110d6deb6994d932a88d40932cf2375d8cacb","datavalue":{"value":{"entity-type":"item","numeric-id":5834663,"id":"Q5834663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52421bc5a9558c53d17f9d08c08a8c4f97a4d89c","datavalue":{"value":{"amount":"+0.89252555","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":"Q882456$BA98C744-7CB4-473D-97A8-A994749CA55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83116f64eb72e31979a9b3e85005a7a4b414429f","datavalue":{"value":{"entity-type":"item","numeric-id":4222990,"id":"Q4222990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c884f6dc1d0d1fef529d8dd0d59b6af9d09bd5c","datavalue":{"value":{"amount":"+0.8924706","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":"Q882456$AE03FB7D-58AD-4E99-8CD1-F67650A77D59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maude's module algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maude%27s_module_algebra"}}}}}