{"entities":{"Q3936177":{"pageid":5966082,"ns":120,"title":"Item:Q3936177","lastrevid":87845291,"modified":"2026-06-04T12:59:15Z","type":"item","id":"Q3936177","labels":{"en":{"language":"en","value":"On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752196"}},"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":"Q3936177$12B08708-40F6-4828-94F9-F184DF2F01DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9b1d9d3478c4a8527e6879718fee916358f3425","datavalue":{"value":{"text":"On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3936177$28A5FA25-CB6F-42E0-A468-7A364ADD2A9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baa4fcb9ebbdc896646cb91031f2059a9aa047c7","datavalue":{"value":"0478.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936177$55DF03FF-ECB4-4007-A376-A9B593ABE32F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6e756b9d7d8cebb9372f4e99d457b806f26f16f","datavalue":{"value":"10.1145/322290.322303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936177$90693C3C-853E-4DE1-8CAC-B68ABB9C0AD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936177$F8333AF3-2F0B-4286-9D71-84C3CD1CB467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3936177$43A3FB85-081F-46DE-BD51-C1FE6266F6BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936177$24DAC630-F82D-4011-86E5-F9D27DB6AB15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a391408a9bf86aabd10f89af3caceadc4ee2797","datavalue":{"value":"3752196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936177$748465D4-0B8C-4B18-9145-6963C00F1CCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936177$8CD1E83D-4B33-43EC-937D-8C4010B1700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424ce7f858be3b73f006cc5b080a14ca0e9b71c4","datavalue":{"value":"abstract implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936177$6211F8B4-9045-4ACD-A950-37F7CF083F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936177$70E6176D-09CA-4C10-9DE6-4814FFBD740C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936177$C826D36E-0C24-4A6B-8276-901645273897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936177$B9131784-8338-4E8D-B5A4-C9FCC9935125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d826ec90334fbd60150cfbfe40ddf369debfcded","datavalue":{"value":"parametrized specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3936177$B9A8499F-08DB-45DC-ACB1-4F28C617AF1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbd8c7da17d66c54bce7bc84ca4e59a6cd43774","datavalue":{"value":{"entity-type":"item","numeric-id":1054462,"id":"Q1054462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3936177$4C102290-33FD-48E9-95B6-66F19BCD1092","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":"Q3936177$FE65FBD1-07E4-4D1F-AB1A-208A0AAC0AEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2604d2730c63dc63cacd2518cb20e862c625c810","datavalue":{"value":"https://doi.org/10.1145/322290.322303","type":"string"},"datatype":"url"},"type":"statement","id":"Q3936177$CCB015AB-9907-4FD2-84B8-B14DC3BE7C87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f96b5a9e012c1d0d9a80a0489c22132745b58e5b","datavalue":{"value":"W2055364993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3936177$2EF5A673-DAD7-413B-93DD-6130ED166556","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types","badges":[]}}}}}