{"entities":{"Q5639354":{"pageid":7668914,"ns":120,"title":"Item:Q5639354","lastrevid":30318143,"modified":"2024-03-07T03:12:45Z","type":"item","id":"Q5639354","labels":{"en":{"language":"en","value":"Proving Programs to be Correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3366521"}},"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":"Q5639354$6AA835E4-4FA0-4172-8FE8-D78DF707D2DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10b85204f9f96a5002a1dba75aee2e4f58233db6","datavalue":{"value":{"text":"Proving Programs to be Correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5639354$B4CC09AB-1A3F-4A71-9E7E-06EBA90498B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87bc0abf04d294696f171d41df2fb8cb8e55904e","datavalue":{"value":"0231.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639354$298C3B35-FE60-462E-8A26-6291DF8285AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa0d449530f4aa4d1d42250ee6174f8680262472","datavalue":{"value":"10.1109/T-C.1971.223135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639354$AA2F0BB9-E881-4970-85FB-463F1BED1F66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef1d51f231298035930cfe3e33ddf44ea3cced7","datavalue":{"value":{"entity-type":"item","numeric-id":2555383,"id":"Q2555383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5639354$D144E985-CE97-4B62-B3A5-78B85095C7F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5639354$A1EC13CE-1020-4579-86A5-BC1447C664C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q5639354$D4DC35E6-3099-458D-947C-445925911D79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639354$C49D113B-AA80-4762-9ABA-73CCA58E4F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639354$B1F20C13-BDE3-419A-9397-7F6D191CA27B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b480cc6cbbb4ca0605fd481edcddad884d825877","datavalue":{"value":"3366521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639354$5073CEA8-069A-4DF1-93ED-0301CAFED097","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":"Q5639354$DF137BDE-05CC-4BBA-9372-FBEAF6621D3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5639354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5639354"}}}}}