{"entities":{"Q1893731":{"pageid":1904473,"ns":120,"title":"Item:Q1893731","lastrevid":71087931,"modified":"2026-04-13T19:24:01Z","type":"item","id":"Q1893731","labels":{"en":{"language":"en","value":"Homomorphism preserving algebraic specifications require hidden sorts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 772332"}},"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":"Q1893731$81488239-DBE4-49C5-AD18-021C9504E771","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5fe9080f8d9b2a1bc00644eb258e56e568d3b47","datavalue":{"value":{"text":"Homomorphism preserving algebraic specifications require hidden sorts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893731$7FEC5718-6A18-4395-BFE3-38A96F0A613E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d87625ef623fd3fb5ecb7e6d96649dad3a4854d","datavalue":{"value":"0832.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893731$F325D1F3-BA1F-4023-9BF3-816C2379CB80","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":"Q1893731$7FDA9B31-0139-4ABE-84A3-B4447730A31D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df2091f56edb46baab3d2fe39f03e68cc5a43a6","datavalue":{"value":{"time":"+1995-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893731$C9FC8FD3-7685-4D00-AC10-15ACD2AD12C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4905fba0e37f9fd20bc7742ff0bfd50f5c72cbb5","datavalue":{"value":"https://pure.uva.nl/ws/files/3868866/1152_12072y.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893731$600A41A0-37BC-4A5F-B218-D5775104AB3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893731$EA63E15F-5CDE-457F-87A2-C4D7B56D5676","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ea00d7bfc1419488a8863e2422114732468a5e9","datavalue":{"value":"772332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893731$A16726BF-E24F-4944-86EE-ED8943752E0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00a073ced038287fb662a7d8200e2f608916189","datavalue":{"value":"initial algebra specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893731$1B497B97-F179-4F57-A48E-07A9CB79CD4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893731$F7BCACA3-F158-4D9D-9F4A-F1FAC68AB965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c5cc67e76adcffea3809798724ba27c68d434fa","datavalue":{"value":{"entity-type":"item","numeric-id":1084848,"id":"Q1084848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893731$47748913-3C46-4600-96BC-55E1CE16A15A","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":"Q1893731$D826CFC9-3BDE-4DAA-9367-1268D251D919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ac14efc21ecbdee986ae49eb6956bf2ff7c88a1","datavalue":{"value":"W2090865468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893731$E87025FA-CA82-4FB8-B3E3-2934DCBC1CFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea2c919864087532056dd1193503158e29cfc434","datavalue":{"value":"10.1006/INCO.1995.1079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893731$24AB9BE7-FDD2-465D-8108-B809B7722509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24aa9f3ad13a995178657677b3e0038ab31cfe9","datavalue":{"value":{"entity-type":"item","numeric-id":3334056,"id":"Q3334056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c51a7aa1ebad72a8860dc5d982719df074a43e","datavalue":{"value":{"amount":"+0.86548764","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":"Q1893731$75C2B079-77B3-4EE4-B2B9-92CE61585569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5da3f9d3ce997241b7954969e7e2d61a620073","datavalue":{"value":{"entity-type":"item","numeric-id":4454681,"id":"Q4454681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed727edb72f9c00c43c20ff5318aa7b62ebc1226","datavalue":{"value":{"amount":"+0.8534957","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":"Q1893731$3DE32BAF-B689-417A-AC41-F5EFDAE14032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8506889819f92f00fb356be93b4046cdc74e3a32","datavalue":{"value":{"entity-type":"item","numeric-id":5321132,"id":"Q5321132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748128c502603e08040a2b21db70b6419abc2ba8","datavalue":{"value":{"amount":"+0.8476635","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":"Q1893731$AD8799D2-025B-458C-8E4E-B0C25CFE6CE2","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":"75a53f5fd9ee7b95ff83b976215ae22d9c56501e","datavalue":{"value":{"amount":"+0.84467816","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":"Q1893731$67E798C2-DD40-4EE8-AC63-A157DD687784","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":"7d828e4a0e85c85e2d266ef6f8df66735e0255d1","datavalue":{"value":{"amount":"+0.84467804","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":"Q1893731$D560B2D8-1185-4A2C-A027-48E3DDF347C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9cd63d3f127dcc3b1f8a8d6590b0d43192b9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4375636,"id":"Q4375636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c196104bf75b0317297e42a50cd9d337eb5023","datavalue":{"value":{"amount":"+0.84265757","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":"Q1893731$8D67EEA4-C02D-49BA-B3E1-DFEFF46E8688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa29271fc1d201aa3004a67235b7ed7ffe1e23a1","datavalue":{"value":{"entity-type":"item","numeric-id":5439057,"id":"Q5439057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6950c39e839698f8bed4c83df76351a50764459","datavalue":{"value":{"amount":"+0.83490384","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":"Q1893731$8F8015A4-974A-4D25-961A-BCAC4FD75598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504517ea1f6531ad77b34af39b2379dad53298bc","datavalue":{"value":{"entity-type":"item","numeric-id":2996140,"id":"Q2996140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf608a2d53267e9cc7482cefd789a16892e636c1","datavalue":{"value":{"amount":"+0.83254874","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":"Q1893731$FE74378D-FF24-41AD-BA8E-1F182C65DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593a171f26090661888381896046593dfa16801a","datavalue":{"value":{"entity-type":"item","numeric-id":909448,"id":"Q909448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751ecc0aa7171fa689d27d46f3597eea2ea46651","datavalue":{"value":{"amount":"+0.8301811","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":"Q1893731$A574D6A2-E766-44FE-80D2-F599CB8082C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e428cc4075bffd946d10969f67d6e4fd83ddd5","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d84bf4b7d6303749b18d792d4e87183d4189366","datavalue":{"value":{"amount":"+0.8297292","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":"Q1893731$00FC2EA8-32E0-4EF5-9497-70CA1DCA1145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homomorphism preserving algebraic specifications require hidden sorts","badges":[]}}}}}