{"entities":{"Q3899469":{"pageid":5929374,"ns":120,"title":"Item:Q3899469","lastrevid":54888350,"modified":"2026-01-30T01:50:09Z","type":"item","id":"Q3899469","labels":{"en":{"language":"en","value":"Verification of Array, Record, and Pointer Operations in Pascal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3707734"}},"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":"Q3899469$523CBCA7-795B-49E8-AC66-484CCC53CD5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e093b608ce7d16ca270c725336264ed95ba851b","datavalue":{"value":{"text":"Verification of Array, Record, and Pointer Operations in Pascal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3899469$6DECB0F8-4673-47BE-8D63-06BD3D84F759","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"432d8bc175e7652c755356c76cb16d8ba40509f3","datavalue":{"value":"0452.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899469$21D1DCC5-0FBD-46B1-8B37-9BA4AB8720D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e867a7533becab4ad339cb1237de457afc52822d","datavalue":{"value":"10.1145/357073.357078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899469$FD992312-D6C2-400B-A0A2-BEC222E36FC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3af116dba622053c3e73d8f818f795033fcfc6e","datavalue":{"value":{"entity-type":"item","numeric-id":578888,"id":"Q578888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899469$A6CAA3BA-2C41-48C7-BD42-7BBF49416FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86305d09d8636bbbb70a6e71e58eec30567b23e6","datavalue":{"value":{"entity-type":"item","numeric-id":1077921,"id":"Q1077921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899469$9948A68D-56A5-4738-AAC4-3C9517D3FFC8","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":"Q3899469$09D3AC3F-6019-4B20-9E18-DB7B09E566BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3899469$9C3C8561-D1B7-48E5-BCE2-44C6C6FDF82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899469$350A97E2-08CE-477C-BFB0-A46F1328643F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899469$036EA522-3642-4E2E-A58B-236F3894D269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5450193d081a385535f752abf74601d4a94f0e87","datavalue":{"value":"3707734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899469$DD5616EF-2B36-4ECF-956E-6F435E76FF77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f98b054f0f1d80c4d5f81acc12a80f93a378f42","datavalue":{"value":"array","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$E831242C-E5DF-40D0-B8BA-98F8E796B26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d3c9931e12f26ee1b0e9c51b9e053955086543e","datavalue":{"value":"record","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$C75A4196-993B-4EE8-9658-80E5C2A0FD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$F9607B69-B07A-47D8-A733-D727B8F6971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$A945D4F3-6C4B-4E05-87B2-0ED371249BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$31D7C9E8-43D7-4923-BF02-A0A2D31FF0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$C9D80E7A-8A42-49F1-A83F-C2EACA9E9218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4a9fa42a823ec549977451ee26e4eccb17d524","datavalue":{"value":"pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$A8516429-3639-4CBC-9084-85C24DD3DFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b7e96f007eb3a56d5885b03a7cea2baaee5620","datavalue":{"value":"Pascal","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$44AAA7AD-12D3-4B29-8BF0-C8A5F60BC56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e5ee828093fcf4b92156a91701865b4bdaf3e6","datavalue":{"value":"storage allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899469$E5D57B70-39F0-4B3A-A9A4-B2F63B3B99B0","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":"Q3899469$C9A6633F-5460-4BE2-8E64-8330A9733B69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14e66ff869676557a4a73bafc6cccd41d8c9d15a","datavalue":{"value":"https://doi.org/10.1145/357073.357078","type":"string"},"datatype":"url"},"type":"statement","id":"Q3899469$778539C9-3F5A-4155-B836-A779DA14F83B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff00ed6c2a58d4c7104d96620f16099cbadd2046","datavalue":{"value":"W2048168398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899469$A4862F70-9E59-47C7-9B70-FE6086E5E33F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3899469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3899469"}}}}}