{"entities":{"Q3922141":{"pageid":5952046,"ns":120,"title":"Item:Q3922141","lastrevid":87810560,"modified":"2026-06-04T12:53:48Z","type":"item","id":"Q3922141","labels":{"en":{"language":"en","value":"Specification of Abstract Data Types in Modula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735109"}},"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":"Q3922141$2E821424-0240-48E4-BD02-60F3FB459AC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d61710dddba8b02c4ab91bebf4d06efa1d37858","datavalue":{"value":{"text":"Specification of Abstract Data Types in Modula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3922141$9939C293-9F65-4D26-8212-5E8F59EA8C01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6774ab60bf796c1a65ebfe7d327fcd94aad02d2f","datavalue":{"value":"0468.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922141$1B138ABB-FCBE-45B7-AD1B-2827D8AA35A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0c64d0ce281d873e7fa9eb9ccb2df323cde6c1a","datavalue":{"value":"10.1145/357114.357117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922141$915C7948-5494-4794-85E5-BEBAE600A9CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbbbde6c66078c4bf7bc8f35b0021008014a9fd0","datavalue":{"value":{"entity-type":"item","numeric-id":1169284,"id":"Q1169284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922141$7666C33F-DF87-44DF-A62E-DB16C6CE26F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdc7e3b60ef3955ad8cccd3cd2ee3fb76f48a65","datavalue":{"value":{"entity-type":"item","numeric-id":1169285,"id":"Q1169285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922141$2A258CAD-9B2E-4092-AA53-6F2DA7BD731B","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":"Q3922141$CE1FB01D-A6E3-4A5F-B937-EF5C51467194","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3922141$0BD09E24-B2EF-4E99-8E14-4D077AE80731","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922141$B575ED15-11DE-490A-8D19-2DA5182C2B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922141$74AB8424-BCAB-42C3-A881-51905ED554F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee3d1e5509ecdc3f2c8aafbd55939bfed6c7e9b","datavalue":{"value":"3735109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922141$EA4BBFCC-DF55-4F7F-870B-93C476B94C44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaf3fad20eae4c5d838ade2b2c8f580a507c59d9","datavalue":{"value":"hierarchical programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922141$47107C2F-FC50-48B6-8C8E-0A5E715B86C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81a4f4e2e082d62d8600422005ffa1905b7ab49","datavalue":{"value":"modularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922141$B40BEB9D-708E-4D3B-A870-75A083568786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922141$0507CA66-FDD0-4FB9-8AC4-3A9485BDD3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922141$6B3F95C3-02B3-4CFA-AB6D-C22425BB7391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922141$46C6C516-8D00-4C03-867C-511487640A9C","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":"Q3922141$6F3CCD0E-01F3-4779-934A-F96EE4BF60EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f54b70188aa62e9c64ee358fbf34775c471fbb32","datavalue":{"value":"https://doi.org/10.1145/357114.357117","type":"string"},"datatype":"url"},"type":"statement","id":"Q3922141$E2678C9E-FDA9-42AB-9C53-13FADC0D48DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54f9cad58021781a4fd5fbe4c3eabcc8a976046f","datavalue":{"value":"W2014475417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922141$82D48F85-AF1A-43FA-A636-7FDECCC6C5DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification of Abstract Data Types in Modula","badges":[]}}}}}