{"entities":{"Q1908358":{"pageid":1919100,"ns":120,"title":"Item:Q1908358","lastrevid":43413428,"modified":"2025-07-25T14:44:12Z","type":"item","id":"Q1908358","labels":{"en":{"language":"en","value":"On the power of higher-order algebraic specification methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 847838"}},"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":"Q1908358$43332AFA-08FE-475D-9DAF-24219100067B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290c1cc34a95710b800d275d60e50973afcad89c","datavalue":{"value":{"text":"On the power of higher-order algebraic specification methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908358$A6E67F63-E3AD-4C7A-BC6F-AB637F3BF036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49bd70315429e1a8a73f53aa9b82bd9040cd2d1a","datavalue":{"value":"0844.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908358$7D6F797F-57BE-4849-971D-0541E9E586F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908358$F62B8461-809C-405B-A07F-F013DD520EE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40ccef3c37e60b278799f9ec64c66ebcb5a6eeed","datavalue":{"value":{"time":"+1996-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908358$8B47AC32-C21C-4BD7-BDF7-CA7F68D75B75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908358$F91D3CAF-207B-4FC4-AF73-DD7A82676A2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0a3c7d6ed949b60d7a56e4e13b13449456ae2aa","datavalue":{"value":"847838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908358$840268C2-A371-4DFE-916F-48A8C870A039","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e98d262ea73a3ff540cbb0f7359d2e8d792389","datavalue":{"value":"semantics of algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908358$667F4B4E-5BE0-44DE-A500-837780135F1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7e6847632f0b2a12208efc2b9a141d174bb0afd","datavalue":{"value":{"entity-type":"item","numeric-id":1333284,"id":"Q1333284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908358$66943DC2-5452-440A-9A45-0D59838DA43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac0321a6b6d5d899ea1927f671b46847c41412c0","datavalue":{"value":{"entity-type":"item","numeric-id":671656,"id":"Q671656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908358$60D93A7D-DEB9-463B-B4F0-DF04C9573770","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":"Q1908358$A5FDCF50-AE9B-4E94-AAC4-DF095395D0A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9226be205c38d16436a9341118d177d82c2fa44d","datavalue":{"value":"https://doi.org/10.1006/inco.1996.0007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1908358$839A3C04-A111-4CF6-A64A-E50FF50D18D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71a95c30bf51ce77ed2b24ab01d376a9fd2d46f4","datavalue":{"value":"W1993774906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908358$198F15D1-48BC-4DD0-9B2B-D82AFB52155F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38373214f8799aa8b27bc102358d23118b0c7998","datavalue":{"value":"10.1006/INCO.1996.0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908358$DCE5AE61-5B71-4C92-9813-FA62B2367CA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5afb5d18a5c13df7d8f751915b6b7f3ba15f7a82","datavalue":{"value":{"entity-type":"item","numeric-id":4364371,"id":"Q4364371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cbc1069cf1b42505553e7b21e2485c81cd77ea","datavalue":{"value":{"amount":"+0.92392933","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":"Q1908358$9C90559B-1D28-4E51-AF8C-881E5AD4AA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927b8e404dc7ecc23e06ab2cf2c90d88a36a9ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4847374,"id":"Q4847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0a6c2d03f09e8c6c573fb3bf96a865cf5aeb01","datavalue":{"value":{"amount":"+0.92335415","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":"Q1908358$C4FDF348-9B64-4785-889D-C5D5BE7DDF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2997bbb8d74b222e50d323148ef6e9da5f20e7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4035654,"id":"Q4035654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f303f0cfc84aa33f2c647dd3c78b3fdc89eb7c","datavalue":{"value":{"amount":"+0.91999954","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":"Q1908358$1987CEF6-EEB0-4B0F-8F31-73C9464D413B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670bc5b78c1791e5740a752c367c83814f1f7f3b","datavalue":{"value":{"entity-type":"item","numeric-id":1362341,"id":"Q1362341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d79c4597a12349719e1d87c25b717ea193b210","datavalue":{"value":{"amount":"+0.9169443","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":"Q1908358$DF182485-721F-4E2E-8CD3-4E5B0A599143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c076049921ba69fdc841933c89532c018c305b6","datavalue":{"value":{"entity-type":"item","numeric-id":3809236,"id":"Q3809236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722c31b0ea5667250e90cb1b1bca5d1799651c72","datavalue":{"value":{"amount":"+0.90646833","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":"Q1908358$AA8F7D0F-49D8-40A6-B205-7C59C8CC9B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4e33ae459e21ccf9eb34975036c5c076e05134","datavalue":{"value":{"entity-type":"item","numeric-id":1784785,"id":"Q1784785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6334e03e09fcde567dbe65c6c8c50cae6abb4287","datavalue":{"value":{"amount":"+0.89468634","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":"Q1908358$ADD95238-7CE5-4809-94EA-5C173C27E78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81cec37c0e68de0d9463feb368504c2c0487817","datavalue":{"value":{"entity-type":"item","numeric-id":3031906,"id":"Q3031906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bee5fa0dfaaddd56bf92f4b1ad935aa934c53a","datavalue":{"value":{"amount":"+0.89066017","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":"Q1908358$C218991B-3DE3-4F60-8A89-EDA41B5C569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc1cf8a3c41b9daeeb9c703eb3839df7fc3850c9","datavalue":{"value":{"entity-type":"item","numeric-id":549182,"id":"Q549182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe5e9786398aa5371c8e6d92df2269fc792e9f8","datavalue":{"value":{"amount":"+0.88669115","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":"Q1908358$A4DE2066-4AA7-45BF-A5D8-679F98704C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b94d18df9445994d33b6f62171e8d1f0387c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5096382,"id":"Q5096382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ea456e26dfe9e732cc16dd23b7fec4e68046cf","datavalue":{"value":{"amount":"+0.88445514","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":"Q1908358$873120B3-16CE-45CB-8515-EBB92B7816E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14013e5498cf6480d2ace02c0a52a15ba8c6c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1391097,"id":"Q1391097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502f5a923907a5091c7ea05b3faa803b68733aa0","datavalue":{"value":{"amount":"+0.884455","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":"Q1908358$63429011-35B5-4EFF-B323-4CCDEF3A38B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1908358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1908358"}}}}}