{"entities":{"Q1257332":{"pageid":1268082,"ns":120,"title":"Item:Q1257332","lastrevid":68382342,"modified":"2026-04-12T23:19:54Z","type":"item","id":"Q1257332","labels":{"en":{"language":"en","value":"Axiomatic proofs of total correctness of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3630182"}},"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":"Q1257332$82888FAE-434A-4686-8912-46C4FB972093","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1decd786cc49f836b711787d5a022a11c4f8046","datavalue":{"value":{"text":"Axiomatic proofs of total correctness of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1257332$197DC36A-1BF8-4D45-A31F-D1BD943EE01B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd87379ddcb3211723d83332e3faea3758254f63","datavalue":{"value":"0405.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257332$0A2DFF67-623E-4ADB-B5DD-F201B46F0FE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51876b0ac14f94def5e4481cbfc5d4f928fb427f","datavalue":{"value":"10.1016/0020-0190(79)90123-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257332$0D38E1D6-8F8D-4AD1-80A7-A0B53640BFE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97ed3b0664441e8d880d927898de01db2ab18f95","datavalue":{"value":{"entity-type":"item","numeric-id":796291,"id":"Q796291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257332$8171791C-1117-4DA4-BDAF-B9FFFFEA0B5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257332$ED837CE1-5E53-4108-9233-715ADA3CD5B8","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":"Q1257332$3E4CCE80-1EFF-441A-B0BC-25F56F2C99F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257332$92BC2BD1-02D5-4566-B638-8DA4894E62C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257332$A286C857-141D-44DF-B8BF-35DF26EE0A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257332$62F8CEBC-ED57-41A1-A33E-23AEF85B0FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e26497b4ce1b81f40579ab6bfc6f4d11a2e4ec7c","datavalue":{"value":"3630182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257332$FB190258-94AD-491B-B3FC-F7595D2CE206","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":"Q1257332$AC4AF721-EA85-461E-A213-C5263F179456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"616fd086c102b79475054bbe1a10569bb3b49298","datavalue":{"value":"https://doi.org/10.1016/0020-0190(79)90123-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1257332$900E1672-836D-4464-A3CD-BCDEB080E1DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b7d750bcee2e1a138b3f3ab0ad53d3b32abec40","datavalue":{"value":"W2002792546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257332$57020A6E-F665-45E5-B0ED-05EC960D37E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257332$0D4BA781-8BA0-419C-B08A-26E84612102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180a995c6bf4fddce09c209e0c80247b0b06901","datavalue":{"value":{"entity-type":"item","numeric-id":2561482,"id":"Q2561482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257332$D65A10B7-0C4F-431B-82FD-AD248E2068AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4dce1fc810cf25a41d4186f580a0570c65f265","datavalue":{"value":{"entity-type":"item","numeric-id":4082983,"id":"Q4082983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257332$5F7CD1E8-41C4-436C-AD28-F34F8E087846","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatic proofs of total correctness of programs","badges":[]}}}}}