{"entities":{"Q3768378":{"pageid":5798284,"ns":120,"title":"Item:Q3768378","lastrevid":51867227,"modified":"2026-01-20T10:37:43Z","type":"item","id":"Q3768378","labels":{"en":{"language":"en","value":"Algorithmic specifications: a constructive specification method for abstract data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4026806"}},"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":"Q3768378$86D3CF26-E40B-421D-9526-3CCF857D688B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9d97817491685367d0bdcf3ea7346abaeb47cfa","datavalue":{"value":{"text":"Algorithmic specifications: a constructive specification method for abstract data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3768378$02F3F0EC-3EA9-43EB-AFBB-EAABF950DB16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a2de901be1a19ce81bb347ad5b355ddc253310b","datavalue":{"value":"0631.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768378$663919DE-659B-4541-8278-3FC58634EB7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adf88c6708322b9196187534a932669c0411ae0b","datavalue":{"value":"10.1145/29873.30399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768378$39D6106A-4A72-482A-8DCB-76E2995C7050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49d6c6de3d3898ec1c5e15de2e757c5b71964f","datavalue":{"value":{"entity-type":"item","numeric-id":1323327,"id":"Q1323327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768378$1F767364-F8CB-4878-A2D6-2EAE97B7146B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768378$B8995453-94C8-475B-BC58-E3796C1BBA50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3768378$110ECC8E-E9D4-4DFD-8F1F-091F9623A79C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1364c7c6e5d7e745d579e8a78324bf44a5fc74b0","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1987-9/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3768378$70909362-77DC-4FB3-8FC8-3CAE74CA4018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768378$9BEDF46B-06AC-42FE-BE3F-C6987A4523C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a9bc1ef0c3524086532bd758da51d3428053483","datavalue":{"value":"4026806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768378$0E9D39C6-CB8E-4C38-A201-1C07630DF352","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768378$21065B5F-8F46-4AB8-8242-F16D6DBE8F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc286ae3911498b4ebc707f550b2e39ee15993b7","datavalue":{"value":"constructive specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768378$E20D8371-96BC-4D2C-B967-78D0C923458B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768378$16CEEFFF-871E-4A37-B770-B34D8DBE5057","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":"Q3768378$51757086-2B3B-4381-BCEA-8B9BF84DD2C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5732287468c9de329679b12ee638077cf6bd5b8f","datavalue":{"value":"W1983043931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768378$683A5457-C91F-4E8C-8F84-5833EB5D3443","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d222f25c9032becd172c75b8ccd69102a313883b","datavalue":{"value":{"entity-type":"item","numeric-id":3678652,"id":"Q3678652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7442a45541bf91b063a3a7ec9cb1c8b13deff1","datavalue":{"value":{"amount":"+0.8014758229255676","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":"Q3768378$D0E32516-924C-440D-AF79-C42C80E3BFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc06282cb0fc9a525420919b18192db3c6bd865d","datavalue":{"value":{"entity-type":"item","numeric-id":3345751,"id":"Q3345751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798b9907e9e65e4f4f9d6d2cc980a29b9ab121b9","datavalue":{"value":{"amount":"+0.8001981377601624","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":"Q3768378$F87D6B08-8179-4A05-8BD3-1C844B053DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d9a5eb0137648266dab2e0ada2b56f609aad21","datavalue":{"value":{"entity-type":"item","numeric-id":3347271,"id":"Q3347271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6fabdbc70a75c1c9f41fb19471c2dd7be181bf3","datavalue":{"value":{"amount":"+0.7840160131454468","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":"Q3768378$3B37291E-77BB-4B11-ADB8-61075BECD0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff092fe638594a9478e317fac34fa9ca73cea4a9","datavalue":{"value":{"amount":"+0.7834948301315308","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":"Q3768378$BE2893C9-5E6E-4FF9-B52A-4FBB7145BBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9379b1bffe85a86cbeccfba237f5e3dc55224b9","datavalue":{"value":{"entity-type":"item","numeric-id":2757818,"id":"Q2757818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f475513c25a7b44da7fd17e03f47c4f5d6064d5c","datavalue":{"value":{"amount":"+0.7812821865081787","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":"Q3768378$9BDEDE23-EAE5-4CD0-8B7A-244C4233F23B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3768378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3768378"}}}}}