{"entities":{"Q1157145":{"pageid":1167894,"ns":120,"title":"Item:Q1157145","lastrevid":66992625,"modified":"2026-04-12T14:12:26Z","type":"item","id":"Q1157145","labels":{"en":{"language":"en","value":"Verification of file manipulation programs in the language PASCAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3736991"}},"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":"Q1157145$197F96D6-F4C1-4034-98CE-8AE8729C4341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e53a965f778db3e30501c5fbf84ef0cad58060bb","datavalue":{"value":{"text":"Verification of file manipulation programs in the language PASCAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1157145$1B6D2C51-86FF-495A-BC17-405498D57CC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9528add47f8047a374d4934f08d13a253303ffc6","datavalue":{"value":"0469.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157145$778D0877-72D3-4D64-AEB4-DFA69F8AEB84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157145$9EFB6404-4201-4418-B22B-A903781BFBB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1157145$3BF68EB2-85DD-46E2-8E62-D75B839F88A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1157145$CB47B58C-115C-42C4-B03E-B3F46DBDC8C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157145$41E20989-90A8-489A-82A7-EA35E80FE913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157145$EA8C6625-C69C-4DDB-B190-7C510824AF58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0c344c3ccc8e8fa943b87762b813e80fe78d622","datavalue":{"value":"3736991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1157145$4F8F57A7-65AA-44A6-AB9B-267055E69CE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1157145$7995A06F-9C6A-43CB-BA36-D9DF4EE0D31E","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":"Q1157145$09D875EC-A274-4EBA-BD7E-5623483B5A4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of file manipulation programs in the language PASCAL","badges":[]}}}}}